Trace number 4079336

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_9_ic.opb
MD5SUM5b69bba9fba38b21e500a479429a9384
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 146363183
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 9700646039
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 146363183
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 9700646039
Number of bits of the biggest sum of numbers34
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-08T00:38:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079336-1465339085.opb"]
0.00/0.01	c use --random-gen="908168312 2301144411 3283524786 67637379 3814513599 1981389723 3779168628 3708841394 1352080833 278183689 4158758402 2296141779 2133048071 3513610608 3657239558 1778200629 452398196 1697001945 23739798 2995611125 2827330870 2421035547 2901879683 926754751 1967091140 2595925574 4053062905 3718259730 1292748211 1975793346 1699157023 3229837723 1764838707 951168268 170651719 3550542589 359299432 747213926 3664701768 2152966565 2991814783 3217694186 2715767658 850082852 999936648 3134275219 2017100371 2255173334 1718604764 3572500420 2093995646 368137224 1888879527 269567982 2270157726 392556488 1660737247 4271926839 2835794791 2710207852 90694598 3311729246 3002211972 496530286 4217995532 1382780392 2865539393 3214090035 1060863386 2681572095 2550142650 2086400540 3988891718 3368314903 721372879 945474977 3143539303 3581110857 3981895399 669385974 570347745 2270640241 1816385375 794037930 2849543769 2181455900 1737509434 1374029822 4209114522 313482345 793901256 1072471165 4210452517 1091674322 588409179 4083643032 2302483035 3557746192 1814922318 71046275 4274069012 1396699218 2550809188 2763399398 2152460230 2485413086 294420429 227917329 1863577715 3424691441 4235669605 2921526244 3936798188 775445510 3556000020 290646508 1298019117 3578474268 982492603 4270821969 2132646441 1189194956 2532635530 4164790275 3304523220 2703870167 92521500 4212902617 3777371695 1634314083 499659415 41805971 826725906 4181214654 3586918194 3051325900 492426189 4166665109 3181280052 1458374761 2898122152 1421802273 4046090053 3360223931 2557215794 3213073106 1313480479 3947398437 523099731 3906696113 1015230604 191522743 596872735 2033892808 3648743821 1374003795 862228377 1404134836 3516803461 412621294 558798955 1627102697 3216629630 659851554 1196641683 3619347186 1562018338 561894085 3599372144 440666464 1175087296 363200140 1789342784 3591874942 793801269 913386788 1876581909 988328367 2902744819 722209427 1835302976 1493332230 960972856 3638278735 1525339816 1607940435 632829132 2486777080 190365027 746293492 654616531 293022099 4150093065 472849752 2751976968 600130140 1543967859 1986983310 3094022142 1609274 3480373542 508700988 3717490354 3627515578 3093834950 4203021460 671580488 1817781787 3712513529 2998793918 3693760826 3942806610 2593408800 2455186387 153302962 3064867543 2438574428 3855447305 1331402624 3173276952 3900349808 1669235560 67541943 302292213 633967209 1975734523 860589104 3208432732 2700060947 2668696953 3292942621 3616767853 3204348128 1337689685 1335555291 3780680102 4244001308 3049944189 960078965 847286529 1559206097 3974944470 930386023 3664448302 285494903 1531303531 4039858953 493830833 2606496449 3674423537 1645081147 2634300241 643672592 1654826917 3137398575 1730608827 255 362436" option to reproduce the execution
0.19/0.29	c #vars 15725
0.19/0.29	c #constraints 31332
0.78/0.82	c BCD2: Hardening is enabled.
0.78/0.82	c BCD2: BiasedSearch is enabled.
0.78/0.82	c Solving starts ...
0.78/0.82	c ============================[ Search Statistics ]============================
0.78/0.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.78/0.82	c       |         |          |          |    Limit     GC | Var      | Constra 
0.78/0.82	c =============================================================================
0.78/0.82	c  0.0s |       0 |        0 |        0 |    16286      0 |       75 |        0
1.79/1.87	c  1.0s |       1 |      129 |      100 |    16286      0 |       75 |        0
3.09/3.16	c  2.3s |       2 |      435 |      250 |    17915      0 |       75 |        0
4.50/4.60	c  3.8s |       3 |      796 |      475 |    19707      0 |       75 |        0
6.89/6.96	c  6.1s |       4 |     1309 |      813 |    21678      0 |       75 |        0
8.39/8.49	c  7.7s |       5 |     1903 |     1320 |    23846      0 |       75 |        0
10.59/10.66	c  9.8s |       5 |     3243 |     1720 |    26231      0 |       75 |        0
12.10/12.14	c 11.3s |       6 |     3856 |     2081 |    28855      0 |       75 |        0
14.49/14.51	c 13.7s |       6 |     4802 |     2581 |    28855      0 |       75 |        0
16.50/16.52	c 15.7s |       6 |     5405 |     3081 |    28855      0 |       75 |        0
16.99/17.00	c 16.2s |       7 |     5557 |     3223 |    31741      0 |       75 |        0
19.19/19.24	c 18.4s |       7 |     6233 |     3623 |    31741      0 |       75 |        0
21.19/21.25	c 20.4s |       7 |     6750 |     4023 |    31741      0 |       75 |        0
23.49/23.59	c 22.8s |       7 |     7448 |     4523 |    31741      0 |       75 |        0
25.59/25.63	c 24.8s |       8 |     8136 |     4936 |    34916      0 |       75 |        0
27.79/27.82	c 27.0s |       8 |     8927 |     5436 |    34916      0 |       75 |        0
29.99/30.01	c 29.2s |       8 |     9647 |     5936 |    34916      0 |       75 |        0
32.09/32.12	c 31.3s |       8 |    10354 |     6436 |    34916      0 |       75 |        0
34.09/34.15	c 33.3s |       8 |    11116 |     6936 |    34916      0 |       75 |        0
36.49/36.53	c 35.7s |       8 |    11631 |     7336 |    34916      0 |       75 |        0
37.49/37.57	c 36.7s |       9 |    11807 |     7506 |    38408      0 |       75 |        0
39.88/39.91	c 39.1s |       9 |    12584 |     8006 |    38408      0 |       75 |        0
42.28/42.30	c 41.5s |       9 |    13210 |     8506 |    38408      0 |       75 |        0
44.28/44.33	c 43.5s |       9 |    13874 |     9006 |    38408      0 |       75 |        0
46.38/46.47	c 45.6s |       9 |    14617 |     9406 |    38408      0 |       75 |        0
48.68/48.70	c 47.9s |       9 |    15386 |     9906 |    38408      0 |       75 |        0
51.18/51.25	c 50.4s |       9 |    15999 |    10406 |    38408      0 |       75 |        0
53.48/53.58	c 52.8s |       9 |    16621 |    10906 |    38408      0 |       75 |        0
55.28/55.39	c 54.6s |      10 |    17200 |    11361 |    42249      0 |       75 |        0
57.38/57.46	c 56.6s |      10 |    17892 |    11861 |    42249      0 |       75 |        0
59.58/59.66	c 58.8s |      10 |    18554 |    12461 |    42249      0 |       75 |        0
61.88/61.98	c 61.2s |      10 |    19185 |    12961 |    42249      0 |       75 |        0
63.98/64.03	c 63.2s |      10 |    19875 |    13461 |    42249      0 |       75 |        0
66.38/66.45	c 65.6s |      10 |    20584 |    14061 |    42249      0 |       75 |        0
68.98/69.02	c 68.2s |      10 |    21439 |    14561 |    42249      0 |       75 |        0
71.28/71.32	c 70.5s |      10 |    22228 |    15061 |    42249      0 |       75 |        0
73.38/73.46	c 72.6s |      10 |    22868 |    15461 |    42249      0 |       75 |        0
75.58/75.64	c 74.8s |      10 |    23724 |    15961 |    42249      0 |       75 |        0
77.78/77.85	c 77.0s |      10 |    24360 |    16561 |    42249      0 |       75 |        0
80.08/80.13	c 79.3s |      11 |    24989 |    17144 |    46474      0 |       75 |        0
82.18/82.23	c 81.4s |      11 |    25620 |    17444 |    46474      0 |       75 |        0
84.28/84.32	c 83.5s |      11 |    26206 |    17844 |    46474      0 |       75 |        0
86.38/86.44	c 85.6s |      11 |    26534 |    18144 |    46474      0 |       75 |        0
88.58/88.66	c 87.8s |      11 |    27202 |    18744 |    46474      0 |       75 |        0
90.88/90.99	c 90.2s |      11 |    27987 |    19244 |    46474      0 |       75 |        0
93.18/93.26	c 92.4s |      11 |    28539 |    19744 |    46474      0 |       75 |        0
95.28/95.31	c 94.5s |      11 |    29133 |    20244 |    46474      0 |       75 |        0
97.38/97.49	c 96.7s |      11 |    29671 |    20644 |    46474      0 |       75 |        0
99.67/99.73	c 98.9s |      11 |    30135 |    21044 |    46474      0 |       75 |        0
101.87/101.90	c  101s |      11 |    30587 |    21444 |    46474      0 |       75 |        0
104.27/104.33	c  103s |      11 |    31164 |    21944 |    46474      0 |       75 |        0
106.78/106.88	c  106s |      11 |    31700 |    22444 |    46474      0 |       75 |        0
108.88/108.98	c  108s |      11 |    32139 |    22844 |    46474      0 |       75 |        0
111.37/111.49	c  110s |      11 |    32685 |    23344 |    46474      0 |       75 |        0
113.87/113.98	c  113s |      11 |    33216 |    23844 |    46474      0 |       75 |        0
115.97/116.03	c  115s |      11 |    33761 |    24244 |    46474      0 |       75 |        0
118.47/118.51	c  117s |      11 |    34338 |    24744 |    46474      0 |       75 |        0
120.67/120.77	c  119s |      11 |    34861 |    25244 |    46474      0 |       75 |        0
122.97/123.09	c  122s |      11 |    35431 |    25744 |    51122      0 |       75 |        0
123.47/123.52	c  122s |      12 |    35526 |    25819 |    51122      0 |       75 |        0
125.67/125.77	c  124s |      12 |    36082 |    26219 |    51122      0 |       75 |        0
128.07/128.18	c  127s |      12 |    36919 |    26719 |    51122      0 |       75 |        0
130.17/130.20	c  129s |      12 |    37540 |    27119 |    51122      0 |       75 |        0
132.37/132.46	c  131s |      12 |    38409 |    27619 |    51122      0 |       75 |        0
135.07/135.11	c  134s |      12 |    39171 |    28119 |    51122      0 |       75 |        0
137.17/137.22	c  136s |      12 |    39868 |    28419 |    51122      0 |       75 |        0
139.57/139.69	c  138s |      12 |    40699 |    28819 |    51122      0 |       75 |        0
141.98/142.05	c  141s |      12 |    41148 |    29219 |    51122      0 |       75 |        0
144.27/144.36	c  143s |      12 |    41619 |    29619 |    51122      0 |       75 |        0
146.67/146.74	c  145s |      12 |    42149 |    30019 |    51122      0 |       75 |        0
149.07/149.14	c  148s |      12 |    42959 |    30519 |    51122      0 |       75 |        0
151.17/151.24	c  150s |      12 |    43561 |    30919 |    51122      0 |       75 |        0
153.57/153.69	c  152s |      12 |    44469 |    31419 |    51122      0 |       75 |        0
155.87/155.99	c  155s |      12 |    45052 |    31819 |    51122      0 |       75 |        0
158.17/158.24	c  157s |      12 |    45868 |    32219 |    51122      0 |       75 |        0
160.47/160.56	c  159s |      12 |    46393 |    32719 |    51122      0 |       75 |        0
162.77/162.80	c  161s |      12 |    46804 |    33119 |    51122      0 |       75 |        0
165.16/165.22	c  164s |      12 |    47212 |    33519 |    51122      0 |       75 |        0
167.27/167.38	c  166s |      12 |    47688 |    33919 |    51122      0 |       75 |        0
169.56/169.61	c  168s |      12 |    48158 |    34219 |    51122      0 |       75 |        0
171.67/171.75	c  170s |      12 |    48491 |    34519 |    51122      0 |       75 |        0
174.26/174.39	c  173s |      12 |    49220 |    34919 |    51122      0 |       75 |        0
176.36/176.40	c  175s |      12 |    49670 |    35219 |    51122      0 |       75 |        0
178.36/178.49	c  177s |      12 |    50087 |    35519 |    51122      0 |       75 |        0
180.56/180.69	c  179s |      12 |    50442 |    35819 |    51122      0 |       75 |        0
182.96/183.01	c  182s |      12 |    50778 |    36119 |    51122      0 |       75 |        0
185.16/185.21	c  184s |      12 |    51113 |    36419 |    51122      0 |       75 |        0
187.56/187.67	c  186s |      12 |    51561 |    36719 |    51122      0 |       75 |        0
190.16/190.23	c  189s |      12 |    52079 |    37119 |    51122      0 |       75 |        0
192.16/192.23	c  191s |      12 |    52540 |    37419 |    51122      0 |       75 |        0
194.66/194.78	c  193s |      12 |    53041 |    37819 |    51122      0 |       75 |        0
196.96/197.03	c  196s |      12 |    53456 |    38119 |    51122      0 |       75 |        0
199.16/199.26	c  198s |      12 |    53797 |    38419 |    51122      0 |       75 |        0
201.55/201.66	c  200s |      12 |    54302 |    38819 |    56235      0 |       75 |        0
201.65/201.73	c  200s |      13 |    54319 |    38832 |    56235      0 |       75 |        0
203.95/204.02	c  203s |      13 |    54795 |    39132 |    56235      0 |       75 |        0
205.95/206.09	c  205s |      13 |    55201 |    39532 |    56235      0 |       75 |        0
208.45/208.51	c  207s |      13 |    55729 |    40032 |    56235      0 |       75 |        0
211.05/211.11	c  210s |      13 |    56258 |    40432 |    56235      0 |       75 |        0
213.36/213.48	c  212s |      13 |    56679 |    40832 |    56235      0 |       75 |        0
215.85/215.96	c  215s |      13 |    57173 |    41232 |    56235      0 |       75 |        0
218.34/218.45	c  217s |      13 |    57615 |    41632 |    56235      0 |       75 |        0
220.54/220.63	c  219s |      13 |    58204 |    41932 |    56235      0 |       75 |        0
222.54/222.68	c  221s |      13 |    58552 |    42232 |    56235      0 |       75 |        0
224.74/224.80	c  223s |      13 |    58908 |    42532 |    56235      0 |       75 |        0
227.04/227.14	c  226s |      13 |    59330 |    42832 |    56235      0 |       75 |        0
229.54/229.69	c  228s |      13 |    59772 |    43232 |    56235      0 |       75 |        0
232.05/232.19	c  231s |      13 |    60489 |    43632 |    56235      0 |       75 |        0
234.14/234.22	c  233s |      13 |    60810 |    43932 |    56235      0 |       75 |        0
236.55/236.67	c  235s |      13 |    61381 |    44432 |    56235      0 |       75 |        0
238.84/238.97	c  238s |      13 |    61936 |    44832 |    56235      0 |       75 |        0
241.14/241.28	c  240s |      13 |    62350 |    45132 |    56235      0 |       75 |        0
243.34/243.42	c  242s |      13 |    62829 |    45432 |    56235      0 |       75 |        0
245.73/245.85	c  245s |      13 |    63294 |    45732 |    56235      0 |       75 |        0
248.13/248.26	c  247s |      13 |    63700 |    46132 |    56235      0 |       75 |        0
250.53/250.63	c  249s |      13 |    64128 |    46532 |    56235      0 |       75 |        0
252.83/252.92	c  252s |      13 |    64626 |    46932 |    56235      0 |       75 |        0
255.53/255.63	c  254s |      13 |    65282 |    47332 |    56235      0 |       75 |        0
257.83/257.97	c  257s |      13 |    65741 |    47732 |    56235      0 |       75 |        0
260.43/260.50	c  259s |      13 |    66299 |    48132 |    56235      0 |       75 |        0
262.63/262.79	c  261s |      13 |    67178 |    48432 |    56235      0 |       75 |        0
265.23/265.30	c  264s |      13 |    67594 |    48832 |    56235      0 |       75 |        0
267.33/267.47	c  266s |      13 |    68012 |    49232 |    56235      0 |       75 |        0
269.73/269.82	c  268s |      13 |    68544 |    49732 |    56235      0 |       75 |        0
272.03/272.15	c  271s |      13 |    68959 |    50132 |    56235      0 |       75 |        0
274.42/274.52	c  273s |      13 |    69386 |    50532 |    56235      0 |       75 |        0
276.72/276.88	c  276s |      13 |    69819 |    50932 |    56235      0 |       75 |        0
279.22/279.32	c  278s |      13 |    70238 |    51332 |    56235      0 |       75 |        0
281.42/281.60	c  280s |      13 |    70668 |    51732 |    56235      0 |       75 |        0
283.52/283.67	c  282s |      13 |    71092 |    52132 |    56235      0 |       75 |        0
285.81/285.94	c  285s |      13 |    71509 |    52532 |    56235      0 |       75 |        0
288.31/288.49	c  287s |      13 |    72379 |    52932 |    56235      0 |       75 |        0
290.71/290.85	c  290s |      13 |    72832 |    53332 |    56235      0 |       75 |        0
292.71/292.86	c  292s |      13 |    73189 |    53632 |    56235      0 |       75 |        0
295.21/295.33	c  294s |      13 |    73608 |    54032 |    56235      0 |       75 |        0
297.81/297.97	c  297s |      13 |    74179 |    54432 |    56235      0 |       75 |        0
300.01/300.10	c  299s |      13 |    74785 |    54732 |    56235      0 |       75 |        0
302.42/302.57	c  301s |      13 |    75155 |    55032 |    56235      0 |       75 |        0
304.51/304.63	c  303s |      13 |    75379 |    55232 |    56235      0 |       75 |        0
306.71/306.81	c  305s |      13 |    75722 |    55532 |    56235      0 |       75 |        0
309.01/309.11	c  308s |      13 |    76070 |    55832 |    56235      0 |       75 |        0
311.21/311.34	c  310s |      13 |    76417 |    56132 |    56235      0 |       75 |        0
313.31/313.45	c  312s |      13 |    76740 |    56432 |    56235      0 |       75 |        0
315.61/315.77	c  314s |      13 |    77324 |    56832 |    56235      0 |       75 |        0
317.81/317.97	c  317s |      13 |    77753 |    57232 |    56235      0 |       75 |        0
320.40/320.57	c  319s |      13 |    78239 |    57632 |    56235      0 |       75 |        0
323.10/323.22	c  322s |      13 |    78692 |    58032 |    61859      0 |       75 |        0
325.20/325.37	c  324s |      14 |    79115 |    58352 |    61859      0 |       75 |        0
327.50/327.60	c  326s |      14 |    79611 |    58552 |    61859      0 |       75 |        0
329.90/330.01	c  329s |      14 |    79977 |    58852 |    61859      0 |       75 |        0
332.70/332.89	c  332s |      14 |    80536 |    59252 |    61859      0 |       75 |        0
334.89/335.07	c  334s |      14 |    80858 |    59552 |    61859      0 |       75 |        0
337.29/337.42	c  336s |      14 |    81286 |    59952 |    61859      0 |       75 |        0
339.49/339.61	c  338s |      14 |    81590 |    60252 |    61859      0 |       75 |        0
341.89/342.08	c  341s |      14 |    81919 |    60552 |    61859      0 |       75 |        0
344.19/344.31	c  343s |      14 |    82401 |    60852 |    61859      0 |       75 |        0
346.39/346.59	c  345s |      14 |    82812 |    61252 |    61859      0 |       75 |        0
348.79/348.92	c  348s |      14 |    83148 |    61552 |    61859      0 |       75 |        0
351.49/351.66	c  350s |      14 |    83598 |    61952 |    61859      0 |       75 |        0
354.09/354.29	c  353s |      14 |    83962 |    62252 |    61859      0 |       75 |        0
356.58/356.74	c  355s |      14 |    84300 |    62552 |    61859      0 |       75 |        0
359.38/359.54	c  358s |      14 |    84693 |    62852 |    61859      0 |       75 |        0
361.98/362.19	c  361s |      14 |    85040 |    63152 |    61859      0 |       75 |        0
364.68/364.86	c  364s |      14 |    85453 |    63552 |    61859      0 |       75 |        0
366.98/367.15	c  366s |      14 |    86007 |    63852 |    61859      0 |       75 |        0
369.08/369.26	c  368s |      14 |    86325 |    64152 |    61859      0 |       75 |        0
371.58/371.78	c  370s |      14 |    87062 |    64452 |    61859      0 |       75 |        0
373.67/373.87	c  373s |      14 |    87403 |    64752 |    61859      0 |       75 |        0
376.08/376.29	c  375s |      14 |    87884 |    65152 |    61859      0 |       75 |        0
378.57/378.71	c  377s |      14 |    88194 |    65452 |    61859      0 |       75 |        0
380.87/381.00	c  380s |      14 |    88503 |    65752 |    61859      0 |       75 |        0
383.57/383.70	c  382s |      14 |    88934 |    66152 |    61859      0 |       75 |        0
385.67/385.87	c  385s |      14 |    89398 |    66452 |    61859      0 |       75 |        0
387.97/388.15	c  387s |      14 |    90131 |    66752 |    61859      0 |       75 |        0
390.27/390.42	c  389s |      14 |    90787 |    67052 |    61859      0 |       75 |        0
392.37/392.50	c  391s |      14 |    91106 |    67352 |    61859      0 |       75 |        0
394.47/394.62	c  393s |      14 |    91421 |    67652 |    61859      0 |       75 |        0
396.86/397.06	c  396s |      14 |    91829 |    68052 |    61859      0 |       75 |        0
398.96/399.11	c  398s |      14 |    91945 |    68152 |    61859      1 |       75 |        0
401.07/401.21	c  400s |      14 |    92375 |    68552 |    61859      1 |       75 |        0
404.07/404.26	c  403s |      14 |    92891 |    68952 |    61859      1 |       75 |        0
406.47/406.61	c  405s |      14 |    93287 |    69252 |    61859      1 |       75 |        0
408.97/409.12	c  408s |      14 |    93849 |    69652 |    61859      1 |       75 |        0
411.27/411.44	c  410s |      14 |    94256 |    69952 |    61859      1 |       75 |        0
413.76/413.93	c  413s |      14 |    94582 |    70252 |    61859      1 |       75 |        0
415.86/416.00	c  415s |      14 |    95022 |    70652 |    61859      1 |       75 |        0
417.97/418.12	c  417s |      14 |    95388 |    70952 |    61859      1 |       75 |        0
420.46/420.64	c  419s |      14 |    95850 |    71352 |    61859      1 |       75 |        0
422.66/422.84	c  422s |      14 |    96270 |    71652 |    61859      1 |       75 |        0
424.76/424.90	c  424s |      14 |    96943 |    71952 |    61859      1 |       75 |        0
427.26/427.41	c  426s |      14 |    97503 |    72352 |    61859      1 |       75 |        0
429.46/429.61	c  428s |      14 |    97945 |    72752 |    61859      1 |       75 |        0
431.56/431.71	c  430s |      14 |    98384 |    73152 |    61859      1 |       75 |        0
433.66/433.83	c  433s |      14 |    98800 |    73552 |    61859      1 |       75 |        0
436.15/436.31	c  435s |      14 |    99214 |    73952 |    61859      1 |       75 |        0
438.65/438.81	c  437s |      14 |    99672 |    74352 |    61859      1 |       75 |        0
440.85/441.03	c  440s |      14 |   100020 |    74652 |    61859      1 |       75 |        0
443.16/443.37	c  442s |      14 |   100438 |    75052 |    61859      1 |       75 |        0
445.25/445.44	c  444s |      14 |   100972 |    75352 |    61859      1 |       75 |        0
447.45/447.69	c  446s |      14 |   101382 |    75752 |    61859      1 |       75 |        0
449.86/450.06	c  449s |      14 |   101820 |    76152 |    61859      1 |       75 |        0
452.35/452.53	c  451s |      14 |   102390 |    76452 |    61859      1 |       75 |        0
454.55/454.74	c  453s |      14 |   102915 |    76752 |    61859      1 |       75 |        0
456.75/456.97	c  456s |      14 |   103324 |    77152 |    61859      1 |       75 |        0
459.14/459.30	c  458s |      14 |   103856 |    77652 |    61859      1 |       75 |        0
461.14/461.33	c  460s |      14 |   104270 |    78052 |    61859      1 |       75 |        0
463.74/463.90	c  463s |      14 |   104638 |    78352 |    61859      1 |       75 |        0
465.74/465.93	c  465s |      14 |   104953 |    78652 |    61859      1 |       75 |        0
467.94/468.13	c  467s |      14 |   105388 |    79052 |    61859      1 |       75 |        0
470.14/470.37	c  469s |      14 |   105811 |    79452 |    61859      1 |       75 |        0
472.34/472.55	c  471s |      14 |   106213 |    79752 |    61859      1 |       75 |        0
474.63/474.86	c  474s |      14 |   106868 |    80052 |    61859      1 |       75 |        0
476.83/477.03	c  476s |      14 |   107200 |    80352 |    61859      1 |       75 |        0
478.93/479.17	c  478s |      14 |   107628 |    80752 |    61859      1 |       75 |        0
481.53/481.74	c  480s |      14 |   108278 |    81152 |    61859      1 |       75 |        0
483.63/483.84	c  483s |      14 |   108707 |    81452 |    61859      1 |       75 |        0
486.14/486.39	c  485s |      14 |   109155 |    81852 |    61859      1 |       75 |        0
488.63/488.83	c  488s |      14 |   109614 |    82152 |    61859      1 |       75 |        0
490.93/491.12	c  490s |      14 |   109992 |    82452 |    61859      1 |       75 |        0
493.43/493.61	c  492s |      14 |   110417 |    82852 |    61859      1 |       75 |        0
496.12/496.35	c  495s |      14 |   110996 |    83252 |    61859      1 |       75 |        0
498.52/498.73	c  497s |      14 |   111610 |    83652 |    61859      1 |       75 |        0
500.72/500.97	c  500s |      14 |   112027 |    83952 |    61859      1 |       75 |        0
502.82/503.07	c  502s |      14 |   112564 |    84252 |    61859      1 |       75 |        0
505.52/505.74	c  504s |      14 |   112987 |    84552 |    61859      1 |       75 |        0
507.92/508.12	c  507s |      14 |   113399 |    84852 |    61859      1 |       75 |        0
510.12/510.30	c  509s |      14 |   113834 |    85152 |    61859      1 |       75 |        0
512.22/512.40	c  511s |      14 |   114268 |    85552 |    61859      1 |       75 |        0
514.62/514.85	c  514s |      14 |   114680 |    85852 |    61859      1 |       75 |        0
517.01/517.25	c  516s |      14 |   115072 |    86152 |    61859      1 |       75 |        0
519.41/519.68	c  518s |      14 |   115471 |    86452 |    61859      1 |       75 |        0
522.21/522.40	c  521s |      14 |   115818 |    86752 |    61859      1 |       75 |        0
524.62/524.81	c  523s |      14 |   116305 |    87152 |    68045      1 |       75 |        0
526.91/527.16	c  526s |      14 |   116907 |    87552 |    68045      1 |       75 |        0
527.41/527.69	c  526s |      15 |   117026 |    87632 |    68045      1 |       75 |        0
529.81/530.06	c  529s |      15 |   117307 |    87732 |    68045      1 |       75 |        0
532.01/532.24	c  531s |      15 |   117761 |    88032 |    68045      1 |       75 |        0
534.20/534.47	c  533s |      15 |   118760 |    88432 |    68045      1 |       75 |        0
536.80/537.01	c  536s |      15 |   119394 |    88832 |    68045      1 |       75 |        0
539.30/539.55	c  538s |      15 |   119841 |    89232 |    68045      1 |       75 |        0
542.00/542.27	c  541s |      15 |   120417 |    89632 |    68045      1 |       75 |        0
544.50/544.77	c  543s |      15 |   121255 |    90132 |    68045      1 |       75 |        0
547.00/547.21	c  546s |      15 |   121965 |    90632 |    68045      1 |       75 |        0
549.30/549.59	c  548s |      15 |   122526 |    91032 |    68045      1 |       75 |        0
551.40/551.60	c  550s |      15 |   123040 |    91332 |    68045      1 |       75 |        0
553.89/554.13	c  553s |      15 |   123563 |    91732 |    68045      1 |       75 |        0
556.40/556.66	c  555s |      15 |   124015 |    92132 |    68045      1 |       75 |        0
558.60/558.87	c  558s |      15 |   124432 |    92532 |    68045      1 |       75 |        0
561.09/561.33	c  560s |      15 |   125226 |    93032 |    68045      1 |       75 |        0
563.39/563.60	c  562s |      15 |   125872 |    93432 |    68045      1 |       75 |        0
565.49/565.78	c  564s |      15 |   126280 |    93832 |    68045      1 |       75 |        0
567.59/567.88	c  567s |      15 |   126709 |    94232 |    68045      1 |       75 |        0
569.99/570.20	c  569s |      15 |   127441 |    94632 |    68045      1 |       75 |        0
572.19/572.45	c  571s |      15 |   128034 |    95032 |    68045      1 |       75 |        0
574.49/574.77	c  573s |      15 |   128597 |    95532 |    68045      1 |       75 |        0
576.99/577.24	c  576s |      15 |   129095 |    95932 |    68045      1 |       75 |        0
579.38/579.70	c  578s |      15 |   129527 |    96332 |    68045      1 |       75 |        0
581.98/582.29	c  581s |      15 |   129947 |    96732 |    68045      1 |       75 |        0
584.18/584.45	c  583s |      15 |   130357 |    97132 |    68045      1 |       75 |        0
586.38/586.62	c  585s |      15 |   130816 |    97532 |    68045      1 |       75 |        0
588.39/588.64	c  587s |      15 |   131223 |    97832 |    68045      1 |       75 |        0
590.68/590.91	c  590s |      15 |   131671 |    98132 |    68045      1 |       75 |        0
592.79/593.06	c  592s |      15 |   132059 |    98432 |    68045      1 |       75 |        0
594.98/595.22	c  594s |      15 |   132631 |    98832 |    68045      1 |       75 |        0
597.58/597.82	c  596s |      15 |   133146 |    99232 |    68045      1 |       75 |        0
599.98/600.22	c  599s |      15 |   133660 |    99732 |    68045      1 |       75 |        0
601.98/602.26	c  601s |      15 |   134119 |   100132 |    68045      1 |       75 |        0
604.47/604.76	c  603s |      15 |   134600 |   100532 |    68045      1 |       75 |        0
606.77/607.01	c  606s |      15 |   135384 |   100832 |    68045      1 |       75 |        0
608.77/609.03	c  608s |      15 |   135774 |   101132 |    68045      1 |       75 |        0
611.48/611.79	c  610s |      15 |   136314 |   101632 |    68045      1 |       75 |        0
613.97/614.20	c  613s |      15 |   136798 |   102032 |    68045      1 |       75 |        0
616.17/616.49	c  615s |      15 |   137355 |   102432 |    68045      1 |       75 |        0
618.47/618.77	c  617s |      15 |   137916 |   102832 |    68045      1 |       75 |        0
620.97/621.27	c  620s |      15 |   138479 |   103232 |    68045      1 |       75 |        0
623.17/623.43	c  622s |      15 |   139033 |   103632 |    68045      1 |       75 |        0
625.26/625.51	c  624s |      15 |   139491 |   104032 |    68045      1 |       75 |        0
627.56/627.81	c  626s |      15 |   139928 |   104432 |    68045      1 |       75 |        0
629.66/629.92	c  629s |      15 |   140427 |   104832 |    68045      1 |       75 |        0
632.16/632.48	c  631s |      15 |   141195 |   105232 |    68045      1 |       75 |        0
634.26/634.57	c  633s |      15 |   141630 |   105632 |    68045      1 |       75 |        0
636.36/636.65	c  635s |      15 |   142061 |   106032 |    68045      1 |       75 |        0
638.36/638.66	c  637s |      15 |   142495 |   106432 |    68045      1 |       75 |        0
640.56/640.86	c  640s |      15 |   142911 |   106832 |    68045      1 |       75 |        0
642.76/643.07	c  642s |      15 |   143327 |   107232 |    68045      1 |       75 |        0
645.46/645.71	c  644s |      15 |   143752 |   107632 |    68045      1 |       75 |        0
647.76/648.05	c  647s |      15 |   144168 |   108032 |    68045      1 |       75 |        0
649.96/650.21	c  649s |      15 |   144579 |   108432 |    68045      1 |       75 |        0
652.25/652.50	c  651s |      15 |   144999 |   108832 |    68045      1 |       75 |        0
654.45/654.73	c  653s |      15 |   145417 |   109232 |    68045      1 |       75 |        0
657.56/657.86	c  657s |      15 |   145715 |   109432 |    68045      2 |       75 |        0
659.86/660.10	c  659s |      15 |   146155 |   109732 |    68045      2 |       75 |        0
661.96/662.22	c  661s |      15 |   146798 |   110132 |    68045      2 |       75 |        0
664.16/664.48	c  663s |      15 |   147269 |   110432 |    68045      2 |       75 |        0
666.36/666.61	c  665s |      15 |   147952 |   110832 |    68045      2 |       75 |        0
668.75/669.00	c  668s |      15 |   148515 |   111232 |    68045      2 |       75 |        0
671.05/671.30	c  670s |      15 |   148928 |   111532 |    68045      2 |       75 |        0
673.06/673.30	c  672s |      15 |   149391 |   111832 |    68045      2 |       75 |        0
675.45/675.70	c  674s |      15 |   149807 |   112232 |    68045      2 |       75 |        0
677.55/677.85	c  677s |      15 |   150247 |   112632 |    68045      2 |       75 |        0
679.65/679.92	c  679s |      15 |   150755 |   112932 |    68045      2 |       75 |        0
681.85/682.15	c  681s |      15 |   151287 |   113332 |    68045      2 |       75 |        0
684.24/684.52	c  683s |      15 |   151800 |   113832 |    68045      2 |       75 |        0
686.34/686.69	c  685s |      15 |   152346 |   114232 |    68045      2 |       75 |        0
688.64/688.93	c  688s |      15 |   153127 |   114632 |    68045      2 |       75 |        0
691.34/691.60	c  690s |      15 |   153749 |   115032 |    68045      2 |       75 |        0
693.44/693.78	c  692s |      15 |   154270 |   115432 |    68045      2 |       75 |        0
695.53/695.84	c  695s |      15 |   154730 |   115832 |    68045      2 |       75 |        0
697.83/698.15	c  697s |      15 |   155170 |   116232 |    68045      2 |       75 |        0
700.44/700.73	c  699s |      15 |   155588 |   116532 |    68045      2 |       75 |        0
702.93/703.27	c  702s |      15 |   156061 |   116932 |    68045      2 |       75 |        0
705.33/705.67	c  704s |      15 |   156507 |   117332 |    68045      2 |       75 |        0
707.83/708.19	c  707s |      15 |   156992 |   117732 |    68045      2 |       75 |        0
710.33/710.62	c  709s |      15 |   157459 |   118132 |    68045      2 |       75 |        0
712.32/712.62	c  711s |      15 |   157880 |   118532 |    68045      2 |       75 |        0
714.32/714.66	c  713s |      15 |   158282 |   118932 |    68045      2 |       75 |        0
716.93/717.22	c  716s |      15 |   158801 |   119432 |    68045      2 |       75 |        0
719.32/719.63	c  718s |      15 |   159347 |   119832 |    68045      2 |       75 |        0
721.72/722.00	c  721s |      15 |   159862 |   120332 |    68045      2 |       75 |        0
724.01/724.34	c  723s |      15 |   160545 |   120732 |    68045      2 |       75 |        0
726.11/726.41	c  725s |      15 |   160970 |   121132 |    68045      2 |       75 |        0
728.41/728.74	c  727s |      15 |   161604 |   121532 |    68045      2 |       75 |        0
730.51/730.82	c  730s |      15 |   162015 |   121932 |    68045      2 |       75 |        0
733.11/733.48	c  732s |      15 |   162661 |   122432 |    68045      2 |       75 |        0
735.51/735.87	c  735s |      15 |   163146 |   122832 |    68045      2 |       75 |        0
738.01/738.36	c  737s |      15 |   163770 |   123232 |    68045      2 |       75 |        0
740.61/740.98	c  740s |      15 |   164178 |   123632 |    68045      2 |       75 |        0
742.81/743.17	c  742s |      15 |   164628 |   123932 |    68045      2 |       75 |        0
744.91/745.20	c  744s |      15 |   164982 |   124232 |    68045      2 |       75 |        0
747.31/747.68	c  746s |      15 |   165398 |   124632 |    68045      2 |       75 |        0
750.02/750.34	c  749s |      15 |   165810 |   125032 |    68045      2 |       75 |        0
752.11/752.43	c  751s |      15 |   166134 |   125332 |    68045      2 |       75 |        0
754.90/755.27	c  754s |      15 |   166691 |   125632 |    68045      2 |       75 |        0
757.40/757.78	c  756s |      15 |   167082 |   125932 |    68045      2 |       75 |        0
760.10/760.45	c  759s |      15 |   167746 |   126332 |    68045      2 |       75 |        0
762.60/762.90	c  762s |      15 |   168213 |   126632 |    68045      2 |       75 |        0
764.60/764.98	c  764s |      15 |   168532 |   126932 |    68045      2 |       75 |        0
767.10/767.41	c  766s |      15 |   168945 |   127332 |    68045      2 |       75 |        0
769.60/769.93	c  769s |      15 |   169421 |   127732 |    68045      2 |       75 |        0
772.09/772.48	c  771s |      15 |   169934 |   128132 |    68045      2 |       75 |        0
774.59/774.95	c  774s |      15 |   170341 |   128432 |    68045      2 |       75 |        0
777.29/777.63	c  776s |      15 |   170824 |   128832 |    68045      2 |       75 |        0
779.29/779.68	c  778s |      15 |   171163 |   129132 |    68045      2 |       75 |        0
781.90/782.24	c  781s |      15 |   171578 |   129532 |    68045      2 |       75 |        0
784.29/784.61	c  783s |      15 |   171987 |   129932 |    68045      2 |       75 |        0
786.69/787.09	c  786s |      15 |   172402 |   130332 |    68045      2 |       75 |        0
789.19/789.57	c  788s |      15 |   172816 |   130732 |    74850      2 |       75 |        0
791.58/791.98	c  791s |      15 |   173221 |   131132 |    74850      2 |       75 |        0
794.18/794.50	c  793s |      15 |   173634 |   131532 |    74850      2 |       75 |        0
794.28/794.66	c  793s |      16 |   173658 |   131552 |    74850      2 |       75 |        0
797.98/798.36	c  797s |      16 |   173966 |   131652 |    74850      2 |       75 |        0
800.59/801.00	c  800s |      16 |   174684 |   132052 |    74850      2 |       75 |        0
802.69/803.04	c  802s |      16 |   175134 |   132352 |    74850      2 |       75 |        0
804.77/805.10	c  804s |      16 |   175674 |   132652 |    74850      2 |       75 |        0
806.77/807.12	c  806s |      16 |   176196 |   132952 |    74850      2 |       75 |        0
808.87/809.21	c  808s |      16 |   176553 |   133252 |    74850      2 |       75 |        0
811.07/811.46	c  810s |      16 |   177371 |   133752 |    74850      2 |       75 |        0
813.17/813.51	c  812s |      16 |   177761 |   134052 |    74850      2 |       75 |        0
815.57/815.94	c  815s |      16 |   178447 |   134452 |    74850      2 |       75 |        0
818.27/818.66	c  817s |      16 |   179011 |   134852 |    74850      2 |       75 |        0
820.57/820.97	c  820s |      16 |   179369 |   135152 |    74850      2 |       75 |        0
822.77/823.11	c  822s |      16 |   179703 |   135452 |    74850      2 |       75 |        0
825.06/825.50	c  824s |      16 |   180264 |   135852 |    74850      2 |       75 |        0
827.36/827.70	c  826s |      16 |   180563 |   136152 |    74850      2 |       75 |        0
829.76/830.10	c  829s |      16 |   180934 |   136452 |    74850      2 |       75 |        0
832.06/832.41	c  831s |      16 |   181385 |   136752 |    74850      2 |       75 |        0
834.36/834.79	c  833s |      16 |   181800 |   137052 |    74850      2 |       75 |        0
836.56/836.97	c  836s |      16 |   182181 |   137352 |    74850      2 |       75 |        0
839.07/839.45	c  838s |      16 |   182610 |   137652 |    74850      2 |       75 |        0
841.06/841.49	c  840s |      16 |   183247 |   137952 |    74850      2 |       75 |        0
843.16/843.55	c  842s |      16 |   183614 |   138252 |    74850      2 |       75 |        0
845.76/846.17	c  845s |      16 |   184147 |   138652 |    74850      2 |       75 |        0
848.56/848.96	c  848s |      16 |   184617 |   139052 |    74850      2 |       75 |        0
851.17/851.59	c  850s |      16 |   184994 |   139352 |    74850      2 |       75 |        0
853.56/853.97	c  853s |      16 |   185353 |   139652 |    74850      2 |       75 |        0
856.36/856.72	c  855s |      16 |   185790 |   140052 |    74850      2 |       75 |        0
858.56/858.91	c  858s |      16 |   186179 |   140352 |    74850      2 |       75 |        0
860.97/861.36	c  860s |      16 |   186546 |   140652 |    74850      2 |       75 |        0
863.46/863.88	c  863s |      16 |   187017 |   140952 |    74850      2 |       75 |        0
865.76/866.12	c  865s |      16 |   187418 |   141252 |    74850      2 |       75 |        0
868.16/868.59	c  867s |      16 |   187875 |   141552 |    74850      2 |       75 |        0
871.06/871.42	c  870s |      16 |   188289 |   141852 |    74850      2 |       75 |        0
873.36/873.76	c  872s |      16 |   188764 |   142152 |    74850      2 |       75 |        0
875.45/875.87	c  875s |      16 |   189067 |   142452 |    74850      2 |       75 |        0
877.56/877.96	c  877s |      16 |   189442 |   142752 |    74850      2 |       75 |        0
879.76/880.17	c  879s |      16 |   190070 |   143052 |    74850      2 |       75 |        0
881.96/882.38	c  881s |      16 |   190435 |   143352 |    74850      2 |       75 |        0
884.85/885.28	c  884s |      16 |   190777 |   143652 |    74850      2 |       75 |        0
887.36/887.73	c  886s |      16 |   191386 |   143952 |    74850      2 |       75 |        0
889.45/889.84	c  889s |      16 |   191928 |   144252 |    74850      2 |       75 |        0
891.65/892.06	c  891s |      16 |   192412 |   144552 |    74850      2 |       75 |        0
893.85/894.29	c  893s |      16 |   192784 |   144852 |    74850      2 |       75 |        0
895.85/896.29	c  895s |      16 |   193097 |   145152 |    74850      2 |       75 |        0
898.15/898.59	c  897s |      16 |   193481 |   145452 |    74850      2 |       75 |        0
900.35/900.76	c  899s |      16 |   193824 |   145752 |    74850      2 |       75 |        0
902.86/903.26	c  902s |      16 |   194305 |   146052 |    74850      2 |       75 |        0
905.35/905.78	c  904s |      16 |   194757 |   146452 |    74850      2 |       75 |        0
907.55/907.96	c  907s |      16 |   195107 |   146752 |    74850      2 |       75 |        0
910.15/910.55	c  909s |      16 |   195500 |   147052 |    74850      2 |       75 |        0
912.76/913.11	c  912s |      16 |   195841 |   147352 |    74850      2 |       75 |        0
914.95/915.35	c  914s |      16 |   196228 |   147652 |    74850      2 |       75 |        0
917.45/917.84	c  917s |      16 |   196654 |   147952 |    74850      2 |       75 |        0
919.95/920.30	c  919s |      16 |   197011 |   148252 |    74850      2 |       75 |        0
922.75/923.12	c  922s |      16 |   197431 |   148652 |    74850      2 |       75 |        0
925.25/925.66	c  924s |      16 |   197878 |   148952 |    74850      2 |       75 |        0
927.45/927.89	c  927s |      16 |   198311 |   149252 |    74850      2 |       75 |        0
930.25/930.63	c  929s |      16 |   198933 |   149652 |    74850      2 |       75 |        0
932.35/932.77	c  931s |      16 |   199361 |   149952 |    74850      2 |       75 |        0
934.65/935.06	c  934s |      16 |   199898 |   150252 |    74850      2 |       75 |        0
936.85/937.23	c  936s |      16 |   200399 |   150552 |    74850      2 |       75 |        0
939.24/939.66	c  938s |      16 |   200822 |   150852 |    74850      2 |       75 |        0
941.64/942.00	c  941s |      16 |   201195 |   151152 |    74850      2 |       75 |        0
944.34/944.79	c  943s |      16 |   201525 |   151452 |    74850      2 |       75 |        0
946.54/946.96	c  946s |      16 |   202000 |   151752 |    74850      2 |       75 |        0
949.34/949.71	c  948s |      16 |   202439 |   152152 |    74850      2 |       75 |        0
951.34/951.74	c  950s |      16 |   202754 |   152452 |    74850      2 |       75 |        0
953.74/954.12	c  953s |      16 |   203106 |   152752 |    74850      2 |       75 |        0
956.14/956.50	c  955s |      16 |   203443 |   153052 |    74850      2 |       75 |        0
958.14/958.55	c  957s |      16 |   203757 |   153352 |    74850      2 |       75 |        0
960.54/960.98	c  960s |      16 |   204117 |   153652 |    74850      2 |       75 |        0
963.04/963.45	c  962s |      16 |   204469 |   153952 |    74850      2 |       75 |        0
965.55/965.96	c  965s |      16 |   204866 |   154252 |    74850      2 |       75 |        0
967.54/967.99	c  967s |      16 |   205234 |   154552 |    74850      2 |       75 |        0
969.95/970.33	c  969s |      16 |   205660 |   154852 |    74850      2 |       75 |        0
972.35/972.71	c  971s |      16 |   206014 |   155152 |    74850      2 |       75 |        0
975.05/975.49	c  974s |      16 |   206369 |   155452 |    74850      2 |       75 |        0
978.05/978.40	c  977s |      16 |   206947 |   155852 |    74850      2 |       75 |        0
980.75/981.20	c  980s |      16 |   207145 |   155952 |    74850      3 |       75 |        0
983.35/983.70	c  982s |      16 |   207741 |   156352 |    74850      3 |       75 |        0
985.45/985.80	c  984s |      16 |   208208 |   156652 |    74850      3 |       75 |        0
987.64/988.05	c  987s |      16 |   208810 |   157052 |    74850      3 |       75 |        0
989.94/990.38	c  989s |      16 |   209376 |   157452 |    74850      3 |       75 |        0
992.14/992.52	c  991s |      16 |   209962 |   157852 |    74850      3 |       75 |        0
994.54/994.94	c  994s |      16 |   210512 |   158252 |    74850      3 |       75 |        0
996.74/997.18	c  996s |      16 |   211113 |   158552 |    74850      3 |       75 |        0
999.14/999.51	c  998s |      16 |   211555 |   158952 |    74850      3 |       75 |        0
1001.54/1001.98	c 1001s |      16 |   211879 |   159252 |    74850      3 |       75 |        0
1003.95/1004.34	c 1003s |      16 |   212208 |   159552 |    74850      3 |       75 |        0
1006.04/1006.49	c 1005s |      16 |   212728 |   159852 |    74850      3 |       75 |        0
1008.54/1008.91	c 1008s |      16 |   213183 |   160252 |    74850      3 |       75 |        0
1010.55/1010.95	c 1010s |      16 |   213522 |   160552 |    74850      3 |       75 |        0
1012.64/1013.07	c 1012s |      16 |   213987 |   160852 |    74850      3 |       75 |        0
1014.84/1015.21	c 1014s |      16 |   214518 |   161252 |    74850      3 |       75 |        0
1017.64/1018.00	c 1017s |      16 |   214988 |   161652 |    74850      3 |       75 |        0
1019.64/1020.09	c 1019s |      16 |   215307 |   161952 |    74850      3 |       75 |        0
1021.74/1022.19	c 1021s |      16 |   215634 |   162252 |    74850      3 |       75 |        0
1024.14/1024.51	c 1023s |      16 |   216235 |   162652 |    74850      3 |       75 |        0
1026.14/1026.59	c 1025s |      16 |   217020 |   163052 |    74850      3 |       75 |        0
1028.44/1028.87	c 1028s |      16 |   217612 |   163552 |    74850      3 |       75 |        0
1030.54/1030.97	c 1030s |      16 |   218401 |   163952 |    74850      3 |       75 |        0
1033.04/1033.43	c 1032s |      16 |   219048 |   164352 |    74850      3 |       75 |        0
1035.04/1035.47	c 1034s |      16 |   219421 |   164652 |    74850      3 |       75 |        0
1037.24/1037.64	c 1036s |      16 |   219896 |   165052 |    74850      3 |       75 |        0
1039.44/1039.88	c 1039s |      16 |   220494 |   165552 |    74850      3 |       75 |        0
1042.03/1042.43	c 1041s |      16 |   221124 |   166052 |    74850      3 |       75 |        0
1044.33/1044.72	c 1043s |      16 |   221545 |   166452 |    74850      3 |       75 |        0
1046.63/1047.06	c 1046s |      16 |   222014 |   166852 |    74850      3 |       75 |        0
1048.93/1049.30	c 1048s |      16 |   222448 |   167252 |    74850      3 |       75 |        0
1050.93/1051.31	c 1050s |      16 |   222866 |   167652 |    74850      3 |       75 |        0
1053.13/1053.50	c 1052s |      16 |   223319 |   168052 |    74850      3 |       75 |        0
1055.53/1055.93	c 1055s |      16 |   223830 |   168552 |    74850      3 |       75 |        0
1057.63/1058.07	c 1057s |      16 |   224279 |   168952 |    74850      3 |       75 |        0
1059.83/1060.20	c 1059s |      16 |   224706 |   169352 |    74850      3 |       75 |        0
1062.43/1062.82	c 1061s |      16 |   225691 |   169752 |    74850      3 |       75 |        0
1064.73/1065.17	c 1064s |      16 |   226158 |   170052 |    74850      3 |       75 |        0
1066.74/1067.19	c 1066s |      16 |   226548 |   170352 |    74850      3 |       75 |        0
1068.94/1069.33	c 1068s |      16 |   226920 |   170652 |    74850      3 |       75 |        0
1070.93/1071.35	c 1070s |      16 |   227266 |   170952 |    74850      3 |       75 |        0
1073.24/1073.64	c 1072s |      16 |   227833 |   171252 |    74850      3 |       75 |        0
1075.44/1075.87	c 1075s |      16 |   228127 |   171552 |    74850      3 |       75 |        0
1077.83/1078.21	c 1077s |      16 |   228471 |   171852 |    74850      3 |       75 |        0
1080.13/1080.53	c 1079s |      16 |   229010 |   172252 |    74850      3 |       75 |        0
1082.83/1083.28	c 1082s |      16 |   229533 |   172552 |    74850      3 |       75 |        0
1085.63/1086.03	c 1085s |      16 |   229943 |   172852 |    74850      3 |       75 |        0
1087.83/1088.21	c 1087s |      16 |   230139 |   173052 |    74850      3 |       75 |        0
1090.53/1090.96	c 1090s |      16 |   230492 |   173352 |    74850      3 |       75 |        0
1093.03/1093.47	c 1092s |      16 |   230817 |   173652 |    74850      3 |       75 |        0
1095.63/1096.02	c 1095s |      16 |   231295 |   174052 |    74850      3 |       75 |        0
1098.33/1098.78	c 1097s |      16 |   231931 |   174452 |    74850      3 |       75 |        0
1100.63/1101.09	c 1100s |      16 |   232372 |   174752 |    74850      3 |       75 |        0
1103.03/1103.48	c 1102s |      16 |   232804 |   175152 |    74850      3 |       75 |        0
1105.23/1105.62	c 1104s |      16 |   233154 |   175452 |    74850      3 |       75 |        0
1107.43/1107.81	c 1106s |      16 |   233985 |   175752 |    74850      3 |       75 |        0
1109.72/1110.15	c 1109s |      16 |   234509 |   176152 |    74850      3 |       75 |        0
1112.12/1112.55	c 1111s |      16 |   235026 |   176552 |    74850      3 |       75 |        0
1114.42/1114.82	c 1113s |      16 |   235437 |   176952 |    74850      3 |       75 |        0
1116.52/1116.99	c 1116s |      16 |   235882 |   177352 |    74850      3 |       75 |        0
1119.02/1119.40	c 1118s |      16 |   236399 |   177852 |    74850      3 |       75 |        0
1121.22/1121.61	c 1120s |      16 |   236827 |   178252 |    74850      3 |       75 |        0
1123.22/1123.64	c 1122s |      16 |   237480 |   178552 |    74850      3 |       75 |        0
1125.42/1125.88	c 1125s |      16 |   237902 |   178952 |    74850      3 |       75 |        0
1128.12/1128.50	c 1127s |      16 |   238575 |   179352 |    74850      3 |       75 |        0
1130.43/1130.82	c 1129s |      16 |   238995 |   179752 |    74850      3 |       75 |        0
1132.63/1133.04	c 1132s |      16 |   239546 |   180152 |    74850      3 |       75 |        0
1134.62/1135.05	c 1134s |      16 |   239974 |   180452 |    74850      3 |       75 |        0
1136.72/1137.14	c 1136s |      16 |   240342 |   180752 |    74850      3 |       75 |        0
1139.12/1139.58	c 1138s |      16 |   240784 |   181152 |    74850      3 |       75 |        0
1141.12/1141.59	c 1140s |      16 |   241114 |   181452 |    74850      3 |       75 |        0
1143.42/1143.86	c 1143s |      16 |   241545 |   181852 |    74850      3 |       75 |        0
1145.42/1145.89	c 1145s |      16 |   241962 |   182252 |    74850      3 |       75 |        0
1147.82/1148.27	c 1147s |      16 |   242486 |   182752 |    74850      3 |       75 |        0
1150.22/1150.67	c 1149s |      16 |   242896 |   183152 |    74850      3 |       75 |        0
1152.52/1152.99	c 1152s |      16 |   243314 |   183552 |    74850      3 |       75 |        0
1155.02/1155.47	c 1154s |      16 |   243732 |   183952 |    74850      3 |       75 |        0
1157.32/1157.79	c 1156s |      16 |   244214 |   184352 |    74850      3 |       75 |        0
1159.42/1159.84	c 1159s |      16 |   244633 |   184752 |    74850      3 |       75 |        0
1161.72/1162.16	c 1161s |      16 |   245069 |   185152 |    74850      3 |       75 |        0
1164.12/1164.51	c 1163s |      16 |   245490 |   185552 |    74850      3 |       75 |        0
1166.11/1166.55	c 1165s |      16 |   245932 |   185852 |    74850      3 |       75 |        0
1168.21/1168.64	c 1167s |      16 |   246252 |   186152 |    74850      3 |       75 |        0
1170.51/1170.90	c 1170s |      16 |   246580 |   186452 |    74850      3 |       75 |        0
1172.61/1173.04	c 1172s |      16 |   247081 |   186752 |    74850      3 |       75 |        0
1175.21/1175.61	c 1174s |      16 |   247839 |   187052 |    74850      3 |       75 |        0
1177.41/1177.84	c 1177s |      16 |   248192 |   187352 |    74850      3 |       75 |        0
1179.51/1179.94	c 1179s |      16 |   248514 |   187652 |    74850      3 |       75 |        0
1181.71/1182.19	c 1181s |      16 |   249166 |   187952 |    74850      3 |       75 |        0
1184.11/1184.57	c 1183s |      16 |   249823 |   188252 |    74850      3 |       75 |        0
1186.21/1186.62	c 1185s |      16 |   250445 |   188552 |    74850      3 |       75 |        0
1188.21/1188.68	c 1187s |      16 |   250784 |   188852 |    74850      3 |       75 |        0
1190.92/1191.37	c 1190s |      16 |   251271 |   189252 |    74850      3 |       75 |        0
1193.51/1193.97	c 1193s |      16 |   251684 |   189652 |    74850      3 |       75 |        0
1196.11/1196.51	c 1195s |      16 |   252109 |   190052 |    74850      3 |       75 |        0
1198.21/1198.69	c 1197s |      16 |   252495 |   190352 |    74850      3 |       75 |        0
1200.92/1201.35	c 1200s |      16 |   252929 |   190752 |    74850      3 |       75 |        0
1203.21/1203.60	c 1202s |      16 |   253355 |   191152 |    74850      3 |       75 |        0
1205.61/1206.04	c 1205s |      16 |   253848 |   191552 |    74850      3 |       75 |        0
1208.11/1208.52	c 1207s |      16 |   254266 |   191952 |    74850      3 |       75 |        0
1210.61/1211.09	c 1210s |      16 |   254982 |   192252 |    74850      3 |       75 |        0
1213.11/1213.56	c 1212s |      16 |   255402 |   192652 |    74850      3 |       75 |        0
1215.41/1215.83	c 1215s |      16 |   255851 |   193052 |    74850      3 |       75 |        0
1217.51/1217.93	c 1217s |      16 |   256165 |   193352 |    74850      3 |       75 |        0
1219.71/1220.17	c 1219s |      16 |   256555 |   193652 |    74850      3 |       75 |        0
1222.31/1222.71	c 1221s |      16 |   257022 |   193952 |    74850      3 |       75 |        0
1224.51/1224.98	c 1224s |      16 |   257331 |   194252 |    74850      3 |       75 |        0
1226.81/1227.21	c 1226s |      16 |   257637 |   194552 |    74850      3 |       75 |        0
1229.21/1229.62	c 1228s |      16 |   258058 |   194952 |    74850      3 |       75 |        0
1231.20/1231.69	c 1230s |      16 |   258369 |   195252 |    74850      3 |       75 |        0
1233.40/1233.84	c 1233s |      16 |   258693 |   195552 |    74850      3 |       75 |        0
1235.40/1235.87	c 1235s |      16 |   258996 |   195852 |    74850      3 |       75 |        0
1237.50/1237.98	c 1237s |      16 |   259334 |   196152 |    82335      3 |       75 |        0
1239.90/1240.32	c 1239s |      16 |   259744 |   196552 |    82335      3 |       75 |        0
1242.40/1242.87	c 1242s |      16 |   260164 |   196952 |    82335      3 |       75 |        0
1244.70/1245.10	c 1244s |      16 |   260589 |   197352 |    82335      3 |       75 |        0
1245.10/1245.56	c 1244s |      17 |   260664 |   197432 |    82335      3 |       75 |        0
1250.10/1250.59	c 1249s |      17 |   260941 |   197532 |    82335      4 |       75 |        0
1252.61/1253.02	c 1252s |      17 |   261554 |   197932 |    82335      4 |       75 |        0
1254.71/1255.11	c 1254s |      17 |   263114 |   198332 |    82335      4 |       75 |        0
1256.70/1257.15	c 1256s |      17 |   263667 |   198632 |    82335      4 |       75 |        0
1258.90/1259.34	c 1258s |      17 |   264113 |   199032 |    82335      4 |       75 |        0
1261.20/1261.61	c 1260s |      17 |   264892 |   199432 |    82335      4 |       75 |        0
1263.20/1263.69	c 1262s |      17 |   265501 |   199832 |    82335      4 |       75 |        0
1265.81/1266.27	c 1265s |      17 |   265952 |   200232 |    82335      4 |       75 |        0
1268.01/1268.45	c 1267s |      17 |   266558 |   200632 |    82335      4 |       75 |        0
1270.40/1270.89	c 1270s |      17 |   267075 |   201132 |    82335      4 |       75 |        0
1272.40/1272.89	c 1272s |      17 |   267704 |   201532 |    82335      4 |       75 |        0
1274.60/1275.05	c 1274s |      17 |   268260 |   201932 |    82335      4 |       75 |        0
1276.60/1277.09	c 1276s |      17 |   268801 |   202332 |    82335      4 |       75 |        0
1278.80/1279.21	c 1278s |      17 |   269349 |   202732 |    82335      4 |       75 |        0
1281.00/1281.49	c 1280s |      17 |   269921 |   203132 |    82335      4 |       75 |        0
1283.40/1283.86	c 1283s |      17 |   270627 |   203632 |    82335      4 |       75 |        0
1285.50/1285.95	c 1285s |      17 |   271315 |   204032 |    82335      4 |       75 |        0
1287.70/1288.12	c 1287s |      17 |   271823 |   204432 |    82335      4 |       75 |        0
1289.79/1290.27	c 1289s |      17 |   272708 |   204832 |    82335      4 |       75 |        0
1292.10/1292.53	c 1291s |      17 |   273388 |   205232 |    82335      4 |       75 |        0
1294.69/1295.17	c 1294s |      17 |   274189 |   205732 |    82335      4 |       75 |        0
1296.79/1297.22	c 1296s |      17 |   274788 |   206132 |    82335      4 |       75 |        0
1298.89/1299.34	c 1298s |      17 |   275639 |   206532 |    82335      4 |       75 |        0
1300.90/1301.36	c 1300s |      17 |   276144 |   206832 |    82335      4 |       75 |        0
1303.20/1303.67	c 1302s |      17 |   276728 |   207332 |    82335      4 |       75 |        0
1305.40/1305.84	c 1305s |      17 |   277260 |   207732 |    82335      4 |       75 |        0
1307.39/1307.88	c 1307s |      17 |   277897 |   208132 |    82335      4 |       75 |        0
1309.80/1310.22	c 1309s |      17 |   278554 |   208532 |    82335      4 |       75 |        0
1311.90/1312.39	c 1311s |      17 |   279412 |   208932 |    82335      4 |       75 |        0
1314.39/1314.85	c 1314s |      17 |   280311 |   209432 |    82335      4 |       75 |        0
1316.89/1317.32	c 1316s |      17 |   280925 |   209932 |    82335      4 |       75 |        0
1319.19/1319.67	c 1318s |      17 |   281780 |   210332 |    82335      4 |       75 |        0
1321.39/1321.87	c 1321s |      17 |   282102 |   210632 |    82335      4 |       75 |        0
1323.59/1324.00	c 1323s |      17 |   282430 |   210932 |    82335      4 |       75 |        0
1325.89/1326.40	c 1325s |      17 |   282952 |   211432 |    82335      4 |       75 |        0
1328.50/1328.98	c 1328s |      17 |   283746 |   211832 |    82335      4 |       75 |        0
1330.49/1331.00	c 1330s |      17 |   284415 |   212232 |    82335      4 |       75 |        0
1333.39/1333.86	c 1333s |      17 |   285281 |   212732 |    82335      4 |       75 |        0
1335.69/1336.14	c 1335s |      17 |   285701 |   213132 |    82335      4 |       75 |        0
1337.99/1338.42	c 1337s |      17 |   286112 |   213432 |    82335      4 |       75 |        0
1340.49/1340.93	c 1340s |      17 |   286584 |   213832 |    82335      4 |       75 |        0
1342.69/1343.17	c 1342s |      17 |   287158 |   214132 |    82335      4 |       75 |        0
1344.99/1345.49	c 1344s |      17 |   287669 |   214532 |    82335      4 |       75 |        0
1347.69/1348.16	c 1347s |      17 |   288302 |   214932 |    82335      4 |       75 |        0
1350.08/1350.55	c 1349s |      17 |   288650 |   215232 |    82335      4 |       75 |        0
1352.28/1352.70	c 1351s |      17 |   289141 |   215532 |    82335      4 |       75 |        0
1354.68/1355.15	c 1354s |      17 |   289446 |   215832 |    82335      4 |       75 |        0
1356.99/1357.43	c 1356s |      17 |   290032 |   216232 |    82335      4 |       75 |        0
1359.08/1359.53	c 1358s |      17 |   290382 |   216532 |    82335      4 |       75 |        0
1361.08/1361.57	c 1360s |      17 |   290817 |   216832 |    82335      4 |       75 |        0
1363.59/1364.06	c 1363s |      17 |   291595 |   217232 |    82335      4 |       75 |        0
1365.98/1366.47	c 1365s |      17 |   292779 |   217632 |    82335      4 |       75 |        0
1368.58/1369.05	c 1368s |      17 |   293355 |   218132 |    82335      4 |       75 |        0
1370.68/1371.15	c 1370s |      17 |   293776 |   218532 |    82335      4 |       75 |        0
1373.08/1373.59	c 1372s |      17 |   295344 |   218932 |    82335      4 |       75 |        0
1375.38/1375.84	c 1375s |      17 |   296886 |   219332 |    82335      4 |       75 |        0
1377.58/1378.02	c 1377s |      17 |   297296 |   219732 |    82335      4 |       75 |        0
1379.58/1380.05	c 1379s |      17 |   297860 |   220032 |    82335      4 |       75 |        0
1382.18/1382.66	c 1381s |      17 |   298599 |   220432 |    82335      4 |       75 |        0
1384.59/1385.03	c 1384s |      17 |   299119 |   220832 |    82335      4 |       75 |        0
1386.79/1387.26	c 1386s |      17 |   299574 |   221232 |    82335      4 |       75 |        0
1388.89/1389.36	c 1388s |      17 |   299933 |   221532 |    82335      4 |       75 |        0
1391.38/1391.80	c 1390s |      17 |   300604 |   221832 |    82335      4 |       75 |        0
1393.78/1394.28	c 1393s |      17 |   300967 |   222132 |    82335      4 |       75 |        0
1396.58/1397.10	c 1396s |      17 |   301394 |   222432 |    82335      4 |       75 |        0
1398.88/1399.33	c 1398s |      17 |   301873 |   222732 |    82335      4 |       75 |        0
1400.88/1401.39	c 1400s |      17 |   302256 |   223032 |    82335      4 |       75 |        0
1402.98/1403.49	c 1402s |      17 |   302692 |   223332 |    82335      4 |       75 |        0
1405.18/1405.69	c 1404s |      17 |   303063 |   223632 |    82335      4 |       75 |        0
1407.58/1408.03	c 1407s |      17 |   303497 |   223932 |    82335      4 |       75 |        0
1410.18/1410.60	c 1409s |      17 |   304071 |   224232 |    82335      4 |       75 |        0
1412.68/1413.15	c 1412s |      17 |   304569 |   224532 |    82335      4 |       75 |        0
1414.97/1415.42	c 1414s |      17 |   304912 |   224832 |    82335      4 |       75 |        0
1417.37/1417.85	c 1417s |      17 |   305330 |   225132 |    82335      4 |       75 |        0
1419.87/1420.30	c 1419s |      17 |   305840 |   225432 |    82335      4 |       75 |        0
1422.57/1423.00	c 1422s |      17 |   306216 |   225732 |    82335      4 |       75 |        0
1424.87/1425.36	c 1424s |      17 |   306660 |   226132 |    82335      4 |       75 |        0
1426.97/1427.48	c 1426s |      17 |   307181 |   226432 |    82335      4 |       75 |        0
1429.17/1429.60	c 1428s |      17 |   307562 |   226732 |    82335      4 |       75 |        0
1431.57/1432.02	c 1431s |      17 |   307894 |   227032 |    82335      4 |       75 |        0
1434.27/1434.74	c 1433s |      17 |   308407 |   227432 |    82335      4 |       75 |        0
1436.77/1437.25	c 1436s |      17 |   309280 |   227732 |    82335      4 |       75 |        0
1439.17/1439.65	c 1438s |      17 |   309730 |   228132 |    82335      4 |       75 |        0
1441.68/1442.11	c 1441s |      17 |   310130 |   228432 |    82335      4 |       75 |        0
1443.98/1444.45	c 1443s |      17 |   310555 |   228832 |    82335      4 |       75 |        0
1446.08/1446.56	c 1445s |      17 |   311016 |   229232 |    82335      4 |       75 |        0
1448.38/1448.86	c 1448s |      17 |   311450 |   229632 |    82335      4 |       75 |        0
1450.58/1451.04	c 1450s |      17 |   311868 |   230032 |    82335      4 |       75 |        0
1452.87/1453.36	c 1452s |      17 |   312364 |   230432 |    82335      4 |       75 |        0
1455.07/1455.59	c 1454s |      17 |   312774 |   230832 |    82335      4 |       75 |        0
1457.37/1457.88	c 1457s |      17 |   313643 |   231132 |    82335      4 |       75 |        0
1460.07/1460.54	c 1459s |      17 |   314317 |   231532 |    82335      4 |       75 |        0
1462.17/1462.61	c 1461s |      17 |   314664 |   231832 |    82335      4 |       75 |        0
1464.17/1464.69	c 1463s |      17 |   315002 |   232132 |    82335      4 |       75 |        0
1466.37/1466.88	c 1466s |      17 |   315389 |   232432 |    82335      4 |       75 |        0
1468.97/1469.40	c 1468s |      17 |   316165 |   232732 |    82335      4 |       75 |        0
1471.07/1471.52	c 1470s |      17 |   316855 |   233032 |    82335      4 |       75 |        0
1473.37/1473.86	c 1473s |      17 |   317277 |   233432 |    82335      4 |       75 |        0
1475.57/1476.01	c 1475s |      17 |   317851 |   233732 |    82335      4 |       75 |        0
1477.57/1478.03	c 1477s |      17 |   318272 |   234032 |    82335      4 |       75 |        0
1480.07/1480.58	c 1479s |      17 |   318697 |   234432 |    82335      4 |       75 |        0
1482.56/1483.09	c 1482s |      17 |   319178 |   234832 |    82335      4 |       75 |        0
1485.06/1485.51	c 1484s |      17 |   319747 |   235232 |    82335      4 |       75 |        0
1487.36/1487.85	c 1487s |      17 |   320063 |   235532 |    82335      4 |       75 |        0
1489.56/1490.08	c 1489s |      17 |   320482 |   235932 |    82335      4 |       75 |        0
1491.76/1492.21	c 1491s |      17 |   320787 |   236232 |    82335      4 |       75 |        0
1494.06/1494.50	c 1493s |      17 |   321162 |   236532 |    82335      4 |       75 |        0
1496.36/1496.82	c 1495s |      17 |   321472 |   236832 |    82335      4 |       75 |        0
1498.76/1499.26	c 1498s |      17 |   322010 |   237132 |    82335      4 |       75 |        0
1501.56/1502.08	c 1501s |      17 |   322588 |   237432 |    82335      4 |       75 |        0
1503.66/1504.16	c 1503s |      17 |   322997 |   237832 |    82335      4 |       75 |        0
1506.16/1506.67	c 1505s |      17 |   323409 |   238232 |    82335      4 |       75 |        0
1508.87/1509.31	c 1508s |      17 |   323869 |   238532 |    82335      4 |       75 |        0
1511.07/1511.55	c 1510s |      17 |   324452 |   238832 |    82335      4 |       75 |        0
1513.17/1513.69	c 1512s |      17 |   324832 |   239132 |    82335      4 |       75 |        0
1515.66/1516.11	c 1515s |      17 |   325266 |   239532 |    82335      4 |       75 |        0
1517.76/1518.25	c 1517s |      17 |   325701 |   239932 |    82335      4 |       75 |        0
1519.96/1520.41	c 1519s |      17 |   326115 |   240332 |    82335      4 |       75 |        0
1522.16/1522.64	c 1521s |      17 |   326556 |   240732 |    82335      4 |       75 |        0
1524.36/1524.80	c 1523s |      17 |   326977 |   241132 |    82335      4 |       75 |        0
1526.66/1527.20	c 1526s |      17 |   327406 |   241532 |    82335      4 |       75 |        0
1529.26/1529.74	c 1528s |      17 |   327818 |   241932 |    82335      4 |       75 |        0
1532.46/1532.96	c 1532s |      17 |   327921 |   242032 |    82335      5 |       75 |        0
1534.56/1535.09	c 1534s |      17 |   328254 |   242332 |    82335      5 |       75 |        0
1536.55/1537.10	c 1536s |      17 |   328575 |   242632 |    82335      5 |       75 |        0
1538.95/1539.48	c 1538s |      17 |   329434 |   243032 |    82335      5 |       75 |        0
1541.45/1541.93	c 1541s |      17 |   329843 |   243432 |    82335      5 |       75 |        0
1543.65/1544.12	c 1543s |      17 |   330264 |   243832 |    82335      5 |       75 |        0
1545.85/1546.32	c 1545s |      17 |   330678 |   244232 |    82335      5 |       75 |        0
1547.85/1548.34	c 1547s |      17 |   331097 |   244632 |    82335      5 |       75 |        0
1550.05/1550.57	c 1549s |      17 |   331481 |   244932 |    82335      5 |       75 |        0
1552.55/1553.00	c 1552s |      17 |   331816 |   245232 |    82335      5 |       75 |        0
1554.85/1555.36	c 1554s |      17 |   332331 |   245732 |    82335      5 |       75 |        0
1557.55/1558.02	c 1557s |      17 |   332987 |   246132 |    82335      5 |       75 |        0
1559.65/1560.14	c 1559s |      17 |   333403 |   246532 |    82335      5 |       75 |        0
1561.75/1562.22	c 1561s |      17 |   333740 |   246832 |    82335      5 |       75 |        0
1564.05/1564.51	c 1563s |      17 |   334157 |   247232 |    82335      5 |       75 |        0
1566.06/1566.57	c 1565s |      17 |   334572 |   247632 |    82335      5 |       75 |        0
1568.55/1569.07	c 1568s |      17 |   335173 |   248132 |    82335      5 |       75 |        0
1570.95/1571.47	c 1570s |      17 |   335573 |   248532 |    82335      5 |       75 |        0
1573.25/1573.71	c 1572s |      17 |   335981 |   248932 |    82335      5 |       75 |        0
1575.35/1575.81	c 1574s |      17 |   336299 |   249232 |    82335      5 |       75 |        0
1577.75/1578.20	c 1577s |      17 |   336659 |   249532 |    82335      5 |       75 |        0
1579.85/1580.35	c 1579s |      17 |   337183 |   250032 |    82335      5 |       75 |        0
1582.15/1582.69	c 1581s |      17 |   337699 |   250532 |    82335      5 |       75 |        0
1584.55/1585.05	c 1584s |      17 |   338226 |   251032 |    82335      5 |       75 |        0
1586.75/1587.20	c 1586s |      17 |   338660 |   251432 |    82335      5 |       75 |        0
1589.45/1589.97	c 1589s |      17 |   339110 |   251832 |    82335      5 |       75 |        0
1591.65/1592.10	c 1591s |      17 |   339524 |   252232 |    82335      5 |       75 |        0
1593.65/1594.18	c 1593s |      17 |   339950 |   252632 |    82335      5 |       75 |        0
1595.95/1596.43	c 1595s |      17 |   340552 |   253032 |    82335      5 |       75 |        0
1598.35/1598.82	c 1597s |      17 |   341113 |   253432 |    82335      5 |       75 |        0
1600.75/1601.20	c 1600s |      17 |   341698 |   253932 |    82335      5 |       75 |        0
1603.65/1604.10	c 1603s |      17 |   342165 |   254332 |    82335      5 |       75 |        0
1606.05/1606.54	c 1605s |      17 |   342649 |   254732 |    82335      5 |       75 |        0
1608.15/1608.69	c 1607s |      17 |   343197 |   255232 |    82335      5 |       75 |        0
1610.35/1610.82	c 1609s |      17 |   343741 |   255632 |    82335      5 |       75 |        0
1612.65/1613.12	c 1612s |      17 |   344297 |   256132 |    82335      5 |       75 |        0
1615.25/1615.76	c 1614s |      17 |   344977 |   256632 |    82335      5 |       75 |        0
1617.45/1617.97	c 1617s |      17 |   345534 |   257132 |    82335      5 |       75 |        0
1619.85/1620.35	c 1619s |      17 |   346204 |   257632 |    82335      5 |       75 |        0
1621.95/1622.48	c 1621s |      17 |   346763 |   258132 |    82335      5 |       75 |        0
1624.15/1624.64	c 1623s |      17 |   347309 |   258632 |    82335      5 |       75 |        0
1626.34/1626.85	c 1626s |      17 |   347906 |   259132 |    82335      5 |       75 |        0
1628.65/1629.18	c 1628s |      17 |   348501 |   259632 |    82335      5 |       75 |        0
1630.74/1631.23	c 1630s |      17 |   348982 |   260032 |    82335      5 |       75 |        0
1633.05/1633.60	c 1632s |      17 |   349533 |   260532 |    82335      5 |       75 |        0
1635.44/1635.95	c 1635s |      17 |   350046 |   261032 |    82335      5 |       75 |        0
1638.14/1638.69	c 1637s |      17 |   350618 |   261432 |    82335      5 |       75 |        0
1640.64/1641.11	c 1640s |      17 |   351105 |   261832 |    82335      5 |       75 |        0
1642.84/1643.36	c 1642s |      17 |   351584 |   262232 |    82335      5 |       75 |        0
1645.25/1645.72	c 1644s |      17 |   352077 |   262632 |    82335      5 |       75 |        0
1647.45/1647.93	c 1647s |      17 |   352434 |   262932 |    82335      5 |       75 |        0
1649.44/1649.94	c 1649s |      17 |   352801 |   263232 |    82335      5 |       75 |        0
1651.75/1652.28	c 1651s |      17 |   353265 |   263632 |    82335      5 |       75 |        0
1654.05/1654.50	c 1653s |      17 |   353638 |   263932 |    82335      5 |       75 |        0
1656.04/1656.55	c 1655s |      17 |   354035 |   264232 |    82335      5 |       75 |        0
1658.14/1658.69	c 1657s |      17 |   354525 |   264632 |    82335      5 |       75 |        0
1660.65/1661.11	c 1660s |      17 |   354981 |   265032 |    82335      5 |       75 |        0
1662.75/1663.23	c 1662s |      17 |   355395 |   265432 |    82335      5 |       75 |        0
1665.24/1665.70	c 1664s |      17 |   355822 |   265832 |    82335      5 |       75 |        0
1667.25/1667.72	c 1666s |      17 |   356325 |   266232 |    82335      5 |       75 |        0
1669.84/1670.31	c 1669s |      17 |   356837 |   266732 |    82335      5 |       75 |        0
1671.84/1672.35	c 1671s |      17 |   357268 |   267132 |    82335      5 |       75 |        0
1674.24/1674.75	c 1673s |      17 |   357806 |   267632 |    82335      5 |       75 |        0
1676.24/1676.75	c 1675s |      17 |   358223 |   268032 |    82335      5 |       75 |        0
1678.63/1679.11	c 1678s |      17 |   358762 |   268532 |    82335      5 |       75 |        0
1680.93/1681.50	c 1680s |      17 |   359174 |   268932 |    82335      5 |       75 |        0
1683.33/1683.83	c 1683s |      17 |   359607 |   269332 |    82335      5 |       75 |        0
1685.33/1685.84	c 1685s |      17 |   360035 |   269732 |    82335      5 |       75 |        0
1687.53/1688.09	c 1687s |      17 |   360573 |   270232 |    82335      5 |       75 |        0
1689.73/1690.21	c 1689s |      17 |   361024 |   270632 |    82335      5 |       75 |        0
1692.03/1692.52	c 1691s |      17 |   361405 |   270932 |    82335      5 |       75 |        0
1694.03/1694.56	c 1693s |      17 |   361845 |   271232 |    82335      5 |       75 |        0
1696.33/1696.89	c 1696s |      17 |   362288 |   271632 |    82335      5 |       75 |        0
1698.93/1699.45	c 1698s |      17 |   362762 |   272032 |    82335      5 |       75 |        0
1701.24/1701.78	c 1700s |      17 |   363060 |   272332 |    82335      5 |       75 |        0
1703.33/1703.81	c 1702s |      17 |   363413 |   272632 |    82335      5 |       75 |        0
1705.83/1706.39	c 1705s |      17 |   363904 |   273032 |    82335      5 |       75 |        0
1708.13/1708.69	c 1707s |      17 |   364332 |   273432 |    82335      5 |       75 |        0
1710.73/1711.20	c 1710s |      17 |   364886 |   273932 |    82335      5 |       75 |        0
1712.93/1713.43	c 1712s |      17 |   365224 |   274232 |    82335      5 |       75 |        0
1715.54/1716.01	c 1715s |      17 |   365810 |   274632 |    82335      5 |       75 |        0
1717.93/1718.44	c 1717s |      17 |   366262 |   275032 |    82335      5 |       75 |        0
1720.03/1720.54	c 1719s |      17 |   366581 |   275332 |    82335      5 |       75 |        0
1722.53/1723.03	c 1722s |      17 |   366987 |   275732 |    82335      5 |       75 |        0
1725.03/1725.51	c 1724s |      17 |   367388 |   276132 |    82335      5 |       75 |        0
1727.03/1727.54	c 1726s |      17 |   367735 |   276432 |    82335      5 |       75 |        0
1729.13/1729.66	c 1728s |      17 |   368040 |   276732 |    82335      5 |       75 |        0
1731.32/1731.81	c 1730s |      17 |   368463 |   277132 |    82335      5 |       75 |        0
1734.02/1734.52	c 1733s |      17 |   368910 |   277532 |    82335      5 |       75 |        0
1736.62/1737.13	c 1736s |      17 |   369320 |   277932 |    82335      5 |       75 |        0
1739.22/1739.72	c 1738s |      17 |   369745 |   278332 |    82335      5 |       75 |        0
1741.52/1742.00	c 1741s |      17 |   370183 |   278732 |    82335      5 |       75 |        0
1743.62/1744.16	c 1743s |      17 |   370588 |   279132 |    82335      5 |       75 |        0
1746.02/1746.50	c 1745s |      17 |   370909 |   279432 |    82335      5 |       75 |        0
1748.02/1748.57	c 1747s |      17 |   371207 |   279732 |    82335      5 |       75 |        0
1750.52/1751.09	c 1750s |      17 |   371635 |   280132 |    82335      5 |       75 |        0
1752.82/1753.32	c 1752s |      17 |   372045 |   280532 |    82335      5 |       75 |        0
1755.32/1755.82	c 1755s |      17 |   372452 |   280932 |    82335      5 |       75 |        0
1757.33/1757.84	c 1757s |      17 |   372771 |   281232 |    82335      5 |       75 |        0
1759.42/1759.92	c 1759s |      17 |   373074 |   281532 |    82335      5 |       75 |        0
1761.83/1762.39	c 1761s |      17 |   373489 |   281932 |    82335      5 |       75 |        0
1764.22/1764.75	c 1763s |      17 |   373904 |   282332 |    82335      5 |       75 |        0
1766.32/1766.81	c 1765s |      17 |   374217 |   282632 |    82335      5 |       75 |        0
1768.33/1768.87	c 1768s |      17 |   374537 |   282932 |    82335      5 |       75 |        0
1770.53/1771.08	c 1770s |      17 |   374858 |   283232 |    82335      5 |       75 |        0
1772.73/1773.29	c 1772s |      17 |   375165 |   283532 |    82335      5 |       75 |        0
1775.12/1775.64	c 1774s |      17 |   375572 |   283932 |    82335      5 |       75 |        0
1777.62/1778.15	c 1777s |      17 |   375952 |   284232 |    82335      5 |       75 |        0
1780.02/1780.51	c 1779s |      17 |   376306 |   284532 |    82335      5 |       75 |        0
1782.62/1783.20	c 1782s |      17 |   376817 |   284932 |    82335      5 |       75 |        0
1784.92/1785.49	c 1784s |      17 |   377169 |   285232 |    82335      5 |       75 |        0
1787.22/1787.75	c 1786s |      17 |   377561 |   285532 |    82335      5 |       75 |        0
1789.62/1790.12	c 1789s |      17 |   378052 |   285932 |    82335      5 |       75 |        0
1791.62/1792.13	c 1791s |      17 |   378378 |   286232 |    82335      5 |       75 |        0
1793.82/1794.31	c 1793s |      17 |   378748 |   286532 |    82335      5 |       75 |        0
1796.31/1796.83	c 1796s |      17 |   379062 |   286832 |    82335      5 |       75 |        0
1798.61/1799.10	c 1798s |      17 |   379459 |   287132 |    82335      5 |       75 |        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-4079336-1465339085/watcher-4079336-1465339085 -o /tmp/evaluation-result-4079336-1465339085/solver-4079336-1465339085 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079336-1465339085.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.15 2.16 3/179 22461
/proc/meminfo: memFree=29137268/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 2603 0 0 0 0 0 0 0 20 0 4 0 115840872 715583488 2453 33554432000 4194304 16246674 140736450340432 140736450339856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 175215 2463 441 2943 0 172109 0
[pid=22461/tid=22462] ppid=22458 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 732360704 2520 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 736555008 2535 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115840872 740749312 2552 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.10 2.15 2.16 3/179 22461
/proc/meminfo: memFree=29137268/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 26990 0 0 0 5 4 0 0 20 0 4 0 115840872 1332285440 26778 33554432000 4194304 16246674 140736450340432 140736450339744 7375574 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 325265 26793 800 2943 0 322159 0
[pid=22461/tid=22462] ppid=22458 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1332285440 26804 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1332285440 26816 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1332285440 26825 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200541 s]
/proc/loadavg: 2.10 2.15 2.16 3/179 22461
/proc/meminfo: memFree=29137268/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 46269 0 0 0 12 7 0 0 20 0 4 0 115840872 1344868352 46567 33554432000 4194304 16246674 140736450340432 140736450339744 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 328337 46567 801 2943 0 325231 0
[pid=22461/tid=22462] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 46567 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 46567 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 46567 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.10 2.15 2.16 3/179 22461
/proc/meminfo: memFree=29137268/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 57410 0 0 0 21 8 0 0 20 0 4 0 115840872 1344868352 57708 33554432000 4194304 16246674 140736450340432 140736450339744 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 328337 57708 812 2943 0 325231 0
[pid=22461/tid=22462] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 57708 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 57708 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 57708 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.10 2.15 2.16 3/179 22461
/proc/meminfo: memFree=29137268/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 96080 0 0 0 55 14 0 0 20 0 4 0 115840872 1344868352 96378 33554432000 4194304 16246674 140736450340432 140736450339744 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 328337 96387 842 2943 0 325231 0
[pid=22461/tid=22462] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 96393 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 96398 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 96404 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 22465
/proc/meminfo: memFree=28581272/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 159115 0 0 0 126 23 0 0 20 0 4 0 115840872 1344868352 159413 33554432000 4194304 16246674 140736450340432 140736450322304 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 328337 159414 885 2943 0 325231 0
[pid=22461/tid=22462] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 159415 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 159416 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 159416 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 22465
/proc/meminfo: memFree=28321476/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 253252 0 0 0 272 37 0 0 20 0 4 0 115840872 1344868352 253550 33554432000 4194304 16246674 140736450340432 140736450322304 5601494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 328337 253553 885 2943 0 325231 0
[pid=22461/tid=22462] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 253554 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 253556 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1344868352 253557 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.09 2.15 2.16 4/183 22465
/proc/meminfo: memFree=28052428/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1322564 CPUtime=6.29 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 271319 0 0 0 589 40 0 0 20 0 4 0 115840872 1354305536 271617 33554432000 4194304 16246674 140736450340432 140736450322304 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 330641 271617 888 2943 0 327535 0
[pid=22461/tid=22462] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271617 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271617 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271617 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 22465
/proc/meminfo: memFree=28052360/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1322564 CPUtime=12.69 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 271324 0 0 0 1229 40 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140736450322304 5600512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 330641 271622 892 2943 0 327535 0
[pid=22461/tid=22462] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 22465
/proc/meminfo: memFree=28052536/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1322564 CPUtime=25.49 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 271324 0 0 0 2509 40 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140736450322304 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 330641 271622 892 2943 0 327535 0
[pid=22461/tid=22462] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271622 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

