Trace number 4079297

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_5.opb
MD5SUM20017986f9960b1d860bf846232b7a22
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6012437
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
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-07T23:00:43+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-4079297-1465333243.opb"]
0.00/0.01	c use --random-gen="416027677 2338298587 2749176830 128772289 3788898779 3895826260 2481786672 1626122130 1396318841 2865481003 2994992790 3738524446 4272790026 816173933 2848979742 1266133328 2869713596 313093119 3113903912 1250165043 2159081031 2778516922 1010366401 3571437558 3419169425 3819264474 1101739729 797983750 869852547 4273423853 3917810850 2916251870 3136103616 686897287 2053722114 3672167757 4065351004 2319568181 2524748182 4184997194 3164080642 2000319407 3975413447 357552165 2328424977 1690142768 3193887138 1350287148 1784516411 1136052371 3512410605 2209502569 561675564 1915304120 910114000 4247421719 3267554239 3415071107 54708007 1842802044 2939062371 1718750212 724998330 105963994 325042888 3157993916 1612819737 4095212965 3168878653 337410919 2085477705 819543702 2723225642 1601274714 104729904 3063659609 784868064 2225708203 3518890805 1635610539 2093262832 139720245 2152600410 4059868352 4078125556 633023031 459262763 1986388155 924921568 3398302159 2305552833 4028609644 1134478186 3626178005 2068968300 1627696347 2699803900 2238062552 3952103471 3640757231 3055765072 35839364 2228234790 1744231057 731508585 3379884426 3777085653 4136483579 2344587334 3122857648 2390653287 949860045 2180984231 2015394716 4197742184 4144690426 1722070705 3941179724 2911544835 2136015774 3930165605 3057427218 877829992 2063982343 3127979615 1971566734 778771784 3337832778 3554959413 3502525015 1677579147 3066251930 2818343988 697287843 4055437392 187225513 350146235 1696726739 2686719725 607283486 4219077462 3590692542 3330118066 850345494 1826051691 3884512854 1892879731 3367578352 934475588 4112842493 4165238896 1367918544 837121913 251626273 3263945319 3207304559 2148876112 3716387794 3459799907 2445497703 1606512386 3151591613 513965904 2469474859 1972706141 824470072 3574551745 3233167918 3203918515 3052308354 1873137653 1335543328 139811494 2690929571 676148516 246567121 2289028722 134897995 823539446 556534461 3631953700 355283688 113911709 4011636632 931372206 451171222 1410119299 2258736684 8732202 1616657845 3680961839 801480412 4018768378 2214585598 1890644019 1427392977 4177067779 2841667015 3775187939 3093369950 2202428576 1916528057 1230059247 3547231961 2739177058 655815521 1287389328 481256330 633523921 1032321005 2604948895 4105532400 2162750652 2531080465 1570240155 928454049 2488905783 1172857442 1039384131 2989571347 1220880644 3617593827 2858131178 1628946067 3722140830 3651346079 890581123 2384547079 1814053423 2446556129 3092949380 1871925164 2644767685 3000812516 2097666214 102972843 2405394726 2859619420 2405064214 3953132959 4158970868 93893234 3207847895 1204704695 1515873613 127939383 2688774919 1947890237 2743644455 3049579730 3521548545 3103212486 2409706663 2700128572 2911607873 1693824671 255 362436" option to reproduce the execution
0.09/0.11	c #vars 5100
0.09/0.11	c #constraints 7606
0.29/0.32	c BCD2: Hardening is enabled.
0.29/0.32	c BCD2: BiasedSearch is enabled.
0.29/0.32	c Solving starts ...
0.29/0.32	c ============================[ Search Statistics ]============================
0.29/0.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.32	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.32	c =============================================================================
0.29/0.32	c  0.0s |       0 |        0 |        0 |     5869      0 |      100 |        0
0.49/0.50	c  0.2s |       1 |      133 |      100 |     5869      0 |      100 |        0
1.09/1.20	c  0.9s |       2 |      342 |      250 |     6456      0 |      100 |        0
2.08/2.13	c  1.8s |       3 |      647 |      475 |     7102      0 |      100 |        0
3.39/3.48	c  3.2s |       4 |     1059 |      813 |     7813      0 |      100 |        0
5.59/5.63	c  5.3s |       4 |     1654 |     1313 |     8595      0 |      100 |        0
5.59/5.67	c  5.4s |       5 |     1659 |     1320 |     8595      0 |      100 |        0
7.88/7.97	c  7.7s |       5 |     2269 |     1820 |     9455      0 |      100 |        0
8.79/8.82	c  8.5s |       6 |     2564 |     2081 |    10401      0 |      100 |        0
11.18/11.23	c 10.9s |       6 |     3320 |     2681 |    10401      0 |      100 |        0
13.29/13.34	c 13.0s |       6 |     4057 |     3181 |    10401      0 |      100 |        0
13.38/13.43	c 13.1s |       7 |     4112 |     3223 |    11442      0 |      100 |        0
15.39/15.50	c 15.2s |       7 |     4761 |     3723 |    11442      0 |      100 |        0
17.59/17.66	c 17.3s |       7 |     5310 |     4223 |    11442      0 |      100 |        0
19.68/19.70	c 19.4s |       7 |     5853 |     4723 |    11442      0 |      100 |        0
20.48/20.52	c 20.2s |       8 |     6087 |     4936 |    12587      0 |      100 |        0
22.68/22.73	c 22.4s |       8 |     6817 |     5536 |    12587      0 |      100 |        0
24.89/24.98	c 24.7s |       8 |     7551 |     6136 |    12587      0 |      100 |        0
26.99/27.03	c 26.7s |       8 |     8161 |     6636 |    12587      0 |      100 |        0
29.09/29.13	c 28.8s |       8 |     8960 |     7336 |    12587      0 |      100 |        0
29.89/29.95	c 29.6s |       9 |     9155 |     7506 |    13846      0 |      100 |        0
32.09/32.14	c 31.8s |       9 |     9837 |     8106 |    13846      0 |      100 |        0
34.19/34.22	c 33.9s |       9 |    10680 |     8906 |    13846      0 |      100 |        0
36.29/36.38	c 36.1s |       9 |    11665 |     9806 |    13846      0 |      100 |        0
38.78/38.83	c 38.5s |       9 |    12193 |    10306 |    13846      0 |      100 |        0
40.88/40.95	c 40.6s |       9 |    13090 |    11106 |    13846      0 |      100 |        0
41.58/41.67	c 41.3s |      10 |    13381 |    11361 |    15231      0 |      100 |        0
44.09/44.16	c 43.8s |      10 |    14053 |    11861 |    15231      0 |      100 |        0
46.48/46.53	c 46.2s |      10 |    14769 |    12461 |    15231      0 |      100 |        0
48.78/48.86	c 48.5s |      10 |    15556 |    13061 |    15231      0 |      100 |        0
51.18/51.21	c 50.9s |      10 |    16356 |    13761 |    15231      0 |      100 |        0
53.58/53.61	c 53.3s |      10 |    16918 |    14261 |    15231      0 |      100 |        0
55.68/55.78	c 55.5s |      10 |    17579 |    14861 |    15231      0 |      100 |        0
57.98/58.06	c 57.7s |      10 |    18172 |    15361 |    15231      0 |      100 |        0
60.59/60.64	c 60.3s |      10 |    18806 |    15861 |    15231      0 |      100 |        0
62.88/62.93	c 62.6s |      10 |    19348 |    16361 |    15231      0 |      100 |        0
65.28/65.36	c 65.0s |      10 |    20034 |    16961 |    15231      0 |      100 |        0
66.09/66.12	c 65.8s |      11 |    20255 |    17144 |    16755      0 |      100 |        0
68.08/68.15	c 67.8s |      11 |    20753 |    17544 |    16755      1 |      100 |        0
70.58/70.63	c 70.3s |      11 |    21251 |    17944 |    16755      1 |      100 |        0
73.18/73.26	c 72.9s |      11 |    21795 |    18444 |    16755      1 |      100 |        0
75.38/75.44	c 75.1s |      11 |    22255 |    18844 |    16755      1 |      100 |        0
77.38/77.47	c 77.2s |      11 |    22808 |    19344 |    16755      1 |      100 |        0
79.88/79.96	c 79.6s |      11 |    23438 |    19844 |    16755      1 |      100 |        0
81.88/81.99	c 81.7s |      11 |    23938 |    20244 |    16755      1 |      100 |        0
84.48/84.50	c 84.2s |      11 |    24509 |    20744 |    16755      1 |      100 |        0
86.58/86.60	c 86.3s |      11 |    25073 |    21244 |    16755      1 |      100 |        0
88.78/88.84	c 88.5s |      11 |    25621 |    21744 |    16755      1 |      100 |        0
90.88/90.98	c 90.7s |      11 |    26176 |    22244 |    16755      1 |      100 |        0
93.18/93.27	c 92.9s |      11 |    26741 |    22744 |    16755      1 |      100 |        0
95.58/95.63	c 95.3s |      11 |    27279 |    23244 |    16755      1 |      100 |        0
97.98/98.09	c 97.8s |      11 |    27898 |    23744 |    16755      1 |      100 |        0
100.37/100.49	c  100s |      11 |    28718 |    24544 |    16755      1 |      100 |        0
102.77/102.84	c  102s |      11 |    29334 |    25044 |    16755      1 |      100 |        0
105.27/105.39	c  105s |      11 |    29907 |    25544 |    16755      1 |      100 |        0
106.68/106.79	c  106s |      12 |    30232 |    25819 |    18431      1 |      100 |        0
108.77/108.80	c  108s |      12 |    30619 |    26119 |    18431      1 |      100 |        0
110.97/111.01	c  110s |      12 |    31038 |    26519 |    18431      1 |      100 |        0
113.38/113.42	c  113s |      12 |    31544 |    27019 |    18431      1 |      100 |        0
115.58/115.63	c  115s |      12 |    32058 |    27519 |    18431      1 |      100 |        0
118.17/118.25	c  117s |      12 |    32576 |    28019 |    18431      1 |      100 |        0
120.27/120.35	c  120s |      12 |    33013 |    28419 |    18431      1 |      100 |        0
122.77/122.90	c  122s |      12 |    33433 |    28819 |    18431      1 |      100 |        0
124.97/125.01	c  124s |      12 |    33850 |    29219 |    18431      1 |      100 |        0
127.17/127.23	c  126s |      12 |    34356 |    29719 |    18431      1 |      100 |        0
129.37/129.46	c  129s |      12 |    34961 |    30319 |    18431      2 |      100 |        0
131.77/131.88	c  131s |      12 |    35566 |    30919 |    18431      2 |      100 |        0
134.07/134.11	c  133s |      12 |    36085 |    31419 |    18431      2 |      100 |        0
136.27/136.36	c  136s |      12 |    36599 |    31919 |    18431      2 |      100 |        0
138.57/138.70	c  138s |      12 |    37116 |    32419 |    18431      2 |      100 |        0
140.97/141.03	c  140s |      12 |    37638 |    32919 |    18431      2 |      100 |        0
143.07/143.18	c  142s |      12 |    38163 |    33419 |    18431      2 |      100 |        0
145.17/145.22	c  144s |      12 |    38577 |    33819 |    18431      2 |      100 |        0
147.67/147.73	c  147s |      12 |    39211 |    34419 |    18431      2 |      100 |        0
149.67/149.79	c  149s |      12 |    39614 |    34819 |    18431      2 |      100 |        0
151.77/151.81	c  151s |      12 |    40131 |    35319 |    18431      2 |      100 |        0
154.07/154.16	c  153s |      12 |    40846 |    36019 |    18431      2 |      100 |        0
156.27/156.36	c  156s |      12 |    41457 |    36619 |    18431      2 |      100 |        0
158.26/158.37	c  158s |      12 |    41973 |    37119 |    18431      2 |      100 |        0
160.76/160.81	c  160s |      12 |    42595 |    37719 |    18431      2 |      100 |        0
162.77/162.85	c  162s |      12 |    43000 |    38119 |    18431      2 |      100 |        0
164.76/164.85	c  164s |      12 |    43519 |    38619 |    20275      2 |      100 |        0
165.36/165.40	c  165s |      13 |    43732 |    38832 |    20275      2 |      100 |        0
167.76/167.82	c  167s |      13 |    44418 |    39332 |    20275      2 |      100 |        0
170.06/170.12	c  169s |      13 |    44839 |    39732 |    20275      2 |      100 |        0
172.26/172.33	c  172s |      13 |    45238 |    40132 |    20275      2 |      100 |        0
174.36/174.41	c  174s |      13 |    45663 |    40532 |    20275      2 |      100 |        0
176.56/176.62	c  176s |      13 |    46069 |    40932 |    20275      2 |      100 |        0
178.56/178.66	c  178s |      13 |    46473 |    41332 |    20275      2 |      100 |        0
181.16/181.29	c  180s |      13 |    47091 |    41932 |    20275      2 |      100 |        0
183.56/183.60	c  183s |      13 |    47523 |    42332 |    20275      3 |      100 |        0
185.76/185.83	c  185s |      13 |    48027 |    42832 |    20275      3 |      100 |        0
187.76/187.90	c  187s |      13 |    48522 |    43332 |    20275      3 |      100 |        0
190.16/190.20	c  189s |      13 |    48968 |    43732 |    20275      3 |      100 |        0
192.26/192.39	c  192s |      13 |    49712 |    44432 |    20275      3 |      100 |        0
194.56/194.66	c  194s |      13 |    50368 |    45032 |    20275      3 |      100 |        0
196.96/197.05	c  196s |      13 |    50905 |    45532 |    20275      3 |      100 |        0
199.16/199.29	c  198s |      13 |    51470 |    46032 |    20275      3 |      100 |        0
201.36/201.45	c  201s |      13 |    52121 |    46632 |    20275      3 |      100 |        0
203.66/203.77	c  203s |      13 |    52793 |    47232 |    20275      3 |      100 |        0
205.85/205.92	c  205s |      13 |    53338 |    47732 |    20275      3 |      100 |        0
207.96/208.06	c  207s |      13 |    53890 |    48232 |    20275      3 |      100 |        0
210.06/210.18	c  209s |      13 |    54308 |    48632 |    20275      3 |      100 |        0
212.26/212.36	c  212s |      13 |    55003 |    49232 |    20275      3 |      100 |        0
214.25/214.39	c  214s |      13 |    55649 |    49832 |    20275      3 |      100 |        0
216.45/216.56	c  216s |      13 |    56349 |    50432 |    20275      3 |      100 |        0
218.55/218.65	c  218s |      13 |    56943 |    50932 |    20275      3 |      100 |        0
221.06/221.17	c  220s |      13 |    57472 |    51432 |    20275      3 |      100 |        0
223.36/223.46	c  223s |      13 |    57999 |    51932 |    20275      3 |      100 |        0
225.85/225.98	c  225s |      13 |    58446 |    52332 |    20275      3 |      100 |        0
228.05/228.12	c  227s |      13 |    58888 |    52732 |    20275      3 |      100 |        0
230.05/230.18	c  229s |      13 |    59329 |    53132 |    20275      3 |      100 |        0
232.35/232.49	c  232s |      13 |    59752 |    53532 |    20275      3 |      100 |        0
234.45/234.54	c  234s |      13 |    60390 |    54132 |    20275      3 |      100 |        0
236.85/236.91	c  236s |      13 |    60836 |    54532 |    20275      4 |      100 |        0
239.25/239.34	c  239s |      13 |    61390 |    55032 |    20275      4 |      100 |        0
241.25/241.36	c  241s |      13 |    61855 |    55432 |    20275      4 |      100 |        0
243.35/243.42	c  243s |      13 |    62327 |    55832 |    20275      4 |      100 |        0
245.45/245.53	c  245s |      13 |    62889 |    56332 |    20275      4 |      100 |        0
247.56/247.64	c  247s |      13 |    63429 |    56832 |    20275      4 |      100 |        0
249.95/250.03	c  249s |      13 |    63980 |    57332 |    20275      4 |      100 |        0
252.35/252.45	c  252s |      13 |    64419 |    57732 |    20275      4 |      100 |        0
254.35/254.49	c  254s |      13 |    64986 |    58232 |    22303      4 |      100 |        0
254.95/255.08	c  254s |      14 |    65146 |    58352 |    22303      4 |      100 |        0
257.35/257.48	c  257s |      14 |    65684 |    58752 |    22303      4 |      100 |        0
259.65/259.72	c  259s |      14 |    66181 |    59152 |    22303      4 |      100 |        0
261.75/261.81	c  261s |      14 |    66750 |    59652 |    22303      4 |      100 |        0
264.15/264.27	c  263s |      14 |    67340 |    60152 |    22303      4 |      100 |        0
266.55/266.65	c  266s |      14 |    68031 |    60752 |    22303      4 |      100 |        0
268.85/268.90	c  268s |      14 |    68650 |    61252 |    22303      4 |      100 |        0
270.94/271.01	c  270s |      14 |    69134 |    61652 |    22303      4 |      100 |        0
273.54/273.64	c  273s |      14 |    69558 |    62052 |    22303      4 |      100 |        0
275.74/275.80	c  275s |      14 |    69977 |    62452 |    22303      4 |      100 |        0
278.35/278.45	c  278s |      14 |    70385 |    62852 |    22303      4 |      100 |        0
280.94/281.03	c  280s |      14 |    70837 |    63252 |    22303      4 |      100 |        0
283.34/283.40	c  283s |      14 |    71266 |    63652 |    22303      4 |      100 |        0
285.54/285.60	c  285s |      14 |    71708 |    64052 |    22303      4 |      100 |        0
287.84/287.91	c  287s |      14 |    72177 |    64452 |    22303      4 |      100 |        0
290.04/290.17	c  289s |      14 |    72674 |    64852 |    22303      4 |      100 |        0
292.44/292.56	c  292s |      14 |    73174 |    65352 |    22303      4 |      100 |        0
294.54/294.66	c  294s |      14 |    73551 |    65652 |    22303      4 |      100 |        0
297.14/297.23	c  296s |      14 |    74000 |    66052 |    22303      4 |      100 |        0
299.15/299.26	c  298s |      14 |    74441 |    66452 |    22303      4 |      100 |        0
301.54/301.68	c  301s |      14 |    75004 |    66952 |    22303      4 |      100 |        0
303.74/303.84	c  303s |      14 |    75446 |    67352 |    22303      4 |      100 |        0
305.85/305.98	c  305s |      14 |    75793 |    67652 |    22303      5 |      100 |        0
308.34/308.50	c  308s |      14 |    76369 |    68152 |    22303      5 |      100 |        0
310.74/310.84	c  310s |      14 |    76732 |    68452 |    22303      5 |      100 |        0
312.84/312.95	c  312s |      14 |    77239 |    68952 |    22303      5 |      100 |        0
314.84/314.95	c  314s |      14 |    77790 |    69452 |    22303      5 |      100 |        0
317.24/317.36	c  317s |      14 |    78328 |    69952 |    22303      5 |      100 |        0
319.44/319.53	c  319s |      14 |    78910 |    70452 |    22303      5 |      100 |        0
321.64/321.71	c  321s |      14 |    79567 |    71052 |    22303      5 |      100 |        0
323.94/324.07	c  323s |      14 |    80316 |    71752 |    22303      5 |      100 |        0
326.34/326.40	c  326s |      14 |    80969 |    72352 |    22303      5 |      100 |        0
328.34/328.47	c  328s |      14 |    81518 |    72852 |    22303      5 |      100 |        0
330.64/330.77	c  330s |      14 |    82146 |    73452 |    22303      5 |      100 |        0
333.04/333.15	c  332s |      14 |    82703 |    73952 |    22303      5 |      100 |        0
335.14/335.24	c  334s |      14 |    83244 |    74452 |    22303      5 |      100 |        0
337.14/337.25	c  336s |      14 |    83671 |    74852 |    22303      5 |      100 |        0
339.44/339.54	c  339s |      14 |    84220 |    75352 |    22303      5 |      100 |        0
341.94/342.03	c  341s |      14 |    84667 |    75752 |    22303      5 |      100 |        0
344.14/344.21	c  343s |      14 |    85092 |    76152 |    22303      5 |      100 |        0
346.34/346.48	c  346s |      14 |    85548 |    76552 |    22303      5 |      100 |        0
348.84/348.95	c  348s |      14 |    86010 |    76952 |    22303      5 |      100 |        0
351.04/351.14	c  350s |      14 |    86549 |    77352 |    22303      5 |      100 |        0
353.05/353.19	c  352s |      14 |    86976 |    77752 |    22303      5 |      100 |        0
355.54/355.69	c  355s |      14 |    87492 |    78252 |    22303      5 |      100 |        0
357.74/357.82	c  357s |      14 |    87924 |    78652 |    22303      5 |      100 |        0
360.14/360.25	c  359s |      14 |    88407 |    79052 |    22303      5 |      100 |        0
362.14/362.28	c  361s |      14 |    88870 |    79452 |    22303      5 |      100 |        0
364.34/364.45	c  364s |      14 |    89338 |    79852 |    22303      6 |      100 |        0
366.44/366.54	c  366s |      14 |    89789 |    80252 |    22303      6 |      100 |        0
368.93/369.02	c  368s |      14 |    90498 |    80852 |    22303      6 |      100 |        0
371.04/371.12	c  370s |      14 |    91090 |    81352 |    22303      6 |      100 |        0
373.63/373.75	c  373s |      14 |    91467 |    81652 |    22303      6 |      100 |        0
375.83/375.99	c  375s |      14 |    91993 |    82152 |    22303      6 |      100 |        0
378.23/378.37	c  378s |      14 |    92594 |    82652 |    22303      6 |      100 |        0
380.64/380.79	c  380s |      14 |    93230 |    83152 |    22303      6 |      100 |        0
382.93/383.01	c  382s |      14 |    93786 |    83652 |    22303      6 |      100 |        0
385.33/385.45	c  385s |      14 |    94400 |    84252 |    22303      6 |      100 |        0
387.73/387.81	c  387s |      14 |    94905 |    84652 |    22303      6 |      100 |        0
389.93/390.03	c  389s |      14 |    95422 |    85152 |    22303      6 |      100 |        0
392.23/392.32	c  392s |      14 |    95959 |    85652 |    22303      6 |      100 |        0
394.33/394.45	c  394s |      14 |    96522 |    86152 |    22303      6 |      100 |        0
396.43/396.58	c  396s |      14 |    97096 |    86652 |    22303      6 |      100 |        0
398.93/399.07	c  398s |      14 |    97716 |    87252 |    24534      6 |      100 |        0
400.83/400.99	c  400s |      15 |    98124 |    87632 |    24534      6 |      100 |        0
402.93/403.04	c  402s |      15 |    98601 |    88032 |    24534      6 |      100 |        0
405.03/405.10	c  404s |      15 |    99020 |    88432 |    24534      6 |      100 |        0
407.43/407.59	c  407s |      15 |    99578 |    88932 |    24534      6 |      100 |        0
409.53/409.68	c  409s |      15 |    99998 |    89332 |    24534      6 |      100 |        0
411.73/411.81	c  411s |      15 |   100320 |    89632 |    24534      6 |      100 |        0
413.93/414.08	c  413s |      15 |   100749 |    90032 |    24534      6 |      100 |        0
416.12/416.26	c  415s |      15 |   101162 |    90432 |    24534      6 |      100 |        0
418.72/418.87	c  418s |      15 |   101696 |    90932 |    24534      6 |      100 |        0
421.12/421.21	c  420s |      15 |   102220 |    91432 |    24534      6 |      100 |        0
423.62/423.78	c  423s |      15 |   102633 |    91832 |    24534      6 |      100 |        0
425.73/425.88	c  425s |      15 |   103145 |    92332 |    24534      6 |      100 |        0
428.02/428.17	c  427s |      15 |   103554 |    92732 |    24534      6 |      100 |        0
430.92/431.00	c  430s |      15 |   103961 |    93132 |    24534      6 |      100 |        0
433.33/433.41	c  433s |      15 |   104530 |    93632 |    24534      6 |      100 |        0
435.63/435.77	c  435s |      15 |   105096 |    94132 |    24534      6 |      100 |        0
438.52/438.63	c  438s |      15 |   105570 |    94532 |    24534      7 |      100 |        0
441.03/441.12	c  440s |      15 |   106017 |    94932 |    24534      7 |      100 |        0
443.42/443.56	c  443s |      15 |   106599 |    95432 |    24534      7 |      100 |        0
445.53/445.66	c  445s |      15 |   107061 |    95832 |    24534      7 |      100 |        0
447.52/447.67	c  447s |      15 |   107526 |    96232 |    24534      7 |      100 |        0
449.93/450.01	c  449s |      15 |   107970 |    96632 |    24534      7 |      100 |        0
451.92/452.07	c  451s |      15 |   108595 |    97132 |    24534      7 |      100 |        0
454.12/454.23	c  453s |      15 |   109154 |    97632 |    24534      7 |      100 |        0
456.12/456.26	c  455s |      15 |   109705 |    98132 |    24534      7 |      100 |        0
458.42/458.52	c  458s |      15 |   110521 |    98832 |    24534      7 |      100 |        0
460.52/460.62	c  460s |      15 |   111073 |    99332 |    24534      7 |      100 |        0
462.91/463.05	c  462s |      15 |   111739 |    99932 |    24534      7 |      100 |        0
465.22/465.33	c  465s |      15 |   112263 |   100432 |    24534      7 |      100 |        0
467.52/467.61	c  467s |      15 |   112773 |   100932 |    24534      7 |      100 |        0
469.62/469.77	c  469s |      15 |   113177 |   101332 |    24534      7 |      100 |        0
472.02/472.15	c  471s |      15 |   113707 |   101832 |    24534      7 |      100 |        0
474.62/474.77	c  474s |      15 |   114211 |   102332 |    24534      7 |      100 |        0
476.72/476.86	c  476s |      15 |   114683 |   102732 |    24534      7 |      100 |        0
479.12/479.22	c  478s |      15 |   115344 |   103332 |    24534      7 |      100 |        0
481.12/481.26	c  480s |      15 |   116066 |   103932 |    24534      7 |      100 |        0
483.22/483.33	c  483s |      15 |   116859 |   104632 |    24534      7 |      100 |        0
485.52/485.64	c  485s |      15 |   117669 |   105332 |    24534      7 |      100 |        0
487.92/488.01	c  487s |      15 |   118580 |   106032 |    24534      7 |      100 |        0
490.02/490.16	c  489s |      15 |   119274 |   106632 |    24534      7 |      100 |        0
492.22/492.37	c  492s |      15 |   120041 |   107332 |    24534      7 |      100 |        0
494.52/494.67	c  494s |      15 |   120889 |   108032 |    24534      8 |      100 |        0
496.62/496.73	c  496s |      15 |   121702 |   108732 |    24534      8 |      100 |        0
498.62/498.76	c  498s |      15 |   122490 |   109432 |    24534      8 |      100 |        0
500.82/500.90	c  500s |      15 |   123502 |   110332 |    24534      8 |      100 |        0
502.82/502.92	c  502s |      15 |   124267 |   111032 |    24534      8 |      100 |        0
504.92/505.04	c  504s |      15 |   125149 |   111832 |    24534      8 |      100 |        0
507.12/507.24	c  506s |      15 |   126021 |   112632 |    24534      8 |      100 |        0
509.42/509.56	c  509s |      15 |   126922 |   113432 |    24534      8 |      100 |        0
511.52/511.62	c  511s |      15 |   127729 |   114132 |    24534      8 |      100 |        0
513.51/513.70	c  513s |      15 |   128511 |   114832 |    24534      8 |      100 |        0
515.71/515.85	c  515s |      15 |   129313 |   115532 |    24534      8 |      100 |        0
517.71/517.89	c  517s |      15 |   129981 |   116132 |    24534      8 |      100 |        0
519.81/519.94	c  519s |      15 |   130766 |   116832 |    24534      8 |      100 |        0
522.11/522.21	c  521s |      15 |   131520 |   117532 |    24534      8 |      100 |        0
524.41/524.54	c  524s |      15 |   132426 |   118332 |    24534      8 |      100 |        0
526.61/526.76	c  526s |      15 |   133407 |   119132 |    24534      8 |      100 |        0
528.81/528.96	c  528s |      15 |   134311 |   119832 |    24534      8 |      100 |        0
531.01/531.19	c  530s |      15 |   134988 |   120432 |    24534      8 |      100 |        0
533.31/533.47	c  533s |      15 |   135742 |   121132 |    24534      8 |      100 |        0
535.51/535.61	c  535s |      15 |   136480 |   121732 |    24534      9 |      100 |        0
537.71/537.85	c  537s |      15 |   137398 |   122532 |    24534      9 |      100 |        0
540.02/540.11	c  539s |      15 |   138455 |   123432 |    24534      9 |      100 |        0
542.22/542.38	c  542s |      15 |   139433 |   124232 |    24534      9 |      100 |        0
544.31/544.46	c  544s |      15 |   139765 |   124532 |    24534      9 |      100 |        0
546.41/546.56	c  546s |      15 |   140429 |   125132 |    24534      9 |      100 |        0
548.71/548.82	c  548s |      15 |   141125 |   125732 |    24534      9 |      100 |        0
551.11/551.29	c  550s |      15 |   141804 |   126332 |    24534      9 |      100 |        0
553.70/553.80	c  553s |      15 |   142437 |   126832 |    24534      9 |      100 |        0
555.80/555.90	c  555s |      15 |   142863 |   127232 |    24534      9 |      100 |        0
557.90/558.02	c  557s |      15 |   143402 |   127732 |    24534      9 |      100 |        0
560.00/560.17	c  559s |      15 |   144153 |   128432 |    24534      9 |      100 |        0
562.01/562.19	c  561s |      15 |   144705 |   128932 |    24534      9 |      100 |        0
564.21/564.32	c  564s |      15 |   145245 |   129432 |    24534      9 |      100 |        0
566.30/566.49	c  566s |      15 |   145921 |   130032 |    24534      9 |      100 |        0
568.50/568.65	c  568s |      15 |   146593 |   130632 |    24534      9 |      100 |        0
570.60/570.72	c  570s |      15 |   147384 |   131332 |    26988      9 |      100 |        0
571.30/571.42	c  571s |      16 |   147629 |   131552 |    26988      9 |      100 |        0
573.60/573.78	c  573s |      16 |   148014 |   131852 |    26988      9 |      100 |        0
576.00/576.17	c  575s |      16 |   148652 |   132352 |    26988      9 |      100 |        0
578.20/578.34	c  578s |      16 |   149090 |   132752 |    26988      9 |      100 |        0
580.60/580.72	c  580s |      16 |   149699 |   133252 |    26988      9 |      100 |        0
582.91/583.02	c  582s |      16 |   150280 |   133752 |    26988      9 |      100 |        0
585.21/585.32	c  584s |      16 |   150930 |   134352 |    26988      9 |      100 |        0
587.60/587.78	c  587s |      16 |   151348 |   134752 |    26988      9 |      100 |        0
590.20/590.33	c  590s |      16 |   151873 |   135252 |    26988      9 |      100 |        0
592.20/592.34	c  592s |      16 |   152315 |   135652 |    26988      9 |      100 |        0
594.50/594.68	c  594s |      16 |   152890 |   136152 |    26988      9 |      100 |        0
596.70/596.80	c  596s |      16 |   153682 |   136852 |    26988      9 |      100 |        0
599.00/599.13	c  598s |      16 |   154423 |   137552 |    26988      9 |      100 |        0
601.40/601.56	c  601s |      16 |   154888 |   137952 |    26988     10 |      100 |        0
603.80/603.93	c  603s |      16 |   155302 |   138352 |    26988     10 |      100 |        0
606.00/606.19	c  605s |      16 |   155736 |   138752 |    26988     10 |      100 |        0
609.79/609.90	c  609s |      16 |   156614 |   139452 |    26988     10 |      100 |        0
611.79/611.99	c  611s |      16 |   157496 |   140252 |    26988     10 |      100 |        0
613.89/614.05	c  613s |      16 |   158245 |   140952 |    26988     10 |      100 |        0
616.09/616.29	c  615s |      16 |   158928 |   141552 |    26988     10 |      100 |        0
618.10/618.30	c  617s |      16 |   159486 |   142052 |    26988     10 |      100 |        0
620.49/620.68	c  620s |      16 |   160267 |   142752 |    26988     10 |      100 |        0
622.69/622.88	c  622s |      16 |   160941 |   143352 |    26988     10 |      100 |        0
624.99/625.17	c  624s |      16 |   161601 |   143952 |    26988     10 |      100 |        0
627.29/627.47	c  627s |      16 |   162458 |   144752 |    26988     10 |      100 |        0
629.59/629.75	c  629s |      16 |   163193 |   145452 |    26988     10 |      100 |        0
631.79/631.92	c  631s |      16 |   164036 |   146252 |    26988     10 |      100 |        0
633.99/634.17	c  633s |      16 |   164905 |   147052 |    26988     10 |      100 |        0
636.30/636.43	c  636s |      16 |   165682 |   147752 |    26988     10 |      100 |        0
638.60/638.73	c  638s |      16 |   166434 |   148452 |    26988     10 |      100 |        0
640.80/640.96	c  640s |      16 |   167232 |   149152 |    26988     10 |      100 |        0
643.19/643.31	c  642s |      16 |   168010 |   149852 |    26988     10 |      100 |        0
645.39/645.56	c  645s |      16 |   168800 |   150552 |    26988     10 |      100 |        0
647.69/647.82	c  647s |      16 |   169561 |   151252 |    26988     10 |      100 |        0
649.79/649.96	c  649s |      16 |   170217 |   151852 |    26988     10 |      100 |        0
652.09/652.27	c  651s |      16 |   170861 |   152452 |    26988     11 |      100 |        0
654.09/654.28	c  653s |      16 |   171289 |   152852 |    26988     11 |      100 |        0
656.19/656.38	c  656s |      16 |   171843 |   153352 |    26988     11 |      100 |        0
658.49/658.66	c  658s |      16 |   172696 |   154152 |    26988     11 |      100 |        0
660.49/660.67	c  660s |      16 |   173401 |   154752 |    26988     11 |      100 |        0
662.59/662.79	c  662s |      16 |   173907 |   155152 |    26988     11 |      100 |        0
665.09/665.26	c  664s |      16 |   174447 |   155652 |    26988     11 |      100 |        0
667.70/667.84	c  667s |      16 |   175090 |   156252 |    26988     11 |      100 |        0
669.90/670.05	c  669s |      16 |   175618 |   156752 |    26988     11 |      100 |        0
671.99/672.14	c  671s |      16 |   176366 |   157452 |    26988     11 |      100 |        0
674.09/674.30	c  673s |      16 |   177215 |   158252 |    26988     11 |      100 |        0
676.19/676.33	c  676s |      16 |   177733 |   158752 |    26988     11 |      100 |        0
678.29/678.49	c  678s |      16 |   178484 |   159452 |    26988     11 |      100 |        0
680.89/681.03	c  680s |      16 |   179254 |   160152 |    26988     11 |      100 |        0
683.09/683.25	c  682s |      16 |   179769 |   160652 |    26988     11 |      100 |        0
685.19/685.31	c  684s |      16 |   180194 |   161052 |    26988     11 |      100 |        0
687.49/687.61	c  687s |      16 |   180768 |   161552 |    26988     11 |      100 |        0
689.48/689.63	c  689s |      16 |   181304 |   162052 |    26988     11 |      100 |        0
691.79/691.92	c  691s |      16 |   181943 |   162652 |    26988     11 |      100 |        0
693.88/694.10	c  693s |      16 |   182616 |   163252 |    26988     11 |      100 |        0
696.08/696.26	c  695s |      16 |   183276 |   163852 |    26988     11 |      100 |        0
698.49/698.67	c  698s |      16 |   183996 |   164452 |    26988     11 |      100 |        0
700.59/700.79	c  700s |      16 |   184454 |   164852 |    26988     11 |      100 |        0
702.89/703.07	c  702s |      16 |   185044 |   165352 |    26988     11 |      100 |        0
704.99/705.15	c  704s |      16 |   185554 |   165852 |    26988     11 |      100 |        0
707.38/707.53	c  707s |      16 |   186289 |   166552 |    26988     11 |      100 |        0
709.68/709.85	c  709s |      16 |   187038 |   167252 |    26988     11 |      100 |        0
711.88/712.02	c  711s |      16 |   187683 |   167852 |    26988     12 |      100 |        0
714.08/714.27	c  713s |      16 |   188441 |   168552 |    26988     12 |      100 |        0
716.18/716.35	c  716s |      16 |   189199 |   169252 |    26988     12 |      100 |        0
718.28/718.49	c  718s |      16 |   189953 |   169952 |    26988     12 |      100 |        0
720.38/720.58	c  720s |      16 |   190603 |   170552 |    26988     12 |      100 |        0
722.48/722.70	c  722s |      16 |   191358 |   171252 |    26988     12 |      100 |        0
724.68/724.86	c  724s |      16 |   191895 |   171752 |    26988     12 |      100 |        0
726.98/727.18	c  726s |      16 |   192531 |   172352 |    26988     12 |      100 |        0
729.18/729.35	c  729s |      16 |   193190 |   172952 |    26988     12 |      100 |        0
731.28/731.42	c  731s |      16 |   193836 |   173552 |    26988     12 |      100 |        0
733.28/733.47	c  733s |      16 |   194520 |   174152 |    26988     12 |      100 |        0
735.68/735.89	c  735s |      16 |   195055 |   174652 |    26988     12 |      100 |        0
737.98/738.17	c  737s |      16 |   195700 |   175252 |    26988     12 |      100 |        0
740.18/740.38	c  740s |      16 |   196353 |   175852 |    26988     12 |      100 |        0
742.27/742.48	c  742s |      16 |   196887 |   176352 |    26988     12 |      100 |        0
744.58/744.76	c  744s |      16 |   197577 |   176952 |    26988     12 |      100 |        0
746.78/747.00	c  746s |      16 |   198224 |   177552 |    26988     12 |      100 |        0
748.98/749.18	c  748s |      16 |   198838 |   178152 |    26988     12 |      100 |        0
751.07/751.28	c  750s |      16 |   199589 |   178852 |    26988     12 |      100 |        0
753.38/753.59	c  753s |      16 |   200304 |   179552 |    26988     12 |      100 |        0
755.47/755.65	c  755s |      16 |   200841 |   180052 |    26988     12 |      100 |        0
758.07/758.22	c  757s |      16 |   201375 |   180552 |    26988     12 |      100 |        0
760.47/760.69	c  760s |      16 |   201788 |   180952 |    26988     12 |      100 |        0
762.77/762.94	c  762s |      16 |   202412 |   181552 |    26988     12 |      100 |        0
765.07/765.23	c  764s |      16 |   202826 |   181952 |    26988     12 |      100 |        0
767.47/767.64	c  767s |      16 |   203244 |   182352 |    26988     13 |      100 |        0
769.67/769.80	c  769s |      16 |   203787 |   182852 |    26988     13 |      100 |        0
771.87/772.03	c  771s |      16 |   204561 |   183552 |    26988     13 |      100 |        0
773.97/774.16	c  773s |      16 |   205317 |   184252 |    26988     13 |      100 |        0
776.27/776.44	c  776s |      16 |   206116 |   184952 |    26988     13 |      100 |        0
778.47/778.65	c  778s |      16 |   206788 |   185452 |    26988     13 |      100 |        0
780.97/781.19	c  780s |      16 |   207219 |   185852 |    26988     13 |      100 |        0
783.17/783.37	c  783s |      16 |   207772 |   186352 |    26988     13 |      100 |        0
785.37/785.59	c  785s |      16 |   208118 |   186652 |    26988     13 |      100 |        0
787.66/787.84	c  787s |      16 |   208521 |   187052 |    26988     13 |      100 |        0
790.16/790.39	c  790s |      16 |   209063 |   187552 |    26988     13 |      100 |        0
792.56/792.72	c  792s |      16 |   209606 |   188052 |    26988     13 |      100 |        0
794.86/795.03	c  794s |      16 |   210035 |   188452 |    26988     13 |      100 |        0
797.06/797.27	c  796s |      16 |   210588 |   188952 |    26988     13 |      100 |        0
799.26/799.48	c  799s |      16 |   211437 |   189752 |    26988     13 |      100 |        0
801.26/801.48	c  801s |      16 |   212090 |   190352 |    26988     13 |      100 |        0
803.36/803.50	c  803s |      16 |   212647 |   190852 |    26988     13 |      100 |        0
805.36/805.55	c  805s |      16 |   213192 |   191352 |    26988     13 |      100 |        0
807.96/808.17	c  807s |      16 |   213794 |   191852 |    26988     13 |      100 |        0
810.16/810.34	c  810s |      16 |   214802 |   192552 |    26988     13 |      100 |        0
812.56/812.72	c  812s |      16 |   215679 |   193352 |    26988     13 |      100 |        0
814.66/814.89	c  814s |      16 |   216239 |   193852 |    26988     13 |      100 |        0
816.66/816.89	c  816s |      16 |   216867 |   194452 |    26988     13 |      100 |        0
818.76/818.92	c  818s |      16 |   217475 |   195052 |    26988     13 |      100 |        0
821.16/821.32	c  821s |      16 |   217914 |   195452 |    26988     13 |      100 |        0
825.45/825.61	c  825s |      16 |   218428 |   195952 |    26988     13 |      100 |        0
827.45/827.69	c  827s |      16 |   218836 |   196352 |    29687     13 |      100 |        0
829.85/830.05	c  829s |      16 |   219266 |   196752 |    29687     13 |      100 |        0
832.16/832.34	c  832s |      16 |   219749 |   197152 |    29687     13 |      100 |        0
833.77/833.98	c  833s |      17 |   220121 |   197432 |    29687     13 |      100 |        0
835.97/836.14	c  835s |      17 |   220506 |   197732 |    29687     14 |      100 |        0
838.26/838.48	c  838s |      17 |   220947 |   198132 |    29687     14 |      100 |        0
840.46/840.62	c  840s |      17 |   221421 |   198532 |    29687     14 |      100 |        0
842.47/842.66	c  842s |      17 |   222041 |   199032 |    29687     14 |      100 |        0
844.67/844.81	c  844s |      17 |   222475 |   199432 |    29687     14 |      100 |        0
846.76/846.91	c  846s |      17 |   222925 |   199832 |    29687     14 |      100 |        0
848.76/848.97	c  848s |      17 |   223460 |   200332 |    29687     14 |      100 |        0
850.76/850.99	c  850s |      17 |   224125 |   200932 |    29687     14 |      100 |        0
853.06/853.27	c  852s |      17 |   224927 |   201632 |    29687     14 |      100 |        0
855.26/855.40	c  855s |      17 |   225372 |   202032 |    29687     14 |      100 |        0
857.26/857.44	c  857s |      17 |   226075 |   202632 |    29687     14 |      100 |        0
859.56/859.76	c  859s |      17 |   226503 |   203032 |    29687     14 |      100 |        0
861.76/861.95	c  861s |      17 |   226940 |   203432 |    29687     14 |      100 |        0
863.86/864.02	c  863s |      17 |   227365 |   203832 |    29687     14 |      100 |        0
866.06/866.27	c  865s |      17 |   227804 |   204232 |    29687     14 |      100 |        0
868.36/868.56	c  868s |      17 |   228464 |   204832 |    29687     14 |      100 |        0
870.65/870.81	c  870s |      17 |   229138 |   205432 |    29687     14 |      100 |        0
872.75/872.93	c  872s |      17 |   229910 |   206132 |    29687     14 |      100 |        0
874.75/874.96	c  874s |      17 |   230577 |   206732 |    29687     14 |      100 |        0
876.95/877.18	c  876s |      17 |   231233 |   207332 |    29687     14 |      100 |        0
879.15/879.32	c  878s |      17 |   231880 |   207932 |    29687     14 |      100 |        0
881.25/881.43	c  881s |      17 |   232519 |   208532 |    29687     14 |      100 |        0
883.26/883.50	c  883s |      17 |   233203 |   209132 |    29687     14 |      100 |        0
885.65/885.81	c  885s |      17 |   233948 |   209832 |    29687     14 |      100 |        0
887.95/888.15	c  887s |      17 |   234704 |   210532 |    29687     14 |      100 |        0
890.05/890.24	c  889s |      17 |   235447 |   211232 |    29687     14 |      100 |        0
892.35/892.58	c  892s |      17 |   236332 |   212032 |    29687     14 |      100 |        0
894.75/894.92	c  894s |      17 |   237182 |   212832 |    29687     14 |      100 |        0
896.85/897.00	c  896s |      17 |   237846 |   213432 |    29687     14 |      100 |        0
899.15/899.32	c  899s |      17 |   238628 |   214132 |    29687     14 |      100 |        0
901.25/901.49	c  901s |      17 |   239283 |   214732 |    29687     15 |      100 |        0
903.75/903.91	c  903s |      17 |   240226 |   215532 |    29687     15 |      100 |        0
906.15/906.32	c  905s |      17 |   241115 |   216332 |    29687     15 |      100 |        0
908.15/908.37	c  908s |      17 |   241771 |   216932 |    29687     15 |      100 |        0
910.45/910.63	c  910s |      17 |   242525 |   217632 |    29687     15 |      100 |        0
912.65/912.84	c  912s |      17 |   243294 |   218332 |    29687     15 |      100 |        0
914.75/914.98	c  914s |      17 |   244063 |   219032 |    29687     15 |      100 |        0
917.05/917.23	c  916s |      17 |   244813 |   219732 |    29687     15 |      100 |        0
919.25/919.42	c  919s |      17 |   245451 |   220332 |    29687     15 |      100 |        0
921.54/921.77	c  921s |      17 |   246205 |   221032 |    29687     15 |      100 |        0
923.64/923.85	c  923s |      17 |   246886 |   221632 |    29687     15 |      100 |        0
925.84/926.02	c  925s |      17 |   247647 |   222332 |    29687     15 |      100 |        0
927.94/928.14	c  927s |      17 |   248327 |   222932 |    29687     15 |      100 |        0
930.14/930.35	c  930s |      17 |   249005 |   223532 |    29687     15 |      100 |        0
932.34/932.56	c  932s |      17 |   249662 |   224132 |    29687     15 |      100 |        0
934.44/934.61	c  934s |      17 |   250318 |   224732 |    29687     15 |      100 |        0
936.64/936.80	c  936s |      17 |   250961 |   225332 |    29687     15 |      100 |        0
938.64/938.82	c  938s |      17 |   251502 |   225832 |    29687     15 |      100 |        0
940.94/941.18	c  940s |      17 |   252140 |   226432 |    29687     15 |      100 |        0
943.14/943.33	c  943s |      17 |   252781 |   227032 |    29687     15 |      100 |        0
945.44/945.66	c  945s |      17 |   253458 |   227632 |    29687     15 |      100 |        0
947.54/947.71	c  947s |      17 |   254032 |   228132 |    29687     15 |      100 |        0
949.84/950.01	c  949s |      17 |   254738 |   228732 |    29687     15 |      100 |        0
952.04/952.23	c  951s |      17 |   255411 |   229332 |    29687     15 |      100 |        0
954.33/954.51	c  954s |      17 |   256050 |   229932 |    29687     15 |      100 |        0
956.53/956.73	c  956s |      17 |   256709 |   230532 |    29687     15 |      100 |        0
958.63/958.82	c  958s |      17 |   257124 |   230932 |    29687     16 |      100 |        0
960.83/961.01	c  960s |      17 |   257773 |   231532 |    29687     16 |      100 |        0
962.93/963.17	c  962s |      17 |   258514 |   232232 |    29687     16 |      100 |        0
965.23/965.43	c  965s |      17 |   259402 |   233032 |    29687     16 |      100 |        0
967.23/967.46	c  967s |      17 |   259859 |   233432 |    29687     16 |      100 |        0
969.53/969.72	c  969s |      17 |   260415 |   233932 |    29687     16 |      100 |        0
976.52/976.75	c  976s |      17 |   260732 |   234232 |    29687     16 |      100 |        0
978.72/978.96	c  978s |      17 |   261448 |   234932 |    29687     16 |      100 |        0
980.82/981.06	c  980s |      17 |   262113 |   235532 |    29687     16 |      100 |        0
983.12/983.37	c  983s |      17 |   262666 |   236032 |    29687     16 |      100 |        0
985.43/985.62	c  985s |      17 |   263235 |   236532 |    29687     16 |      100 |        0
987.52/987.72	c  987s |      17 |   264134 |   237332 |    29687     16 |      100 |        0
989.83/990.04	c  989s |      17 |   265033 |   238132 |    29687     16 |      100 |        0
991.92/992.19	c  991s |      17 |   265703 |   238732 |    29687     16 |      100 |        0
994.13/994.34	c  994s |      17 |   266117 |   239132 |    29687     16 |      100 |        0
996.23/996.48	c  996s |      17 |   266549 |   239532 |    29687     16 |      100 |        0
998.43/998.67	c  998s |      17 |   267123 |   240032 |    29687     16 |      100 |        0
1000.83/1001.02	c 1000s |      17 |   267472 |   240332 |    29687     16 |      100 |        0
1003.03/1003.22	c 1002s |      17 |   267913 |   240732 |    29687     16 |      100 |        0
1005.53/1005.72	c 1005s |      17 |   268487 |   241232 |    29687     16 |      100 |        0
1007.93/1008.14	c 1007s |      17 |   269194 |   241832 |    29687     16 |      100 |        0
1010.32/1010.53	c 1010s |      17 |   269748 |   242332 |    29687     16 |      100 |        0
1012.52/1012.78	c 1012s |      17 |   270344 |   242832 |    29687     16 |      100 |        0
1014.92/1015.18	c 1014s |      17 |   270992 |   243332 |    29687     16 |      100 |        0
1017.12/1017.33	c 1017s |      17 |   271419 |   243732 |    29687     16 |      100 |        0
1019.32/1019.57	c 1019s |      17 |   271919 |   244132 |    29687     16 |      100 |        0
1021.52/1021.77	c 1021s |      17 |   272446 |   244632 |    29687     16 |      100 |        0
1024.32/1024.50	c 1024s |      17 |   272966 |   245132 |    29687     16 |      100 |        0
1026.42/1026.69	c 1026s |      17 |   273622 |   245632 |    29687     16 |      100 |        0
1028.62/1028.88	c 1028s |      17 |   274195 |   246132 |    29687     16 |      100 |        0
1030.72/1030.98	c 1030s |      17 |   274869 |   246732 |    29687     16 |      100 |        0
1033.32/1033.57	c 1033s |      17 |   275187 |   247032 |    29687     17 |      100 |        0
1035.52/1035.79	c 1035s |      17 |   275966 |   247732 |    29687     17 |      100 |        0
1037.62/1037.80	c 1037s |      17 |   276725 |   248432 |    29687     17 |      100 |        0
1039.62/1039.87	c 1039s |      17 |   277376 |   249032 |    29687     17 |      100 |        0
1041.81/1042.05	c 1041s |      17 |   278029 |   249632 |    29687     17 |      100 |        0
1044.01/1044.23	c 1043s |      17 |   278564 |   250132 |    29687     17 |      100 |        0
1046.41/1046.68	c 1046s |      17 |   279253 |   250732 |    29687     17 |      100 |        0
1048.51/1048.71	c 1048s |      17 |   279904 |   251332 |    29687     17 |      100 |        0
1050.71/1050.91	c 1050s |      17 |   280676 |   252032 |    29687     17 |      100 |        0
1052.81/1053.08	c 1052s |      17 |   281467 |   252732 |    29687     17 |      100 |        0
1055.11/1055.37	c 1055s |      17 |   282225 |   253432 |    29687     17 |      100 |        0
1057.31/1057.51	c 1057s |      17 |   282890 |   254032 |    29687     17 |      100 |        0
1059.51/1059.72	c 1059s |      17 |   283688 |   254732 |    29687     17 |      100 |        0
1061.51/1061.79	c 1061s |      17 |   284461 |   255432 |    29687     17 |      100 |        0
1063.62/1063.81	c 1063s |      17 |   285109 |   256032 |    29687     17 |      100 |        0
1065.61/1065.81	c 1065s |      17 |   285756 |   256632 |    29687     17 |      100 |        0
1067.71/1067.90	c 1067s |      17 |   286436 |   257232 |    29687     17 |      100 |        0
1070.12/1070.31	c 1069s |      17 |   287161 |   257832 |    29687     17 |      100 |        0
1072.21/1072.46	c 1072s |      17 |   287833 |   258432 |    29687     17 |      100 |        0
1080.21/1080.45	c 1080s |      17 |   288389 |   258932 |    29687     17 |      100 |        0
1082.51/1082.77	c 1082s |      17 |   288921 |   259432 |    29687     17 |      100 |        0
1084.61/1084.84	c 1084s |      17 |   289465 |   259932 |    29687     17 |      100 |        0
1086.81/1087.07	c 1086s |      17 |   290013 |   260432 |    29687     17 |      100 |        0
1089.01/1089.28	c 1088s |      17 |   290655 |   261032 |    29687     17 |      100 |        0
1091.11/1091.32	c 1091s |      17 |   291290 |   261632 |    29687     17 |      100 |        0
1093.31/1093.56	c 1093s |      17 |   291931 |   262232 |    29687     17 |      100 |        0
1095.51/1095.76	c 1095s |      17 |   292595 |   262832 |    29687     17 |      100 |        0
1097.61/1097.88	c 1097s |      17 |   293125 |   263332 |    29687     18 |      100 |        0
1099.81/1100.09	c 1099s |      17 |   293884 |   264032 |    29687     18 |      100 |        0
1102.11/1102.38	c 1102s |      17 |   294535 |   264632 |    29687     18 |      100 |        0
1104.31/1104.53	c 1104s |      17 |   295268 |   265332 |    29687     18 |      100 |        0
1106.41/1106.64	c 1106s |      17 |   295922 |   265932 |    29687     18 |      100 |        0
1108.40/1108.66	c 1108s |      17 |   296692 |   266632 |    29687     18 |      100 |        0
1110.50/1110.79	c 1110s |      17 |   297431 |   267332 |    29687     18 |      100 |        0
1112.80/1113.09	c 1112s |      17 |   298170 |   268032 |    29687     18 |      100 |        0
1114.90/1115.17	c 1114s |      17 |   298919 |   268732 |    29687     18 |      100 |        0
1117.20/1117.45	c 1117s |      17 |   299707 |   269432 |    29687     18 |      100 |        0
1119.71/1119.96	c 1119s |      17 |   300289 |   269932 |    29687     18 |      100 |        0
1121.91/1122.16	c 1121s |      17 |   300737 |   270332 |    29687     18 |      100 |        0
1124.11/1124.38	c 1124s |      17 |   301282 |   270832 |    29687     18 |      100 |        0
1126.10/1126.38	c 1126s |      17 |   301942 |   271432 |    29687     18 |      100 |        0
1128.51/1128.71	c 1128s |      17 |   302697 |   272132 |    29687     18 |      100 |        0
1130.71/1130.96	c 1130s |      17 |   303452 |   272832 |    29687     18 |      100 |        0
1132.90/1133.19	c 1132s |      17 |   304008 |   273332 |    29687     18 |      100 |        0
1135.20/1135.46	c 1135s |      17 |   304583 |   273832 |    29687     18 |      100 |        0
1137.50/1137.77	c 1137s |      17 |   305271 |   274432 |    29687     18 |      100 |        0
1139.60/1139.82	c 1139s |      17 |   305838 |   274932 |    29687     18 |      100 |        0
1141.90/1142.11	c 1141s |      17 |   306488 |   275532 |    29687     18 |      100 |        0
1144.20/1144.47	c 1144s |      17 |   307193 |   276132 |    29687     18 |      100 |        0
1146.40/1146.61	c 1146s |      17 |   307854 |   276732 |    29687     18 |      100 |        0
1148.60/1148.82	c 1148s |      17 |   308532 |   277332 |    29687     18 |      100 |        0
1150.99/1151.24	c 1150s |      17 |   309203 |   277932 |    29687     18 |      100 |        0
1153.09/1153.36	c 1153s |      17 |   309775 |   278432 |    29687     18 |      100 |        0
1155.19/1155.46	c 1155s |      17 |   310296 |   278932 |    29687     18 |      100 |        0
1157.29/1157.51	c 1157s |      17 |   310741 |   279332 |    29687     19 |      100 |        0
1159.39/1159.65	c 1159s |      17 |   311306 |   279832 |    29687     19 |      100 |        0
1161.79/1162.01	c 1161s |      17 |   311978 |   280432 |    29687     19 |      100 |        0
1163.99/1164.26	c 1163s |      17 |   312616 |   281032 |    29687     19 |      100 |        0
1166.19/1166.43	c 1166s |      17 |   313023 |   281432 |    29687     19 |      100 |        0
1168.28/1168.54	c 1168s |      17 |   313361 |   281732 |    29687     19 |      100 |        0
1170.68/1170.95	c 1170s |      17 |   313946 |   282232 |    29687     19 |      100 |        0
1172.78/1173.04	c 1172s |      17 |   314536 |   282732 |    29687     19 |      100 |        0
1174.98/1175.28	c 1174s |      17 |   315127 |   283232 |    29687     19 |      100 |        0
1177.08/1177.38	c 1177s |      17 |   315561 |   283632 |    29687     19 |      100 |        0
1179.28/1179.53	c 1179s |      17 |   316231 |   284232 |    29687     19 |      100 |        0
1181.28/1181.59	c 1181s |      17 |   316904 |   284832 |    29687     19 |      100 |        0
1183.48/1183.73	c 1183s |      17 |   317715 |   285532 |    29687     19 |      100 |        0
1185.77/1186.03	c 1185s |      17 |   318475 |   286232 |    29687     19 |      100 |        0
1187.78/1188.09	c 1187s |      17 |   319170 |   286832 |    29687     19 |      100 |        0
1190.17/1190.45	c 1190s |      17 |   319833 |   287432 |    29687     19 |      100 |        0
1192.37/1192.64	c 1192s |      17 |   320588 |   288132 |    29687     19 |      100 |        0
1194.47/1194.72	c 1194s |      17 |   321236 |   288732 |    29687     19 |      100 |        0
1196.47/1196.74	c 1196s |      17 |   321883 |   289332 |    29687     19 |      100 |        0
1198.57/1198.83	c 1198s |      17 |   322645 |   290032 |    29687     19 |      100 |        0
1200.66/1200.93	c 1200s |      17 |   323224 |   290532 |    29687     19 |      100 |        0
1202.86/1203.15	c 1202s |      17 |   323728 |   291032 |    29687     19 |      100 |        0
1205.26/1205.53	c 1205s |      17 |   324413 |   291632 |    29687     19 |      100 |        0
1207.67/1207.93	c 1207s |      17 |   325089 |   292232 |    29687     19 |      100 |        0
1209.77/1210.04	c 1209s |      17 |   325734 |   292832 |    29687     19 |      100 |        0
1211.96/1212.22	c 1211s |      17 |   326410 |   293432 |    29687     19 |      100 |        0
1214.26/1214.55	c 1214s |      17 |   327071 |   294032 |    29687     19 |      100 |        0
1216.36/1216.62	c 1216s |      17 |   327624 |   294532 |    32656     19 |      100 |        0
1218.66/1218.94	c 1218s |      17 |   328337 |   295132 |    32656     19 |      100 |        0
1220.76/1221.08	c 1220s |      17 |   328891 |   295632 |    32656     19 |      100 |        0
1223.06/1223.32	c 1223s |      17 |   329578 |   296232 |    32656     19 |      100 |        0
1223.06/1223.39	c 1223s |      18 |   329602 |   296252 |    32656     19 |      100 |        0
1228.16/1228.49	c 1228s |      18 |   329772 |   296352 |    32656     20 |      100 |        0
1230.36/1230.69	c 1230s |      18 |   330547 |   297052 |    32656     20 |      100 |        0
1232.56/1232.83	c 1232s |      18 |   331442 |   297852 |    32656     20 |      100 |        0
1234.66/1234.93	c 1234s |      18 |   332285 |   298652 |    32656     20 |      100 |        0
1236.86/1237.13	c 1236s |      18 |   333135 |   299452 |    32656     20 |      100 |        0
1238.86/1239.17	c 1238s |      18 |   334010 |   300252 |    32656     20 |      100 |        0
1240.85/1241.19	c 1240s |      18 |   334769 |   300952 |    32656     20 |      100 |        0
1243.05/1243.32	c 1243s |      18 |   335634 |   301752 |    32656     20 |      100 |        0
1245.06/1245.37	c 1245s |      18 |   336496 |   302552 |    32656     20 |      100 |        0
1247.45/1247.70	c 1247s |      18 |   337376 |   303352 |    32656     20 |      100 |        0
1249.46/1249.80	c 1249s |      18 |   338140 |   304052 |    32656     20 |      100 |        0
1251.74/1252.04	c 1251s |      18 |   338903 |   304752 |    32656     20 |      100 |        0
1253.85/1254.11	c 1253s |      18 |   339580 |   305352 |    32656     20 |      100 |        0
1255.84/1256.11	c 1255s |      18 |   340246 |   305952 |    32656     20 |      100 |        0
1257.94/1258.24	c 1257s |      18 |   341025 |   306652 |    32656     20 |      100 |        0
1260.04/1260.35	c 1260s |      18 |   341808 |   307352 |    32656     20 |      100 |        0
1262.24/1262.54	c 1262s |      18 |   342567 |   308052 |    32656     20 |      100 |        0
1264.34/1264.62	c 1264s |      18 |   343361 |   308752 |    32656     20 |      100 |        0
1266.54/1266.81	c 1266s |      18 |   344116 |   309452 |    32656     20 |      100 |        0
1268.54/1268.88	c 1268s |      18 |   344975 |   310252 |    32656     20 |      100 |        0
1270.84/1271.11	c 1270s |      18 |   345831 |   311052 |    32656     20 |      100 |        0
1272.84/1273.17	c 1272s |      18 |   346474 |   311652 |    32656     20 |      100 |        0
1276.04/1276.33	c 1276s |      18 |   347202 |   312252 |    32656     20 |      100 |        0
1278.04/1278.35	c 1278s |      18 |   347640 |   312652 |    32656     20 |      100 |        0
1280.53/1280.81	c 1280s |      18 |   347982 |   312952 |    32656     20 |      100 |        0
1282.53/1282.85	c 1282s |      18 |   348474 |   313352 |    32656     20 |      100 |        0
1284.63/1284.99	c 1284s |      18 |   348800 |   313652 |    32656     20 |      100 |        0
1287.13/1287.40	c 1287s |      18 |   349253 |   314052 |    32656     20 |      100 |        0
1289.33/1289.66	c 1289s |      18 |   349595 |   314352 |    32656     20 |      100 |        0
1291.72/1292.07	c 1291s |      18 |   350017 |   314752 |    32656     20 |      100 |        0
1293.92/1294.20	c 1293s |      18 |   350235 |   314952 |    32656     21 |      100 |        0
1296.12/1296.49	c 1296s |      18 |   350889 |   315552 |    32656     21 |      100 |        0
1298.42/1298.78	c 1298s |      18 |   351441 |   316052 |    32656     21 |      100 |        0
1300.62/1300.93	c 1300s |      18 |   351869 |   316452 |    32656     21 |      100 |        0
1302.82/1303.19	c 1302s |      18 |   352389 |   316952 |    32656     21 |      100 |        0
1304.92/1305.23	c 1304s |      18 |   353015 |   317552 |    32656     21 |      100 |        0
1307.62/1307.97	c 1307s |      18 |   353234 |   317752 |    32656     21 |      100 |        0
1309.71/1310.06	c 1309s |      18 |   353679 |   318152 |    32656     21 |      100 |        0
1311.71/1312.08	c 1311s |      18 |   354131 |   318552 |    32656     21 |      100 |        0
1314.01/1314.37	c 1314s |      18 |   354574 |   318952 |    32656     21 |      100 |        0
1316.01/1316.37	c 1316s |      18 |   354996 |   319352 |    32656     21 |      100 |        0
1318.11/1318.49	c 1318s |      18 |   355443 |   319752 |    32656     21 |      100 |        0
1320.31/1320.62	c 1320s |      18 |   355877 |   320152 |    32656     21 |      100 |        0
1322.71/1323.09	c 1322s |      18 |   356378 |   320552 |    32656     21 |      100 |        0
1325.11/1325.50	c 1325s |      18 |   356817 |   320952 |    32656     21 |      100 |        0
1327.21/1327.58	c 1327s |      18 |   357237 |   321352 |    32656     21 |      100 |        0
1329.31/1329.64	c 1329s |      18 |   357661 |   321752 |    32656     21 |      100 |        0
1331.60/1331.90	c 1331s |      18 |   358096 |   322152 |    32656     21 |      100 |        0
1333.70/1334.07	c 1333s |      18 |   358761 |   322752 |    32656     21 |      100 |        0
1335.70/1336.07	c 1335s |      18 |   359197 |   323152 |    32656     21 |      100 |        0
1337.70/1338.08	c 1337s |      18 |   359734 |   323652 |    32656     21 |      100 |        0
1339.90/1340.24	c 1339s |      18 |   360464 |   324352 |    32656     21 |      100 |        0
1342.30/1342.60	c 1342s |      18 |   360910 |   324752 |    32656     21 |      100 |        0
1344.30/1344.64	c 1344s |      18 |   361240 |   325052 |    32656     21 |      100 |        0
1346.60/1346.96	c 1346s |      18 |   361675 |   325452 |    32656     21 |      100 |        0
1349.20/1349.53	c 1349s |      18 |   362115 |   325852 |    32656     21 |      100 |        0
1351.60/1351.97	c 1351s |      18 |   362546 |   326252 |    32656     21 |      100 |        0
1353.90/1354.27	c 1353s |      18 |   362979 |   326652 |    32656     21 |      100 |        0
1356.20/1356.55	c 1356s |      18 |   363384 |   327052 |    32656     21 |      100 |        0
1358.40/1358.77	c 1358s |      18 |   363900 |   327552 |    32656     21 |      100 |        0
1360.40/1360.80	c 1360s |      18 |   364545 |   328152 |    32656     21 |      100 |        0
1362.79/1363.10	c 1362s |      18 |   365085 |   328652 |    32656     21 |      100 |        0
1365.09/1365.44	c 1365s |      18 |   365653 |   329152 |    32656     21 |      100 |        0
1367.69/1368.06	c 1367s |      18 |   366093 |   329552 |    32656     21 |      100 |        0
1369.99/1370.37	c 1370s |      18 |   366647 |   330052 |    32656     21 |      100 |        0
1372.19/1372.57	c 1372s |      18 |   367208 |   330552 |    32656     21 |      100 |        0
1374.69/1375.02	c 1374s |      18 |   367756 |   331052 |    32656     21 |      100 |        0
1377.18/1377.52	c 1377s |      18 |   368221 |   331452 |    32656     21 |      100 |        0
1379.38/1379.76	c 1379s |      18 |   368686 |   331852 |    32656     21 |      100 |        0
1382.08/1382.44	c 1382s |      18 |   369156 |   332252 |    32656     21 |      100 |        0
1384.48/1384.86	c 1384s |      18 |   369648 |   332652 |    32656     22 |      100 |        0
1386.48/1386.87	c 1386s |      18 |   370096 |   333052 |    32656     22 |      100 |        0
1388.57/1388.98	c 1388s |      18 |   370439 |   333352 |    32656     22 |      100 |        0
1391.07/1391.45	c 1391s |      18 |   370981 |   333752 |    32656     22 |      100 |        0
1393.48/1393.81	c 1393s |      18 |   371506 |   334252 |    32656     22 |      100 |        0
1395.68/1396.05	c 1395s |      18 |   371954 |   334652 |    32656     22 |      100 |        0
1401.67/1402.09	c 1401s |      18 |   372189 |   334852 |    32656     22 |      100 |        0
1404.07/1404.49	c 1404s |      18 |   372605 |   335252 |    32656     22 |      100 |        0
1406.47/1406.88	c 1406s |      18 |   373164 |   335752 |    32656     22 |      100 |        0
1408.87/1409.23	c 1408s |      18 |   373466 |   336052 |    32656     22 |      100 |        0
1410.97/1411.37	c 1411s |      18 |   373901 |   336452 |    32656     22 |      100 |        0
1413.07/1413.47	c 1413s |      18 |   374221 |   336752 |    32656     22 |      100 |        0
1415.26/1415.70	c 1415s |      18 |   374658 |   337152 |    32656     22 |      100 |        0
1417.67/1418.02	c 1417s |      18 |   375077 |   337552 |    32656     22 |      100 |        0
1419.77/1420.17	c 1419s |      18 |   375514 |   337952 |    32656     22 |      100 |        0
1422.16/1422.50	c 1422s |      18 |   376082 |   338452 |    32656     22 |      100 |        0
1424.36/1424.77	c 1424s |      18 |   376638 |   338952 |    32656     22 |      100 |        0
1426.56/1426.91	c 1426s |      18 |   377290 |   339552 |    32656     22 |      100 |        0
1428.57/1428.96	c 1428s |      18 |   377824 |   340052 |    32656     22 |      100 |        0
1430.96/1431.32	c 1430s |      18 |   378396 |   340552 |    32656     22 |      100 |        0
1433.07/1433.47	c 1433s |      18 |   378929 |   341052 |    32656     22 |      100 |        0
1435.27/1435.69	c 1435s |      18 |   379347 |   341452 |    32656     22 |      100 |        0
1437.37/1437.74	c 1437s |      18 |   379668 |   341752 |    32656     22 |      100 |        0
1439.67/1440.05	c 1439s |      18 |   380321 |   342352 |    32656     22 |      100 |        0
1442.06/1442.45	c 1442s |      18 |   381035 |   343052 |    32656     22 |      100 |        0
1444.07/1444.48	c 1444s |      18 |   381485 |   343452 |    32656     22 |      100 |        0
1446.66/1447.06	c 1446s |      18 |   381909 |   343852 |    32656     22 |      100 |        0
1448.76/1449.12	c 1448s |      18 |   382308 |   344252 |    32656     22 |      100 |        0
1451.36/1451.76	c 1451s |      18 |   382834 |   344752 |    32656     22 |      100 |        0
1453.66/1454.01	c 1453s |      18 |   383257 |   345152 |    32656     22 |      100 |        0
1455.96/1456.33	c 1456s |      18 |   383680 |   345552 |    32656     22 |      100 |        0
1458.57/1458.98	c 1458s |      18 |   383892 |   345752 |    32656     22 |      100 |        0
1460.77/1461.19	c 1460s |      18 |   384209 |   346052 |    32656     22 |      100 |        0
1463.36/1463.75	c 1463s |      18 |   384641 |   346452 |    32656     22 |      100 |        0
1465.97/1466.36	c 1466s |      18 |   385067 |   346852 |    32656     22 |      100 |        0
1468.36/1468.75	c 1468s |      18 |   385525 |   347252 |    32656     22 |      100 |        0
1470.76/1471.18	c 1470s |      18 |   385867 |   347552 |    32656     22 |      100 |        0
1473.26/1473.62	c 1473s |      18 |   386192 |   347852 |    32656     22 |      100 |        0
1475.36/1475.79	c 1475s |      18 |   386532 |   348152 |    32656     22 |      100 |        0
1477.96/1478.31	c 1477s |      18 |   386858 |   348452 |    32656     22 |      100 |        0
1479.96/1480.36	c 1480s |      18 |   387305 |   348852 |    32656     22 |      100 |        0
1482.16/1482.55	c 1482s |      18 |   387847 |   349352 |    32656     22 |      100 |        0
1484.46/1484.86	c 1484s |      18 |   388600 |   350052 |    32656     22 |      100 |        0
1487.36/1487.77	c 1487s |      18 |   389005 |   350452 |    32656     23 |      100 |        0
1489.46/1489.82	c 1489s |      18 |   389320 |   350752 |    32656     23 |      100 |        0
1491.45/1491.86	c 1491s |      18 |   389755 |   351152 |    32656     23 |      100 |        0
1493.65/1494.04	c 1493s |      18 |   390413 |   351752 |    32656     23 |      100 |        0
1495.85/1496.28	c 1495s |      18 |   391066 |   352352 |    32656     23 |      100 |        0
1498.25/1498.68	c 1498s |      18 |   391707 |   352952 |    32656     23 |      100 |        0
1500.65/1501.07	c 1500s |      18 |   392365 |   353552 |    32656     23 |      100 |        0
1502.95/1503.34	c 1503s |      18 |   393251 |   354352 |    32656     23 |      100 |        0
1505.25/1505.64	c 1505s |      18 |   393900 |   354952 |    32656     23 |      100 |        0
1507.45/1507.81	c 1507s |      18 |   394655 |   355652 |    32656     23 |      100 |        0
1509.55/1509.97	c 1509s |      18 |   395408 |   356352 |    32656     23 |      100 |        0
1511.65/1512.05	c 1511s |      18 |   396056 |   356952 |    32656     23 |      100 |        0
1513.95/1514.35	c 1514s |      18 |   396699 |   357552 |    32656     23 |      100 |        0
1515.95/1516.39	c 1516s |      18 |   397457 |   358252 |    32656     23 |      100 |        0
1518.05/1518.46	c 1518s |      18 |   398092 |   358852 |    32656     23 |      100 |        0
1520.45/1520.81	c 1520s |      18 |   398844 |   359552 |    32656     23 |      100 |        0
1522.45/1522.86	c 1522s |      18 |   399488 |   360152 |    32656     23 |      100 |        0
1524.56/1524.94	c 1524s |      18 |   400165 |   360752 |    32656     23 |      100 |        0
1526.85/1527.22	c 1526s |      18 |   400971 |   361452 |    32656     23 |      100 |        0
1529.16/1529.57	c 1529s |      18 |   401620 |   362052 |    32656     23 |      100 |        0
1531.45/1531.83	c 1531s |      18 |   402281 |   362652 |    32656     23 |      100 |        0
1533.65/1534.03	c 1533s |      18 |   402918 |   363252 |    32656     23 |      100 |        0
1535.85/1536.21	c 1535s |      18 |   403585 |   363852 |    32656     23 |      100 |        0
1537.95/1538.34	c 1538s |      18 |   404253 |   364452 |    32656     23 |      100 |        0
1540.35/1540.73	c 1540s |      18 |   404903 |   365052 |    32656     23 |      100 |        0
1542.55/1542.93	c 1542s |      18 |   405482 |   365552 |    32656     23 |      100 |        0
1544.55/1544.98	c 1544s |      18 |   406023 |   366052 |    32656     23 |      100 |        0
1546.85/1547.24	c 1546s |      18 |   406584 |   366552 |    32656     23 |      100 |        0
1549.15/1549.59	c 1549s |      18 |   407142 |   367052 |    32656     23 |      100 |        0
1551.45/1551.89	c 1551s |      18 |   407450 |   367352 |    32656     23 |      100 |        0
1553.75/1554.11	c 1553s |      18 |   407909 |   367752 |    32656     23 |      100 |        0
1556.16/1556.57	c 1556s |      18 |   408237 |   368052 |    32656     24 |      100 |        0
1558.15/1558.57	c 1558s |      18 |   408657 |   368452 |    32656     24 |      100 |        0
1560.56/1560.99	c 1560s |      18 |   409216 |   368952 |    32656     24 |      100 |        0
1562.76/1563.15	c 1562s |      18 |   409859 |   369552 |    32656     24 |      100 |        0
1564.96/1565.36	c 1565s |      18 |   410506 |   370152 |    32656     24 |      100 |        0
1567.45/1567.81	c 1567s |      18 |   411297 |   370852 |    32656     24 |      100 |        0
1569.45/1569.87	c 1569s |      18 |   411830 |   371352 |    32656     24 |      100 |        0
1571.55/1571.94	c 1571s |      18 |   412253 |   371752 |    32656     24 |      100 |        0
1573.85/1574.27	c 1573s |      18 |   412716 |   372152 |    32656     24 |      100 |        0
1576.35/1576.71	c 1576s |      18 |   413161 |   372552 |    32656     24 |      100 |        0
1578.55/1578.99	c 1578s |      18 |   413570 |   372952 |    32656     24 |      100 |        0
1580.85/1581.29	c 1580s |      18 |   414219 |   373552 |    32656     24 |      100 |        0
1583.05/1583.42	c 1583s |      18 |   414644 |   373952 |    32656     24 |      100 |        0
1585.15/1585.57	c 1585s |      18 |   415192 |   374452 |    32656     24 |      100 |        0
1587.34/1587.77	c 1587s |      18 |   415835 |   375052 |    32656     24 |      100 |        0
1589.44/1589.81	c 1589s |      18 |   416475 |   375652 |    32656     24 |      100 |        0
1591.55/1591.91	c 1591s |      18 |   417127 |   376252 |    32656     24 |      100 |        0
1593.55/1593.92	c 1593s |      18 |   417784 |   376852 |    32656     24 |      100 |        0
1595.75/1596.17	c 1595s |      18 |   418422 |   377452 |    32656     24 |      100 |        0
1598.05/1598.41	c 1598s |      18 |   419067 |   378052 |    32656     24 |      100 |        0
1600.34/1600.70	c 1600s |      18 |   419781 |   378652 |    32656     24 |      100 |        0
1602.64/1603.02	c 1602s |      18 |   420465 |   379252 |    32656     24 |      100 |        0
1604.94/1605.31	c 1604s |      18 |   421002 |   379752 |    32656     24 |      100 |        0
1607.34/1607.70	c 1607s |      18 |   421658 |   380352 |    32656     24 |      100 |        0
1609.64/1610.04	c 1609s |      18 |   422371 |   380952 |    32656     24 |      100 |        0
1612.44/1612.86	c 1612s |      18 |   422824 |   381352 |    32656     24 |      100 |        0
1614.74/1615.14	c 1614s |      18 |   423233 |   381752 |    32656     24 |      100 |        0
1617.04/1617.45	c 1617s |      18 |   423565 |   382052 |    32656     24 |      100 |        0
1619.84/1620.21	c 1619s |      18 |   423928 |   382352 |    32656     24 |      100 |        0
1621.94/1622.34	c 1622s |      18 |   424368 |   382752 |    32656     24 |      100 |        0
1624.74/1625.10	c 1624s |      18 |   424795 |   383152 |    32656     24 |      100 |        0
1626.74/1627.19	c 1626s |      18 |   425114 |   383452 |    32656     24 |      100 |        0
1629.44/1629.86	c 1629s |      18 |   425539 |   383852 |    32656     24 |      100 |        0
1631.64/1632.05	c 1631s |      18 |   425856 |   384152 |    32656     24 |      100 |        0
1633.84/1634.28	c 1633s |      18 |   426195 |   384452 |    32656     24 |      100 |        0
1636.34/1636.79	c 1636s |      18 |   426670 |   384852 |    32656     24 |      100 |        0
1638.64/1639.00	c 1638s |      18 |   427096 |   385252 |    32656     24 |      100 |        0
1640.84/1641.28	c 1640s |      18 |   427407 |   385552 |    32656     24 |      100 |        0
1643.23/1643.68	c 1643s |      18 |   427626 |   385752 |    32656     25 |      100 |        0
1645.34/1645.76	c 1645s |      18 |   428244 |   386252 |    32656     25 |      100 |        0
1647.73/1648.11	c 1647s |      18 |   428905 |   386852 |    32656     25 |      100 |        0
1649.74/1650.13	c 1649s |      18 |   429586 |   387452 |    32656     25 |      100 |        0
1651.94/1652.33	c 1652s |      18 |   430402 |   388152 |    32656     25 |      100 |        0
1654.04/1654.45	c 1654s |      18 |   431061 |   388752 |    32656     25 |      100 |        0
1656.24/1656.64	c 1656s |      18 |   431827 |   389452 |    32656     25 |      100 |        0
1658.44/1658.87	c 1658s |      18 |   432574 |   390152 |    32656     25 |      100 |        0
1660.64/1661.08	c 1660s |      18 |   433332 |   390852 |    32656     25 |      100 |        0
1662.84/1663.24	c 1662s |      18 |   433980 |   391452 |    32656     25 |      100 |        0
1665.23/1665.69	c 1665s |      18 |   434678 |   392052 |    32656     25 |      100 |        0
1667.63/1668.10	c 1667s |      18 |   435289 |   392552 |    32656     25 |      100 |        0
1669.73/1670.11	c 1669s |      18 |   435815 |   392952 |    32656     25 |      100 |        0
1672.03/1672.49	c 1672s |      18 |   436443 |   393452 |    32656     25 |      100 |        0
1674.53/1674.92	c 1674s |      18 |   437023 |   393952 |    32656     25 |      100 |        0
1676.83/1677.22	c 1676s |      18 |   437664 |   394452 |    32656     25 |      100 |        0
1679.03/1679.45	c 1679s |      18 |   438271 |   394952 |    32656     25 |      100 |        0
1681.13/1681.56	c 1681s |      18 |   438878 |   395452 |    32656     25 |      100 |        0
1683.43/1683.86	c 1683s |      18 |   439478 |   395952 |    32656     25 |      100 |        0
1685.63/1686.05	c 1685s |      18 |   440035 |   396452 |    32656     25 |      100 |        0
1694.43/1694.89	c 1694s |      18 |   440374 |   396752 |    32656     25 |      100 |        0
1697.33/1697.71	c 1697s |      18 |   440831 |   397152 |    32656     25 |      100 |        0
1699.33/1699.72	c 1699s |      18 |   441400 |   397652 |    32656     25 |      100 |        0
1701.43/1701.87	c 1701s |      18 |   442007 |   398152 |    32656     25 |      100 |        0
1703.83/1704.28	c 1703s |      18 |   442617 |   398652 |    32656     25 |      100 |        0
1706.12/1706.57	c 1706s |      18 |   443233 |   399152 |    32656     25 |      100 |        0
1708.22/1708.63	c 1708s |      18 |   443680 |   399552 |    32656     25 |      100 |        0
1710.33/1710.78	c 1710s |      18 |   444154 |   399952 |    32656     25 |      100 |        0
1712.72/1713.15	c 1712s |      18 |   444738 |   400452 |    32656     25 |      100 |        0
1714.82/1715.23	c 1714s |      18 |   445205 |   400852 |    32656     25 |      100 |        0
1716.83/1717.25	c 1716s |      18 |   445602 |   401152 |    32656     25 |      100 |        0
1719.12/1719.55	c 1719s |      18 |   446142 |   401652 |    32656     25 |      100 |        0
1721.62/1722.00	c 1721s |      18 |   446837 |   402152 |    32656     25 |      100 |        0
1723.72/1724.10	c 1723s |      18 |   447442 |   402652 |    32656     25 |      100 |        0
1726.12/1726.51	c 1726s |      18 |   448028 |   403052 |    32656     25 |      100 |        0
1728.52/1728.96	c 1728s |      18 |   448376 |   403352 |    32656     26 |      100 |        0
1730.72/1731.14	c 1730s |      18 |   448991 |   403852 |    32656     26 |      100 |        0
1732.82/1733.24	c 1732s |      18 |   449643 |   404452 |    32656     26 |      100 |        0
1735.02/1735.40	c 1735s |      18 |   450399 |   405152 |    32656     26 |      100 |        0
1737.22/1737.61	c 1737s |      18 |   451060 |   405752 |    32656     26 |      100 |        0
1739.32/1739.70	c 1739s |      18 |   451791 |   406352 |    32656     26 |      100 |        0
1741.32/1741.78	c 1741s |      18 |   452496 |   406952 |    32656     26 |      100 |        0
1743.42/1743.86	c 1743s |      18 |   453214 |   407552 |    32656     26 |      100 |        0
1745.61/1746.03	c 1745s |      18 |   453793 |   408052 |    32656     26 |      100 |        0
1748.01/1748.40	c 1748s |      18 |   454476 |   408652 |    32656     26 |      100 |        0
1750.31/1750.72	c 1750s |      18 |   455142 |   409252 |    32656     26 |      100 |        0
1752.31/1752.79	c 1752s |      18 |   455753 |   409752 |    32656     26 |      100 |        0
1754.51/1754.97	c 1754s |      18 |   456436 |   410352 |    32656     26 |      100 |        0
1756.71/1757.14	c 1756s |      18 |   456890 |   410752 |    32656     26 |      100 |        0
1758.91/1759.30	c 1758s |      18 |   457323 |   411152 |    32656     26 |      100 |        0
1761.21/1761.65	c 1761s |      18 |   457829 |   411652 |    32656     26 |      100 |        0
1763.41/1763.89	c 1763s |      18 |   458426 |   412152 |    32656     26 |      100 |        0
1765.51/1765.98	c 1765s |      18 |   458948 |   412652 |    32656     26 |      100 |        0
1767.91/1768.35	c 1768s |      18 |   459584 |   413252 |    32656     26 |      100 |        0
1770.21/1770.66	c 1770s |      18 |   460235 |   413852 |    32656     26 |      100 |        0
1772.21/1772.67	c 1772s |      18 |   460801 |   414352 |    32656     26 |      100 |        0
1774.31/1774.73	c 1774s |      18 |   461334 |   414852 |    32656     26 |      100 |        0
1776.31/1776.74	c 1776s |      18 |   461875 |   415352 |    32656     26 |      100 |        0
1778.61/1779.09	c 1778s |      18 |   462636 |   415952 |    32656     26 |      100 |        0
1781.01/1781.40	c 1781s |      18 |   463289 |   416552 |    32656     26 |      100 |        0
1783.31/1783.72	c 1783s |      18 |   463931 |   417152 |    32656     26 |      100 |        0
1785.61/1786.01	c 1785s |      18 |   464581 |   417752 |    32656     26 |      100 |        0
1787.91/1788.30	c 1787s |      18 |   465231 |   418352 |    32656     26 |      100 |        0
1790.11/1790.57	c 1790s |      18 |   465785 |   418852 |    32656     26 |      100 |        0
1792.21/1792.67	c 1792s |      18 |   466343 |   419352 |    32656     26 |      100 |        0
1794.41/1794.83	c 1794s |      18 |   466899 |   419852 |    32656     26 |      100 |        0
1796.71/1797.15	c 1796s |      18 |   467570 |   420452 |    32656     26 |      100 |        0
1798.81/1799.21	c 1798s |      18 |   467902 |   420752 |    32656     27 |      100 |        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-4079297-1465333243/watcher-4079297-1465333243 -o /tmp/evaluation-result-4079297-1465333243/solver-4079297-1465333243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079297-1465333243.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.26 2.19 3/180 21493
/proc/meminfo: memFree=29689052/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 2739 0 0 0 0 0 0 0 20 0 4 0 115257141 751235072 2590 33554432000 4194304 16246674 140735525101168 140735525100592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 184175 2599 441 2943 0 181069 0
[pid=21493/tid=21494] ppid=21490 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 769060864 2659 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 773255168 2675 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115257142 778498048 2692 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.35 2.26 2.19 3/180 21493
/proc/meminfo: memFree=29689052/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 29272 0 0 0 5 4 0 0 20 0 4 0 115257141 1333334016 29061 33554432000 4194304 16246674 140735525101168 140735525100480 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 325521 29075 801 2943 0 322415 0
[pid=21493/tid=21494] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1333334016 29086 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1333334016 29098 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1333334016 29108 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200546 s]
/proc/loadavg: 2.35 2.26 2.19 3/180 21493
/proc/meminfo: memFree=29689052/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 46079 0 0 0 13 6 0 0 20 0 4 0 115257141 1333334016 45867 33554432000 4194304 16246674 140735525101168 140735525100480 6739560 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 325521 45867 839 2943 0 322415 0
[pid=21493/tid=21494] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1333334016 45867 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1333334016 45867 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1333334016 45867 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300525 s]
/proc/loadavg: 2.35 2.26 2.19 3/180 21493
/proc/meminfo: memFree=29689052/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1315396 CPUtime=0.29 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 54249 0 0 0 21 8 0 0 20 0 4 0 115257141 1346965504 54037 33554432000 4194304 16246674 140735525101168 140735525099832 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 328849 54043 839 2943 0 325743 0
[pid=21493/tid=21494] ppid=21490 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1346965504 54045 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1346965504 54048 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1346965504 54051 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700406 s]
/proc/loadavg: 2.35 2.26 2.19 3/180 21493
/proc/meminfo: memFree=29689052/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=0.69 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 63691 0 0 0 60 9 0 0 20 0 4 0 115257141 1349062656 63480 33554432000 4194304 16246674 140735525101168 140735525100480 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 63482 893 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 63484 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 63486 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 63488 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1317444