[startup+51.1005 s]
/proc/loadavg: 2.22 2.17 2.17 4/183 22465
/proc/meminfo: memFree=28052752/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 271326 0 0 0 5068 40 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140736450322304 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 330641 271624 894 2943 0 327535 0
[pid=22461/tid=22462] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.3 s]
/proc/loadavg: 2.26 2.19 2.18 4/183 22466
/proc/meminfo: memFree=28052488/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 271326 0 0 0 10188 40 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140736450322304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 330641 271624 894 2943 0 327535 0
[pid=22461/tid=22462] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1354305536 271624 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1375812

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/184 22597
/proc/meminfo: memFree=28022276/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1375812 CPUtime=1361.88 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 285042 0 0 0 136144 44 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140736450322304 13774488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 343953 285196 898 2943 0 340847 0
[pid=22461/tid=22462] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1375812

[startup+1422.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/184 22620
/proc/meminfo: memFree=28021452/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1375812 CPUtime=1421.88 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 285042 0 0 0 142144 44 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140736450322304 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 343953 285196 898 2943 0 340847 0
[pid=22461/tid=22462] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1375812

[startup+1482.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 22622
/proc/meminfo: memFree=27996680/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1375812 CPUtime=1481.86 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 285042 0 0 0 148142 44 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140736450322304 5723034 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 343953 285196 898 2943 0 340847 0
[pid=22461/tid=22462] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1408831488 285196 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1375812

[startup+1542.31 s]
/proc/loadavg: 2.11 2.19 2.17 4/183 22623
/proc/meminfo: memFree=27971404/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1541.86 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 154141 45 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 13775088 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1401412

[startup+1602.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 22624
/proc/meminfo: memFree=27970740/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1601.85 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 160139 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 13774452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1401412

[startup+1662.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 22625
/proc/meminfo: memFree=27970668/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1661.84 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 166138 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1401412

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 22626
/proc/meminfo: memFree=27971084/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1721.83 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 172137 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1401412

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 22628
/proc/meminfo: memFree=27971160/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1781.82 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 178136 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1401412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 22629
/proc/meminfo: memFree=27971024/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1800.01 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 179955 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1401412

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 22629
/proc/meminfo: memFree=27971024/32872528 swapFree=16636/1570076
[pid=22461] ppid=22458 vsize=1401412 CPUtime=1800.01 cores=1,3,5,7
/proc/22461/stat : 22461 (toysat) R 22458 22461 2168 0 -1 4202496 291442 0 0 0 179955 46 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140736450322304 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22461/statm: 350353 291596 898 2943 0 347247 0
[pid=22461/tid=22462] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22462/stat : 22462 (toysat) S 22458 22461 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050359626992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22461/tid=22463] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22463/stat : 22463 (toysat) S 22458 22461 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050349137136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22461/tid=22464] ppid=22458 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22464/stat : 22464 (toysat) S 22458 22461 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115840872 1435045888 291596 33554432000 4194304 16246674 140736450340432 140050338663600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1401412

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.56
CPU system time (s): 0.467928
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1401412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.467928
maximum resident set size= 1166384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291442
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= 414
involuntary context switches= 1937

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46532 second user time and 7.04793 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 00:38:05
IDJOB=4079336
IDBENCH=92763
IDSOLVER=2542
FILE ID=node140/4079336-1465339085
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_9_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079336-1465339085/watcher-4079336-1465339085 -o /tmp/evaluation-result-4079336-1465339085/solver-4079336-1465339085 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079336-1465339085.opb

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

MD5SUM BENCH= 5b69bba9fba38b21e500a479429a9384
RANDOM SEED=300118398

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29137532 kB
Buffers:           75476 kB
Cached:           221184 kB
SwapCached:         1660 kB
Active:          1257868 kB
Inactive:         156288 kB
Active(anon):    1113832 kB
Inactive(anon):     5988 kB
Active(file):     144036 kB
Inactive(file):   150300 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17600 kB
Writeback:             0 kB
AnonPages:       2687016 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             614524 kB
SReclaimable:      58308 kB
SUnreclaim:       556216 kB
KernelStack:        1480 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2831928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2404352 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= 71708 MiB
End job on node140 at 2016-06-08 01:08:06