[startup+1.50041 s]
/proc/loadavg: 2.35 2.26 2.19 3/184 21497
/proc/meminfo: memFree=29318880/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=1.48 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 93062 0 0 0 135 13 0 0 20 0 4 0 115257141 1349062656 92850 33554432000 4194304 16246674 140735525101168 140735525100344 6842450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 92850 893 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1317444

[startup+3.10041 s]
/proc/loadavg: 2.35 2.26 2.19 3/184 21497
/proc/meminfo: memFree=29318284/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=3.08 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 93062 0 0 0 295 13 0 0 20 0 4 0 115257141 1349062656 92850 33554432000 4194304 16246674 140735525101168 140735525083072 12415657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 92850 893 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 92850 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1317444

[startup+6.30041 s]
/proc/loadavg: 2.32 2.25 2.19 3/184 21497
/proc/meminfo: memFree=29295768/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=6.28 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 98637 0 0 0 614 14 0 0 20 0 4 0 115257141 1349062656 98425 33554432000 4194304 16246674 140735525101168 140735525083072 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 98425 893 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 21497
/proc/meminfo: memFree=29295552/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=12.68 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 98637 0 0 0 1254 14 0 0 20 0 4 0 115257141 1349062656 98425 33554432000 4194304 16246674 140735525101168 140735525083072 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 98425 893 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 98425 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 21520
/proc/meminfo: memFree=29233672/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 114508 0 0 0 2532 17 0 0 20 0 4 0 115257141 1349062656 114296 33554432000 4194304 16246674 140735525101168 140735525083072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 114296 894 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 114296 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 114296 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 114296 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1006 s]
/proc/loadavg: 2.19 2.23 2.18 3/184 21520
/proc/meminfo: memFree=28926440/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 181431 0 0 0 5081 27 0 0 20 0 4 0 115257141 1349062656 181219 33554432000 4194304 16246674 140735525101168 140735525083072 12479203 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 181219 894 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 181219 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 181219 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 181219 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 21521
/proc/meminfo: memFree=28845976/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 181435 0 0 0 10200 28 0 0 20 0 4 0 115257141 1349062656 181223 33554432000 4194304 16246674 140735525101168 140735525083072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 329361 181223 898 2943 0 326255 0
[pid=21493/tid=21494] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1349062656 181223 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 181223 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1349062656 181223 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/183 21600
/proc/meminfo: memFree=28750112/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1302.02 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280182 0 0 0 130153 49 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 21601
/proc/meminfo: memFree=28750556/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1361.99 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280212 0 0 0 136149 50 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 12415777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.37 2.30 2.22 3/183 21602
/proc/meminfo: memFree=28751200/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1421.97 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 142147 50 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.22 3/183 21604
/proc/meminfo: memFree=28678976/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1481.96 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 148145 51 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1355332

[startup+1542.31 s]
/proc/loadavg: 2.41 2.33 2.23 3/183 21605
/proc/meminfo: memFree=28581924/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1541.96 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 154144 52 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 2.26 2.29 2.22 3/183 21606
/proc/meminfo: memFree=28485232/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1601.94 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 160142 52 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5677563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1355332

[startup+1662.3 s]
/proc/loadavg: 2.27 2.28 2.22 3/183 21607
/proc/meminfo: memFree=28388040/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1661.93 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 166141 52 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5711453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1355332

[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.22 3/183 21608
/proc/meminfo: memFree=28236780/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1721.92 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 172139 53 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1355332

[startup+1782.3 s]
/proc/loadavg: 2.28 2.27 2.22 3/184 21613
/proc/meminfo: memFree=28159440/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1355332 CPUtime=1781.91 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 280232 0 0 0 178138 53 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140735525083072 5722531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 338833 279819 898 2943 0 335727 0
[pid=21493/tid=21494] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1387859968 279819 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1355332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.25 2.21 4/184 21613
/proc/meminfo: memFree=28155696/32872528 swapFree=16204/1518544
[pid=21493] ppid=21490 vsize=1360452 CPUtime=1800.01 cores=0,2,4,6
/proc/21493/stat : 21493 (toysat) R 21490 21493 19387 0 -1 4202496 281294 0 0 0 179947 54 0 0 20 0 4 0 115257141 1393102848 280881 33554432000 4194304 16246674 140735525101168 140735525083072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21493/statm: 340113 280881 898 2943 0 337007 0
[pid=21493/tid=21494] ppid=21490 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21494/stat : 21494 (toysat) S 21490 21493 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115257141 1393102848 280881 33554432000 4194304 16246674 140735525101168 140233675877616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21493/tid=21495] ppid=21490 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21495/stat : 21495 (toysat) S 21490 21493 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115257142 1393102848 280881 33554432000 4194304 16246674 140735525101168 140233665387760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21493/tid=21496] ppid=21490 vsize=1360452 CPUtime=0 cores=0,2,4,6
/proc/21493/task/21496/stat : 21496 (toysat) S 21490 21493 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115257142 1393102848 280881 33554432000 4194304 16246674 140735525101168 140233654914224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1360452

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.541917
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1360452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.541917
maximum resident set size= 1123524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281294
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= 216
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3054 second user time and 17.2944 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 23:00:43
IDJOB=4079297
IDBENCH=92735
IDSOLVER=2542
FILE ID=node129/4079297-1465333243
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079297-1465333243/watcher-4079297-1465333243 -o /tmp/evaluation-result-4079297-1465333243/solver-4079297-1465333243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079297-1465333243.opb

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

MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22
RANDOM SEED=76507967

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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:        29689340 kB
Buffers:           39796 kB
Cached:           198356 kB
SwapCached:         1836 kB
Active:           788688 kB
Inactive:         134256 kB
Active(anon):     683140 kB
Inactive(anon):     4524 kB
Active(file):     105548 kB
Inactive(file):   129732 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       2163948 kB
Mapped:            11832 kB
Shmem:                 0 kB
Slab:             604384 kB
SReclaimable:      48568 kB
SUnreclaim:       555816 kB
KernelStack:        1528 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2776712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1468416 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= 71704 MiB
End job on node129 at 2016-06-07 23:30:43