Trace number 4101057

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
MD5SUM761eaefb829e7d3bf060fd5b86600997
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 16197
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531823
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531823
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:29:25+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-4101057-1466220565.opb"]
0.00/0.01	c use --random-gen="1237115357 523441366 808380158 1782131601 3047968383 1810218843 2403997114 946257566 3305183683 3125714749 4162713454 2865621490 3304316994 3905645345 4114754578 3635141702 2778102114 225234880 2091378884 1870039911 1329899092 1955268016 4139201584 3224134092 2242359664 4183426797 3481858787 2858921875 3738453680 1050449116 3429234960 872031204 1131615958 1449518803 1831822262 2252117902 1009716800 2590996489 2441727368 1524832297 3042162127 1486345019 434073827 2280432879 2626575763 2890003949 616402731 3162564127 1434609588 2660589575 1508521410 951025077 2818272897 712964355 3574300110 456436442 2677374124 3390840774 2383335338 1365145104 2485130496 225065236 1845445617 3761385407 1312593020 1962050536 1019393745 2685822032 4156595461 1827376408 3996939932 1359583069 1324905704 1737943901 3616394538 3384308067 499630621 3519060013 3538197403 628774971 2064800745 3018251552 3974117547 1514738668 2077467468 616668757 4065818087 3043396178 2778043960 2398071227 3615790491 279296017 708345574 1314580067 57203053 293263570 1686807677 3292104910 3014298932 2127187566 1585969960 1363774674 1849894195 3719856818 3256153660 1891719144 394174993 3388282142 2859521824 1385977068 2691004629 3578958053 2217378031 4103148690 3333227890 4161626053 2658779258 2711130796 1925808087 2776179650 4192619099 1719174994 2962705462 2040482839 2089672275 3144743659 471115835 3565601187 3543934132 2969489059 2919109064 3262470109 2724062896 824871716 1577661239 2892477487 3775884378 2398193679 280893281 3766918117 1632244452 3304741080 401476328 3331798278 2518462221 3036374505 3755148357 4059966106 2380813066 2540539416 502688015 3576383177 3797289650 1511231241 504214118 2558012688 1177947503 3615666044 2415793113 143108182 1664644215 4004880589 2255225139 4095238203 1045354432 2272770941 3798747273 3650181159 4101119604 3080868172 2972334326 3535033371 608163554 3143423860 591168862 2777153379 2732550433 62068312 3875736365 4221980079 1121657136 239535923 675223346 1212791458 1119748864 210704281 252466000 3489415475 2981278072 3461494565 1676535806 3500851643 1357809291 83178045 2987325459 44334268 1147857986 2386979324 1579073701 1603870696 1717570497 287153313 779140243 3127188691 378847877 4003120695 1402528450 2861002898 522921785 1017648467 352103192 699159078 2939812447 1089115508 409056963 3787656510 1949926706 700790928 3119059778 4066898463 3941434020 178327543 4160214798 832556523 123665179 3745168615 2013359335 3773112422 1128306147 2184262949 2434445492 981876944 316009993 603203905 1363105084 2669183741 4119127561 1460949758 2423714267 1651560859 4134047955 135219062 2735397658 3313492046 4102709345 2029925319 2235392712 3965254393 2475447107 317881034 769109856 4135572235 644211605 4134887351 257724025 3177649562 255 362436" option to reproduce the execution
0.79/0.85	c #vars 84737
0.79/0.85	c #constraints 1802
4.40/4.47	c BCD2: Hardening is enabled.
4.40/4.47	c BCD2: BiasedSearch is enabled.
4.40/4.47	c Solving starts ...
4.40/4.47	c ============================[ Search Statistics ]============================
4.40/4.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.40/4.47	c       |         |          |          |    Limit     GC | Var      | Constra 
4.40/4.47	c =============================================================================
4.40/4.49	c  0.0s |       0 |        0 |        0 |    29204      0 |    39780 |        0
5.09/5.14	c  0.6s |       1 |     1026 |      100 |    29204      0 |    39839 |      347
5.19/5.27	c  0.8s |       2 |     1208 |      250 |    32125      0 |    39842 |      347
5.69/5.73	c  1.2s |       3 |     1792 |      475 |    35338      0 |    39850 |      347
5.79/5.83	c  1.3s |       4 |     2155 |      813 |    38872      0 |    39850 |      347
7.89/7.95	c  3.5s |       4 |     4185 |     1313 |    42760      0 |    39912 |      347
7.89/7.98	c  3.5s |       5 |     4192 |     1320 |    42760      0 |    39912 |      347
8.90/8.94	c  4.5s |       6 |     5610 |     2081 |    51741      0 |    40112 |      348
9.90/9.94	c  5.4s |       7 |     7009 |     3223 |    56916      0 |    40129 |      348
11.89/11.98	c  7.5s |       7 |     9085 |     4523 |    56916      0 |    40129 |      348
12.29/12.36	c  7.9s |       8 |     9511 |     4936 |    62608      0 |    40129 |      348
14.40/14.41	c  9.9s |       8 |    12196 |     6936 |    62608      0 |    40129 |      348
14.89/14.95	c 10.5s |       9 |    12967 |     7506 |    68869      0 |    40129 |      348
16.99/17.02	c 12.5s |       9 |    16237 |    10306 |    68869      0 |    40129 |      348
17.70/17.71	c 13.2s |      10 |    17994 |    11361 |    75756      0 |    40129 |      348
19.69/19.76	c 15.3s |      10 |    22339 |    13961 |    75756      0 |    40129 |      348
21.69/21.80	c 17.3s |      10 |    26189 |    16461 |    75756      0 |    40129 |      348
22.29/22.30	c 17.8s |      11 |    27844 |    17144 |    83332      0 |    40129 |      348
24.29/24.31	c 19.8s |      11 |    31426 |    18944 |    83332      0 |    40129 |      348
26.29/26.40	c 21.9s |      11 |    34231 |    20944 |    83332      0 |    40129 |      348
28.39/28.41	c 23.9s |      11 |    36658 |    22644 |    83332      0 |    40129 |      348
30.49/30.52	c 26.0s |      11 |    39851 |    24644 |    83332      0 |    40129 |      348
31.69/31.79	c 27.3s |      12 |    41941 |    25819 |    91666      0 |    40129 |      348
33.78/33.88	c 29.4s |      12 |    45378 |    27619 |    91666      0 |    40129 |      348
35.98/36.01	c 31.5s |      12 |    48213 |    29219 |    91666      0 |    40159 |      348
37.98/38.02	c 33.5s |      12 |    50977 |    30919 |    91666      0 |    40159 |      348
39.98/40.09	c 35.6s |      12 |    52924 |    32319 |    91666      0 |    40159 |      348
42.08/42.12	c 37.6s |      12 |    55827 |    34119 |    91666      0 |    40159 |      348
44.18/44.25	c 39.8s |      12 |    58501 |    36019 |    91666      0 |    40159 |      348
46.19/46.27	c 41.8s |      12 |    62108 |    37519 |    91666      0 |    40159 |      348
48.28/48.34	c 43.8s |      12 |    64529 |    38819 |   100833      0 |    40159 |      348
48.28/48.36	c 43.9s |      13 |    64604 |    38832 |   100833      0 |    40159 |      348
50.38/50.43	c 45.9s |      13 |    67873 |    40332 |   100833      0 |    40159 |      348
52.38/52.43	c 47.9s |      13 |    71627 |    41832 |   100833      0 |    40159 |      348
54.48/54.51	c 50.0s |      13 |    75329 |    43232 |   100833      0 |    40159 |      348
56.48/56.58	c 52.1s |      13 |    79173 |    44932 |   100833      0 |    40159 |      348
58.68/58.74	c 54.2s |      13 |    82912 |    46532 |   100833      0 |    40159 |      348
60.78/60.82	c 56.3s |      13 |    86706 |    48032 |   100833      0 |    40159 |      348
62.79/62.90	c 58.4s |      13 |    90251 |    49432 |   100833      0 |    40159 |      348
64.89/64.96	c 60.5s |      13 |    94082 |    50932 |   100833      0 |    40159 |      348
66.98/67.05	c 62.6s |      13 |    97373 |    52432 |   100833      0 |    40163 |      348
69.08/69.12	c 64.6s |      13 |   101018 |    53632 |   100833      0 |    40164 |      348
71.18/71.25	c 66.8s |      13 |   104770 |    55032 |   100833      0 |    40164 |      348
73.28/73.30	c 68.8s |      13 |   108593 |    56332 |   100833      0 |    40164 |      348
75.28/75.39	c 70.9s |      13 |   111725 |    57732 |   100833      0 |    40164 |      348
76.18/76.26	c 71.8s |      14 |   113337 |    58352 |   110917      0 |    40164 |      348
78.28/78.35	c 73.9s |      14 |   116233 |    59552 |   110917      0 |    40164 |      348
80.38/80.45	c 76.0s |      14 |   119838 |    61152 |   110917      0 |    40164 |      348
82.48/82.54	c 78.0s |      14 |   122866 |    62452 |   110917      0 |    40164 |      348
84.48/84.55	c 80.1s |      14 |   126122 |    63652 |   110917      0 |    40164 |      348
86.47/86.59	c 82.1s |      14 |   129468 |    64952 |   110917      0 |    40164 |      348
88.67/88.73	c 84.2s |      14 |   132892 |    66252 |   110917      0 |    40164 |      348
90.77/90.81	c 86.3s |      14 |   136415 |    67452 |   110917      0 |    40164 |      348
92.77/92.83	c 88.3s |      14 |   139947 |    68752 |   110917      0 |    40164 |      348
94.87/94.97	c 90.5s |      14 |   143443 |    70252 |   110917      0 |    40164 |      348
97.07/97.12	c 92.6s |      14 |   147049 |    71552 |   110917      0 |    40164 |      348
99.17/99.25	c 94.8s |      14 |   150591 |    72852 |   110917      0 |    40164 |      348
101.28/101.35	c 96.9s |      14 |   153066 |    74152 |   110917      0 |    40164 |      348
103.27/103.35	c 98.9s |      14 |   156227 |    75352 |   110917      0 |    40164 |      348
105.27/105.38	c  100s |      14 |   158685 |    76552 |   110917      0 |    40164 |      348
107.37/107.47	c  102s |      14 |   160992 |    77452 |   110917      0 |    40174 |      348
109.37/109.48	c  104s |      14 |   163300 |    78452 |   110917      0 |    40174 |      348
111.47/111.57	c  107s |      14 |   166485 |    79752 |   110917      0 |    40174 |      348
113.57/113.64	c  109s |      14 |   169587 |    80852 |   110917      0 |    40174 |      348
115.58/115.65	c  111s |      14 |   172225 |    81952 |   110917      0 |    40174 |      348
117.68/117.72	c  113s |      14 |   174666 |    83052 |   110917      0 |    40174 |      348
119.77/119.86	c  115s |      14 |   177160 |    84252 |   110917      0 |    40174 |      348
121.87/121.93	c  117s |      14 |   179954 |    85452 |   110917      0 |    40174 |      348
123.97/124.01	c  119s |      14 |   182623 |    86552 |   110917      0 |    40174 |      348
125.97/126.05	c  121s |      14 |   185423 |    87552 |   122009      0 |    40174 |      348
126.07/126.19	c  121s |      15 |   185649 |    87632 |   122009      0 |    40174 |      348
128.17/128.24	c  123s |      15 |   188074 |    88532 |   122009      0 |    40174 |      348
130.27/130.32	c  125s |      15 |   190674 |    89932 |   122009      0 |    40174 |      348
132.27/132.35	c  127s |      15 |   193943 |    91132 |   122009      0 |    40174 |      348
134.37/134.45	c  129s |      15 |   196542 |    92132 |   122009      0 |    40174 |      348
136.37/136.49	c  131s |      15 |   199870 |    93232 |   122009      0 |    40174 |      348
138.57/138.68	c  134s |      15 |   202820 |    94332 |   122009      0 |    40174 |      348
140.77/140.88	c  136s |      15 |   205863 |    95432 |   122009      0 |    40174 |      348
143.07/143.11	c  138s |      15 |   209009 |    96532 |   122009      0 |    40174 |      348
145.07/145.20	c  140s |      15 |   211750 |    97532 |   122009      0 |    40174 |      348
147.16/147.23	c  142s |      15 |   214176 |    98432 |   122009      0 |    40174 |      348
149.26/149.36	c  144s |      15 |   217365 |    99432 |   122009      0 |    40174 |      348
151.46/151.51	c  147s |      15 |   220492 |   100532 |   122009      0 |    40174 |      348
153.46/153.52	c  149s |      15 |   223448 |   101632 |   122009      0 |    40174 |      348
155.66/155.73	c  151s |      15 |   226196 |   102732 |   122009      0 |    40174 |      348
157.76/157.86	c  153s |      15 |   229086 |   103732 |   122009      0 |    40174 |      348
159.76/159.90	c  155s |      15 |   231858 |   104732 |   122009      0 |    40174 |      348
161.86/161.91	c  157s |      15 |   234819 |   105732 |   122009      0 |    40174 |      348
163.97/164.03	c  159s |      15 |   237574 |   106832 |   122009      0 |    40174 |      348
166.07/166.15	c  161s |      15 |   240716 |   108132 |   122009      0 |    40174 |      348
168.16/168.30	c  163s |      15 |   243652 |   109532 |   122009      0 |    40174 |      348
170.26/170.35	c  165s |      15 |   245569 |   110632 |   122009      0 |    40174 |      348
172.36/172.43	c  167s |      15 |   248396 |   111632 |   122009      0 |    40174 |      348
174.46/174.52	c  170s |      15 |   251115 |   112632 |   122009      0 |    40174 |      348
176.56/176.65	c  172s |      15 |   253640 |   113532 |   122009      0 |    40174 |      348
178.56/178.68	c  174s |      15 |   256205 |   114432 |   122009      0 |    40174 |      348
180.66/180.78	c  176s |      15 |   258512 |   115232 |   122009      0 |    40174 |      348
183.26/183.37	c  178s |      15 |   260678 |   116032 |   122009      0 |    40175 |      348
185.46/185.53	c  181s |      15 |   263884 |   116932 |   122009      0 |    40175 |      348
187.46/187.59	c  183s |      15 |   266327 |   117632 |   122009      0 |    40178 |      348
189.66/189.76	c  185s |      15 |   269247 |   118732 |   122009      0 |    40178 |      348
191.96/192.01	c  187s |      15 |   271556 |   119632 |   122009      0 |    40178 |      348
194.16/194.22	c  189s |      15 |   273916 |   120532 |   122009      0 |    40178 |      348
196.36/196.44	c  191s |      15 |   276693 |   121332 |   122009      0 |    40178 |      348
198.46/198.57	c  194s |      15 |   278935 |   122232 |   122009      0 |    40178 |      348
200.56/200.68	c  196s |      15 |   281489 |   123032 |   122009      0 |    40178 |      348
202.76/202.80	c  198s |      15 |   284228 |   123932 |   122009      0 |    40178 |      348
204.96/205.04	c  200s |      15 |   287057 |   124832 |   122009      0 |    40178 |      348
206.96/207.09	c  202s |      15 |   289601 |   125632 |   122009      0 |    40178 |      348
209.26/209.33	c  204s |      15 |   292399 |   126532 |   122009      0 |    40178 |      348
211.35/211.40	c  206s |      15 |   294891 |   127532 |   122009      0 |    40178 |      348
213.46/213.58	c  209s |      15 |   297233 |   128332 |   122009      0 |    40178 |      348
215.56/215.60	c  211s |      15 |   299432 |   129232 |   122009      0 |    40178 |      348
217.55/217.68	c  213s |      15 |   301462 |   130332 |   122009      0 |    40178 |      348
219.15/219.26	c  214s |      16 |   303111 |   131552 |   134210      0 |    40178 |      348
221.35/221.41	c  216s |      16 |   304598 |   132552 |   134210      0 |    40178 |      348
223.45/223.54	c  219s |      16 |   306551 |   133452 |   134210      0 |    40178 |      348
225.56/225.63	c  221s |      16 |   308634 |   134252 |   134210      0 |    40178 |      348
227.55/227.63	c  223s |      16 |   310709 |   135452 |   134210      0 |    40178 |      348
229.75/229.83	c  225s |      16 |   312492 |   136452 |   134210      0 |    40178 |      348
231.75/231.84	c  227s |      16 |   314421 |   137652 |   134210      0 |    40178 |      348
233.75/233.88	c  229s |      16 |   316973 |   139552 |   134210      0 |    40178 |      348
235.75/235.88	c  231s |      16 |   318513 |   140552 |   134210      0 |    40178 |      348
237.95/238.00	c  233s |      16 |   320690 |   141752 |   134210      0 |    40178 |      348
240.05/240.16	c  235s |      16 |   321964 |   142552 |   134210      0 |    40178 |      348
242.15/242.28	c  237s |      16 |   323890 |   143752 |   134210      0 |    40178 |      348
244.15/244.30	c  239s |      16 |   325599 |   144752 |   134210      0 |    40178 |      348
246.35/246.41	c  241s |      16 |   327354 |   145852 |   134210      0 |    40178 |      348
248.35/248.47	c  243s |      16 |   329088 |   146952 |   134210      0 |    40178 |      348
250.45/250.59	c  246s |      16 |   331064 |   148052 |   134210      0 |    40178 |      348
252.55/252.65	c  248s |      16 |   332458 |   148852 |   134210      0 |    40178 |      348
254.66/254.79	c  250s |      16 |   334415 |   149952 |   134210      0 |    40178 |      348
256.86/256.94	c  252s |      16 |   336276 |   150952 |   134210      0 |    40178 |      348
258.85/258.96	c  254s |      16 |   337993 |   151952 |   134210      0 |    40178 |      348
260.85/260.99	c  256s |      16 |   339436 |   152952 |   134210      0 |    40178 |      348
263.05/263.15	c  258s |      16 |   341262 |   153952 |   134210      0 |    40178 |      348
265.16/265.21	c  260s |      16 |   343217 |   154952 |   134210      0 |    40178 |      348
267.15/267.22	c  262s |      16 |   344584 |   155852 |   134210      0 |    40178 |      348
269.35/269.41	c  264s |      16 |   346497 |   156952 |   134210      0 |    40178 |      348
271.35/271.44	c  266s |      16 |   348222 |   157952 |   134210      0 |    40178 |      348
273.45/273.50	c  269s |      16 |   349878 |   158952 |   134210      0 |    40178 |      348
275.45/275.58	c  271s |      16 |   351387 |   159852 |   134210      0 |    40178 |      348
277.65/277.70	c  273s |      16 |   353142 |   160852 |   134210      0 |    40178 |      348
279.65/279.76	c  275s |      16 |   355036 |   161852 |   134210      0 |    40178 |      348
281.75/281.82	c  277s |      16 |   356800 |   162852 |   134210      0 |    40178 |      348
283.86/283.99	c  279s |      16 |   358196 |   163652 |   134210      0 |    40183 |      348
286.06/286.13	c  281s |      16 |   359985 |   164552 |   134210      0 |    40183 |      348
288.16/288.29	c  283s |      16 |   361740 |   165552 |   134210      0 |    40183 |      348
290.36/290.42	c  285s |      16 |   363070 |   166252 |   134210      0 |    40183 |      348
292.56/292.65	c  288s |      16 |   364510 |   166952 |   134210      0 |    40183 |      348
294.65/294.74	c  290s |      16 |   365842 |   167652 |   134210      0 |    40183 |      348
296.75/296.84	c  292s |      16 |   367138 |   168352 |   134210      0 |    40183 |      348
298.85/298.92	c  294s |      16 |   368429 |   169152 |   134210      0 |    40183 |      348
301.05/301.18	c  296s |      16 |   370338 |   169952 |   134210      0 |    40183 |      348
303.15/303.21	c  298s |      16 |   372113 |   170852 |   134210      0 |    40183 |      348
305.15/305.28	c  300s |      16 |   373681 |   171752 |   134210      0 |    40183 |      348
307.35/307.46	c  302s |      16 |   375264 |   172652 |   134210      0 |    40183 |      348
309.55/309.60	c  305s |      16 |   377030 |   173652 |   134210      0 |    40183 |      348
311.65/311.71	c  307s |      16 |   378709 |   174552 |   134210      0 |    40183 |      348
313.94/314.08	c  309s |      16 |   379499 |   174952 |   134210      1 |    40183 |      348
316.14/316.26	c  311s |      16 |   381412 |   175952 |   134210      1 |    40183 |      348
318.24/318.37	c  313s |      16 |   383307 |   176952 |   134210      1 |    40183 |      348
320.34/320.47	c  315s |      16 |   385367 |   178052 |   134210      1 |    40183 |      348
323.24/323.34	c  318s |      16 |   386436 |   178752 |   134210      1 |    40183 |      348
325.34/325.46	c  320s |      16 |   387526 |   179552 |   134210      1 |    40183 |      348
327.44/327.51	c  323s |      16 |   388928 |   180652 |   134210      1 |    40183 |      348
329.43/329.57	c  325s |      16 |   391052 |   182052 |   134210      1 |    40183 |      348
331.53/331.64	c  327s |      16 |   393278 |   183752 |   134210      1 |    40183 |      348
344.34/344.40	c  339s |      16 |   394999 |   184952 |   134210      1 |    40183 |      348
346.33/346.45	c  341s |      16 |   396963 |   185852 |   134210      1 |    40183 |      348
348.43/348.59	c  344s |      16 |   399080 |   187052 |   134210      1 |    40183 |      348
350.63/350.73	c  346s |      16 |   400874 |   188052 |   134210      1 |    40183 |      348
352.73/352.81	c  348s |      16 |   402632 |   189152 |   134210      1 |    40183 |      348
354.83/354.99	c  350s |      16 |   404056 |   190152 |   134210      1 |    40183 |      348
357.13/357.20	c  352s |      16 |   405112 |   190952 |   134210      1 |    40183 |      348
359.23/359.37	c  354s |      16 |   406158 |   191652 |   134210      1 |    40183 |      348
361.43/361.57	c  357s |      16 |   407117 |   192352 |   134210      1 |    40183 |      348
363.63/363.74	c  359s |      16 |   408340 |   193352 |   134210      1 |    40183 |      348
365.73/365.85	c  361s |      16 |   409468 |   194052 |   134210      1 |    40183 |      348
368.93/369.04	c  364s |      16 |   410063 |   194452 |   134210      1 |    40183 |      348
370.93/371.06	c  366s |      16 |   411784 |   195452 |   134210      1 |    40183 |      348
373.13/373.21	c  368s |      16 |   413793 |   196552 |   147631      1 |    40183 |      348
375.14/375.20	c  370s |      17 |   415232 |   197432 |   147631      1 |    40183 |      348
384.43/384.50	c  380s |      17 |   415508 |   197532 |   147631      1 |    40183 |      348
386.53/386.60	c  382s |      17 |   416881 |   198332 |   147631      1 |    40183 |      348
388.63/388.77	c  384s |      17 |   418427 |   198932 |   147631      1 |    40183 |      348
390.83/390.92	c  386s |      17 |   420473 |   199732 |   147631      1 |    40183 |      348
393.03/393.14	c  388s |      17 |   422514 |   200632 |   147631      1 |    40183 |      348
395.23/395.34	c  390s |      17 |   424546 |   201432 |   147631      1 |    40183 |      348
397.33/397.41	c  392s |      17 |   426284 |   202132 |   147631      1 |    40183 |      348
399.43/399.58	c  395s |      17 |   428109 |   202832 |   147631      1 |    40183 |      348
401.54/401.65	c  397s |      17 |   429898 |   203532 |   147631      1 |    40183 |      348
403.83/403.98	c  399s |      17 |   431717 |   204332 |   147631      1 |    40183 |      348
406.03/406.11	c  401s |      17 |   433462 |   205232 |   147631      1 |    40183 |      348
408.04/408.16	c  403s |      17 |   435533 |   206032 |   147631      1 |    40183 |      348
410.03/410.17	c  405s |      17 |   437596 |   207532 |   147631      1 |    40183 |      348
412.03/412.17	c  407s |      17 |   441739 |   211632 |   147631      1 |    40183 |      348
414.03/414.19	c  409s |      17 |   445053 |   214932 |   147631      1 |    40183 |      348
416.13/416.21	c  411s |      17 |   447933 |   217732 |   147631      1 |    40183 |      348
418.13/418.24	c  413s |      17 |   450287 |   220032 |   147631      1 |    40183 |      348
420.13/420.24	c  415s |      17 |   452407 |   222132 |   147631      1 |    40183 |      348
422.22/422.34	c  417s |      17 |   454677 |   224232 |   147631      1 |    40183 |      348
426.02/426.12	c  421s |      17 |   456381 |   224932 |   147631      1 |    40223 |      348
428.02/428.17	c  423s |      17 |   462928 |   231032 |   147631      1 |    40223 |      348
430.03/430.19	c  425s |      17 |   467125 |   234832 |   147631      1 |    40223 |      348
432.02/432.19	c  427s |      17 |   471058 |   238332 |   147631      1 |    40223 |      348
434.12/434.21	c  429s |      17 |   473279 |   240232 |   147631      1 |    40231 |      348
436.12/436.27	c  431s |      17 |   477018 |   243332 |   147631      1 |    40231 |      348
438.22/438.32	c  433s |      17 |   480088 |   245632 |   147631      1 |    40241 |      348
440.22/440.34	c  435s |      17 |   485541 |   248832 |   147631      1 |    40241 |      348
442.72/442.84	c  438s |      17 |   490160 |   251432 |   147631      1 |    40242 |      348
444.82/444.93	c  440s |      17 |   493659 |   253432 |   147631      1 |    40242 |      348
446.82/446.96	c  442s |      17 |   497668 |   255432 |   147631      1 |    40242 |      348
448.92/449.07	c  444s |      17 |   501715 |   257532 |   147631      1 |    40242 |      348
451.92/452.09	c  447s |      17 |   504278 |   258732 |   147631      1 |    40261 |      348
454.02/454.13	c  449s |      17 |   508358 |   261632 |   147631      1 |    40261 |      348
456.02/456.17	c  451s |      17 |   512014 |   264232 |   147631      1 |    40261 |      348
458.12/458.22	c  453s |      17 |   515484 |   266932 |   147631      1 |    40261 |      348
461.02/461.12	c  456s |      17 |   519036 |   269432 |   147631      1 |    40264 |      348
463.03/463.19	c  458s |      17 |   522333 |   272332 |   147631      1 |    40264 |      348
465.12/465.20	c  460s |      17 |   524853 |   274532 |   147631      1 |    40264 |      348
467.12/467.25	c  462s |      17 |   529332 |   278032 |   147631      1 |    40264 |      348
469.12/469.25	c  464s |      17 |   532243 |   280832 |   147631      1 |    40264 |      348
471.22/471.30	c  466s |      17 |   535567 |   283732 |   147631      1 |    40264 |      348
473.22/473.37	c  468s |      17 |   538702 |   286232 |   147631      1 |    40264 |      348
475.32/475.48	c  470s |      17 |   541208 |   288332 |   147631      1 |    40264 |      348
477.32/477.48	c  472s |      17 |   543639 |   290432 |   147631      1 |    40264 |      348
479.32/479.48	c  474s |      17 |   546316 |   292532 |   147631      1 |    40264 |      348
481.42/481.51	c  477s |      17 |   548270 |   294332 |   162395      1 |    40264 |      348
483.52/483.64	c  479s |      17 |   549995 |   296032 |   162395      1 |    40264 |      348
483.82/483.96	c  479s |      18 |   550210 |   296252 |   162395      1 |    40264 |      348
485.82/485.96	c  481s |      18 |   552293 |   298152 |   162395      1 |    40264 |      348
487.91/488.01	c  483s |      18 |   556374 |   302052 |   162395      1 |    40264 |      348
489.91/490.06	c  485s |      18 |   559564 |   304952 |   162395      1 |    40264 |      348
491.91/492.08	c  487s |      18 |   562354 |   307452 |   162395      1 |    40264 |      348
494.01/494.10	c  489s |      18 |   567009 |   309352 |   162395      1 |    40264 |      348
496.02/496.14	c  491s |      18 |   571423 |   311352 |   162395      1 |    40264 |      348
498.22/498.32	c  493s |      18 |   574527 |   312852 |   162395      1 |    40264 |      348
500.42/500.52	c  496s |      18 |   575818 |   313952 |   162395      1 |    40264 |      348
502.41/502.58	c  498s |      18 |   578972 |   315652 |   162395      1 |    40264 |      348
504.51/504.67	c  500s |      18 |   580755 |   317252 |   162395      1 |    40264 |      348
506.71/506.82	c  502s |      18 |   582039 |   318452 |   162395      1 |    40264 |      348
508.71/508.89	c  504s |      18 |   587738 |   320252 |   162395      1 |    40264 |      348
510.81/510.98	c  506s |      18 |   590433 |   320852 |   162395      2 |    40264 |      348
512.91/513.01	c  508s |      18 |   593584 |   322152 |   162395      2 |    40264 |      348
514.91/515.07	c  510s |      18 |   595870 |   323252 |   162395      2 |    40264 |      348
517.02/517.18	c  512s |      18 |   598328 |   324452 |   162395      2 |    40264 |      348
519.12/519.26	c  514s |      18 |   599970 |   325552 |   162395      2 |    40264 |      348
521.42/521.56	c  517s |      18 |   600819 |   326152 |   162395      2 |    40264 |      348
523.41/523.59	c  519s |      18 |   604050 |   327652 |   162395      2 |    40264 |      348
525.72/525.82	c  521s |      18 |   605239 |   328752 |   162395      2 |    40264 |      348
527.81/527.92	c  523s |      18 |   607451 |   330152 |   162395      2 |    40264 |      348
529.81/529.92	c  525s |      18 |   609275 |   331852 |   162395      2 |    40264 |      348
531.91/532.05	c  527s |      18 |   610745 |   333052 |   162395      2 |    40264 |      348
534.11/534.20	c  529s |      18 |   612348 |   334652 |   162395      2 |    40264 |      348
536.11/536.21	c  531s |      18 |   613447 |   335652 |   162395      2 |    40264 |      348
538.21/538.32	c  533s |      18 |   615672 |   337052 |   162395      2 |    40264 |      348
540.51/540.63	c  536s |      18 |   617110 |   338152 |   162395      2 |    40264 |      348
542.61/542.75	c  538s |      18 |   618066 |   338852 |   162395      2 |    40264 |      348
544.61/544.79	c  540s |      18 |   619533 |   340052 |   162395      2 |    40264 |      348
546.90/547.08	c  542s |      18 |   620756 |   340852 |   162395      2 |    40264 |      348
549.00/549.13	c  544s |      18 |   623187 |   341852 |   162395      2 |    40264 |      348
551.11/551.23	c  546s |      18 |   625617 |   342952 |   162395      2 |    40264 |      348
553.10/553.27	c  548s |      18 |   626879 |   343652 |   162395      2 |    40264 |      348
555.80/555.93	c  551s |      18 |   628480 |   344552 |   162395      2 |    40264 |      348
557.80/557.96	c  553s |      18 |   629748 |   345352 |   162395      2 |    40264 |      348
559.91/560.00	c  555s |      18 |   630642 |   345952 |   162395      2 |    40264 |      348
561.90/562.04	c  557s |      18 |   632403 |   347152 |   162395      2 |    40264 |      348
564.50/564.66	c  560s |      18 |   633757 |   348452 |   162395      2 |    40264 |      348
566.70/566.81	c  562s |      18 |   635761 |   349452 |   162395      2 |    40264 |      348
568.71/568.85	c  564s |      18 |   636819 |   350152 |   162395      2 |    40264 |      348
570.91/571.09	c  566s |      18 |   637583 |   350752 |   162395      2 |    40264 |      348
573.11/573.25	c  568s |      18 |   638213 |   351252 |   162395      2 |    40264 |      348
575.40/575.55	c  571s |      18 |   638908 |   351852 |   162395      2 |    40264 |      348
577.90/578.03	c  573s |      18 |   639429 |   352352 |   162395      2 |    40264 |      348
580.40/580.51	c  576s |      18 |   639849 |   352752 |   162395      2 |    40264 |      348
582.60/582.77	c  578s |      18 |   640503 |   353252 |   162395      2 |    40264 |      348
584.80/585.00	c  580s |      18 |   641720 |   354252 |   162395      2 |    40264 |      348
586.90/587.09	c  582s |      18 |   643139 |   355452 |   162395      2 |    40264 |      348
589.10/589.23	c  584s |      18 |   644566 |   356652 |   162395      2 |    40264 |      348
591.20/591.35	c  586s |      18 |   646038 |   357852 |   162395      2 |    40264 |      348
593.30/593.46	c  588s |      18 |   646543 |   358352 |   162395      2 |    40264 |      348
595.30/595.49	c  590s |      18 |   647657 |   359452 |   162395      2 |    40264 |      348
597.40/597.52	c  593s |      18 |   648749 |   360552 |   162395      2 |    40264 |      348
599.50/599.65	c  595s |      18 |   649656 |   361452 |   162395      2 |    40264 |      348
601.60/601.78	c  597s |      18 |   650454 |   362252 |   162395      2 |    40264 |      348
603.69/603.81	c  599s |      18 |   651620 |   363252 |   162395      2 |    40264 |      348
605.69/605.85	c  601s |      18 |   653569 |   364652 |   162395      2 |    40264 |      348
607.69/607.88	c  603s |      18 |   655025 |   365752 |   162395      2 |    40264 |      348
609.79/609.94	c  605s |      18 |   656598 |   367052 |   162395      2 |    40264 |      348
611.89/612.06	c  607s |      18 |   657872 |   368052 |   162395      2 |    40264 |      348
614.09/614.21	c  609s |      18 |   659184 |   369152 |   162395      2 |    40264 |      348
616.19/616.34	c  611s |      18 |   660268 |   370052 |   162395      2 |    40264 |      348
618.48/618.65	c  614s |      18 |   661672 |   371352 |   162395      2 |    40264 |      348
620.58/620.74	c  616s |      18 |   662477 |   372052 |   162395      2 |    40264 |      348
622.68/622.87	c  618s |      18 |   663098 |   372552 |   162395      2 |    40264 |      348
624.79/624.92	c  620s |      18 |   664449 |   373752 |   162395      2 |    40264 |      348
626.99/627.16	c  622s |      18 |   665400 |   374452 |   162395      2 |    40264 |      348
629.18/629.34	c  624s |      18 |   666280 |   375152 |   162395      2 |    40264 |      348
631.18/631.36	c  626s |      18 |   667164 |   375852 |   162395      2 |    40264 |      348
633.38/633.58	c  629s |      18 |   667795 |   376352 |   162395      2 |    40264 |      348
635.48/635.65	c  631s |      18 |   669057 |   377552 |   162395      2 |    40264 |      348
637.77/637.95	c  633s |      18 |   670203 |   378352 |   162395      2 |    40264 |      348
639.77/639.97	c  635s |      18 |   671375 |   379152 |   162395      2 |    40264 |      348
641.97/642.13	c  637s |      18 |   672051 |   379652 |   162395      2 |    40264 |      348
644.07/644.23	c  639s |      18 |   673392 |   380452 |   162395      2 |    40264 |      348
646.08/646.30	c  641s |      18 |   674448 |   381252 |   162395      2 |    40264 |      348
648.28/648.47	c  643s |      18 |   675596 |   382152 |   162395      2 |    40264 |      348
650.48/650.68	c  646s |      18 |   676455 |   382852 |   162395      2 |    40264 |      348
652.68/652.86	c  648s |      18 |   677477 |   383652 |   162395      2 |    40264 |      348
655.08/655.20	c  650s |      18 |   678373 |   384352 |   162395      2 |    40264 |      348
657.28/657.47	c  652s |      18 |   679416 |   385152 |   162395      2 |    40264 |      348
659.48/659.68	c  655s |      18 |   681033 |   386052 |   162395      2 |    40264 |      348
661.78/661.96	c  657s |      18 |   682058 |   386852 |   162395      2 |    40264 |      348
663.78/663.96	c  659s |      18 |   683004 |   387652 |   162395      2 |    40264 |      348
665.88/666.09	c  661s |      18 |   683747 |   388252 |   162395      2 |    40264 |      348
668.17/668.33	c  663s |      18 |   684886 |   388952 |   162395      2 |    40264 |      348
670.27/670.44	c  665s |      18 |   685953 |   389852 |   162395      2 |    40264 |      348
673.47/673.67	c  669s |      18 |   686527 |   390352 |   162395      2 |    40264 |      348
676.67/676.83	c  672s |      18 |   686728 |   390552 |   162395      2 |    40264 |      348
678.77/678.91	c  674s |      18 |   687397 |   391152 |   162395      2 |    40264 |      348
680.77/680.91	c  676s |      18 |   688206 |   391952 |   162395      2 |    40264 |      348
682.97/683.17	c  678s |      18 |   689176 |   392652 |   162395      2 |    40264 |      348
685.17/685.37	c  680s |      18 |   690193 |   393652 |   162395      2 |    40264 |      348
687.47/687.62	c  683s |      18 |   691361 |   394652 |   162395      2 |    40264 |      348
689.67/689.88	c  685s |      18 |   691974 |   395252 |   162395      2 |    40264 |      348
691.77/691.93	c  687s |      18 |   692861 |   396152 |   162395      2 |    40264 |      348
694.07/694.29	c  689s |      18 |   693567 |   396852 |   162395      2 |    40264 |      348
696.27/696.40	c  691s |      18 |   694671 |   397952 |   162395      2 |    40264 |      348
698.26/698.43	c  693s |      18 |   695783 |   399052 |   162395      2 |    40264 |      348
700.26/700.49	c  695s |      18 |   696885 |   400152 |   162395      2 |    40264 |      348
702.36/702.55	c  698s |      18 |   698340 |   401452 |   162395      2 |    40264 |      348
704.35/704.56	c  700s |      18 |   699480 |   402452 |   162395      2 |    40264 |      348
706.55/706.71	c  702s |      18 |   700479 |   403352 |   162395      2 |    40264 |      348
708.55/708.79	c  704s |      18 |   701711 |   404552 |   162395      2 |    40264 |      348
711.15/711.37	c  706s |      18 |   702668 |   405452 |   162395      2 |    40264 |      348
713.35/713.52	c  709s |      18 |   703200 |   405952 |   162395      2 |    40264 |      348
715.35/715.57	c  711s |      18 |   703974 |   406652 |   162395      2 |    40264 |      348
717.45/717.65	c  713s |      18 |   704882 |   407452 |   162395      2 |    40264 |      348
719.54/719.75	c  715s |      18 |   705821 |   408252 |   162395      2 |    40264 |      348
722.14/722.39	c  717s |      18 |   706458 |   408752 |   162395      2 |    40264 |      348
724.44/724.60	c  720s |      18 |   707110 |   409252 |   162395      2 |    40264 |      348
726.44/726.64	c  722s |      18 |   707777 |   409752 |   162395      2 |    40264 |      348
728.54/728.73	c  724s |      18 |   708591 |   410352 |   162395      2 |    40264 |      348
730.54/730.76	c  726s |      18 |   709317 |   410952 |   162395      2 |    40264 |      348
732.94/733.17	c  728s |      18 |   710051 |   411552 |   162395      2 |    40264 |      348
734.94/735.19	c  730s |      18 |   710577 |   411952 |   162395      2 |    40264 |      348
738.54/738.74	c  734s |      18 |   711053 |   412352 |   162395      2 |    40264 |      348
740.84/741.04	c  736s |      18 |   712009 |   413052 |   162395      2 |    40264 |      348
742.94/743.13	c  738s |      18 |   712726 |   413652 |   162395      2 |    40264 |      348
745.23/745.47	c  740s |      18 |   713342 |   414252 |   162395      2 |    40264 |      348
747.53/747.76	c  743s |      18 |   713843 |   414752 |   162395      2 |    40264 |      348
749.73/749.92	c  745s |      18 |   714445 |   415152 |   162395      2 |    40264 |      348
753.03/753.26	c  748s |      18 |   715063 |   415552 |   162395      2 |    40264 |      348
755.33/755.53	c  751s |      18 |   715913 |   416052 |   162395      2 |    40264 |      348
757.43/757.62	c  753s |      18 |   716886 |   416752 |   162395      2 |    40264 |      348
759.43/759.63	c  755s |      18 |   717384 |   417252 |   162395      2 |    40264 |      348
761.83/762.00	c  757s |      18 |   717889 |   417752 |   162395      2 |    40264 |      348
764.33/764.54	c  760s |      18 |   718443 |   418252 |   162395      2 |    40264 |      348
766.43/766.61	c  762s |      18 |   718984 |   418652 |   162395      2 |    40264 |      348
768.73/768.91	c  764s |      18 |   719690 |   419152 |   162395      2 |    40264 |      348
770.82/771.02	c  766s |      18 |   720430 |   419852 |   162395      2 |    40264 |      348
773.13/773.34	c  768s |      18 |   721131 |   420552 |   162395      2 |    40264 |      348
775.62/775.81	c  771s |      18 |   721375 |   420752 |   162395      2 |    40264 |      348
779.42/779.64	c  775s |      18 |   721563 |   420952 |   162395      2 |    40264 |      348
782.42/782.66	c  778s |      18 |   721771 |   421152 |   162395      2 |    40264 |      348
786.12/786.33	c  781s |      18 |   721967 |   421352 |   162395      2 |    40264 |      348
790.51/790.75	c  786s |      18 |   722632 |   421952 |   162395      3 |    40264 |      348
792.71/792.93	c  788s |      18 |   723303 |   422552 |   162395      3 |    40264 |      348
794.81/795.09	c  790s |      18 |   724233 |   423452 |   162395      3 |    40264 |      348
799.52/799.72	c  795s |      18 |   724938 |   424152 |   162395      3 |    40264 |      348
801.82/802.06	c  797s |      18 |   725640 |   424852 |   162395      3 |    40264 |      348
803.92/804.14	c  799s |      18 |   726843 |   426052 |   162395      3 |    40264 |      348
805.91/806.18	c  801s |      18 |   727858 |   427052 |   162395      3 |    40264 |      348
808.01/808.23	c  803s |      18 |   728757 |   427952 |   162395      3 |    40264 |      348
810.21/810.47	c  805s |      18 |   729480 |   428652 |   162395      3 |    40264 |      348
812.51/812.72	c  808s |      18 |   730600 |   429752 |   162395      3 |    40264 |      348
814.61/814.82	c  810s |      18 |   731433 |   430552 |   162395      3 |    40264 |      348
816.61/816.85	c  812s |      18 |   732438 |   431552 |   162395      3 |    40264 |      348
818.70/818.92	c  814s |      18 |   733452 |   432552 |   162395      3 |    40264 |      348
820.80/821.00	c  816s |      18 |   734357 |   433452 |   162395      3 |    40264 |      348
822.90/823.13	c  818s |      18 |   735260 |   434352 |   162395      3 |    40264 |      348
824.91/825.19	c  820s |      18 |   736172 |   435252 |   162395      3 |    40264 |      348
826.90/827.19	c  822s |      18 |   736973 |   436052 |   162395      3 |    40264 |      348
829.10/829.30	c  824s |      18 |   737862 |   436952 |   162395      3 |    40264 |      348
831.10/831.39	c  826s |      18 |   739165 |   438252 |   162395      3 |    40264 |      348
833.20/833.47	c  828s |      18 |   741192 |   439652 |   162395      3 |    40264 |      348
837.60/837.81	c  833s |      18 |   742431 |   440452 |   162395      3 |    40272 |      348
839.80/840.09	c  835s |      18 |   743112 |   440952 |   162395      3 |    40272 |      348
841.90/842.14	c  837s |      18 |   743604 |   441352 |   178635      3 |    40272 |      348
843.99/844.26	c  839s |      18 |   744308 |   441852 |   178635      3 |    40272 |      348
845.99/846.27	c  841s |      18 |   744934 |   442352 |   178635      3 |    40272 |      348
848.09/848.39	c  843s |      18 |   745834 |   443052 |   178635      3 |    40272 |      348
850.39/850.60	c  846s |      18 |   746893 |   443752 |   178635      3 |    40272 |      348
852.40/852.65	c  848s |      18 |   747448 |   444152 |   178635      3 |    40272 |      348
853.59/853.87	c  849s |      19 |   747952 |   444482 |   178635      3 |    40272 |      348
855.89/856.15	c  851s |      19 |   748792 |   444982 |   178635      3 |    40272 |      348
857.99/858.23	c  853s |      19 |   749343 |   445482 |   178635      3 |    40272 |      348
860.10/860.31	c  855s |      19 |   750370 |   446182 |   178635      3 |    40272 |      348
872.39/872.61	c  868s |      19 |   750727 |   446382 |   178635      3 |    40272 |      348
874.59/874.80	c  870s |      19 |   751445 |   446982 |   178635      3 |    40272 |      348
876.60/876.86	c  872s |      19 |   752485 |   447682 |   178635      3 |    40272 |      348
878.70/878.95	c  874s |      19 |   753784 |   448782 |   178635      3 |    40272 |      348
880.79/881.01	c  876s |      19 |   754840 |   449482 |   178635      3 |    40272 |      348
882.89/883.19	c  878s |      19 |   756226 |   450782 |   178635      3 |    40272 |      348
885.19/885.45	c  880s |      19 |   757077 |   451482 |   178635      3 |    40272 |      348
887.29/887.59	c  883s |      19 |   758218 |   452382 |   178635      3 |    40272 |      348
889.39/889.60	c  885s |      19 |   759108 |   453282 |   178635      3 |    40272 |      348
891.59/891.80	c  887s |      19 |   760009 |   453982 |   178635      3 |    40272 |      348
893.89/894.11	c  889s |      19 |   760777 |   454482 |   178635      3 |    40272 |      348
896.19/896.49	c  891s |      19 |   761866 |   455082 |   178635      3 |    40272 |      348
898.28/898.58	c  894s |      19 |   762553 |   455582 |   178635      3 |    40272 |      348
900.58/900.81	c  896s |      19 |   763638 |   456482 |   178635      3 |    40272 |      348
902.78/903.05	c  898s |      19 |   764584 |   457182 |   178635      3 |    40272 |      348
905.28/905.52	c  901s |      19 |   765011 |   457582 |   178635      3 |    40272 |      348
907.48/907.76	c  903s |      19 |   765640 |   458182 |   178635      3 |    40272 |      348
910.38/910.62	c  906s |      19 |   766130 |   458582 |   178635      3 |    40272 |      348
912.48/912.72	c  908s |      19 |   766537 |   458982 |   178635      3 |    40272 |      348
914.58/914.89	c  910s |      19 |   767760 |   460182 |   178635      3 |    40272 |      348
916.78/917.07	c  912s |      19 |   768601 |   460982 |   178635      3 |    40272 |      348
918.78/919.08	c  914s |      19 |   769348 |   461682 |   178635      3 |    40272 |      348
921.18/921.44	c  916s |      19 |   770017 |   462282 |   178635      3 |    40272 |      348
923.48/923.79	c  919s |      19 |   770656 |   462882 |   178635      3 |    40272 |      348
925.88/926.16	c  921s |      19 |   771278 |   463482 |   178635      3 |    40272 |      348
928.38/928.63	c  924s |      19 |   771724 |   463882 |   178635      3 |    40272 |      348
930.68/930.93	c  926s |      19 |   772234 |   464382 |   178635      3 |    40272 |      348
932.78/933.05	c  928s |      19 |   772728 |   464882 |   178635      3 |    40272 |      348
934.88/935.17	c  930s |      19 |   773738 |   465882 |   178635      3 |    40272 |      348
937.17/937.47	c  932s |      19 |   774647 |   466782 |   178635      3 |    40272 |      348
939.37/939.64	c  935s |      19 |   775349 |   467482 |   178635      3 |    40272 |      348
941.38/941.67	c  937s |      19 |   775843 |   467982 |   178635      3 |    40272 |      348
943.47/943.76	c  939s |      19 |   776464 |   468582 |   178635      3 |    40272 |      348
945.47/945.79	c  941s |      19 |   777087 |   469182 |   178635      3 |    40272 |      348
947.67/947.91	c  943s |      19 |   777800 |   469782 |   178635      3 |    40272 |      348
949.67/949.98	c  945s |      19 |   778426 |   470382 |   178635      3 |    40272 |      348
951.87/952.11	c  947s |      19 |   779110 |   470982 |   178635      3 |    40272 |      348
954.27/954.50	c  950s |      19 |   779848 |   471482 |   178635      3 |    40272 |      348
956.27/956.50	c  952s |      19 |   780351 |   471982 |   178635      3 |    40272 |      348
958.27/958.53	c  954s |      19 |   781147 |   472682 |   178635      3 |    40272 |      348
960.27/960.53	c  956s |      19 |   781954 |   473482 |   178635      3 |    40272 |      348
962.56/962.80	c  958s |      19 |   782693 |   474082 |   178635      3 |    40272 |      348
964.57/964.82	c  960s |      19 |   783408 |   474682 |   178635      3 |    40272 |      348
966.67/966.96	c  962s |      19 |   784323 |   475582 |   178635      3 |    40272 |      348
968.76/969.01	c  964s |      19 |   784955 |   476182 |   178635      3 |    40272 |      348
970.96/971.29	c  966s |      19 |   785681 |   476782 |   178635      3 |    40272 |      348
973.16/973.46	c  968s |      19 |   786594 |   477682 |   178635      3 |    40272 |      348
975.47/975.78	c  971s |      19 |   787242 |   478282 |   178635      3 |    40272 |      348
977.66/977.98	c  973s |      19 |   787779 |   478682 |   178635      3 |    40272 |      348
979.76/980.06	c  975s |      19 |   788670 |   479482 |   178635      3 |    40272 |      348
981.96/982.24	c  977s |      19 |   789292 |   480082 |   178635      3 |    40272 |      348
984.56/984.86	c  980s |      19 |   789727 |   480382 |   178635      3 |    40272 |      348
986.66/986.98	c  982s |      19 |   790484 |   481082 |   178635      3 |    40272 |      348
988.76/989.09	c  984s |      19 |   791282 |   481882 |   178635      3 |    40272 |      348
991.05/991.30	c  986s |      19 |   792197 |   482782 |   178635      3 |    40272 |      348
993.16/993.49	c  988s |      19 |   792989 |   483582 |   178635      3 |    40272 |      348
995.65/995.94	c  991s |      19 |   793691 |   484282 |   178635      3 |    40272 |      348
997.75/998.04	c  993s |      19 |   794590 |   485182 |   178635      3 |    40272 |      348
999.95/1000.23	c  995s |      19 |   795487 |   486082 |   178635      3 |    40272 |      348
1002.15/1002.41	c  997s |      19 |   796289 |   486882 |   178635      3 |    40272 |      348
1004.16/1004.45	c  999s |      19 |   796996 |   487582 |   178635      3 |    40272 |      348
1006.36/1006.67	c 1002s |      19 |   797992 |   488582 |   178635      3 |    40272 |      348
1008.35/1008.67	c 1004s |      19 |   798996 |   489582 |   178635      3 |    40272 |      348
1010.55/1010.87	c 1006s |      19 |   799754 |   490282 |   178635      3 |    40272 |      348
1012.65/1012.99	c 1008s |      19 |   800480 |   490882 |   178635      3 |    40272 |      348
1014.75/1015.08	c 1010s |      19 |   801270 |   491682 |   178635      3 |    40272 |      348
1016.95/1017.21	c 1012s |      19 |   802241 |   492182 |   178635      3 |    40272 |      348
1019.04/1019.32	c 1014s |      19 |   803107 |   492982 |   178635      3 |    40272 |      348
1021.24/1021.50	c 1017s |      19 |   803967 |   493682 |   178635      3 |    40272 |      348
1023.24/1023.57	c 1019s |      19 |   805134 |   494682 |   178635      3 |    40272 |      348
1025.34/1025.65	c 1021s |      19 |   806320 |   495682 |   178635      3 |    40272 |      348
1027.34/1027.67	c 1023s |      19 |   807379 |   496582 |   178635      3 |    40272 |      348
1029.54/1029.84	c 1025s |      19 |   808161 |   497282 |   178635      3 |    40272 |      348
1031.54/1031.86	c 1027s |      19 |   808854 |   497882 |   178635      3 |    40272 |      348
1033.74/1034.04	c 1029s |      19 |   809855 |   498682 |   178635      3 |    40272 |      348
1035.74/1036.08	c 1031s |      19 |   810459 |   499282 |   178635      3 |    40272 |      348
1038.03/1038.34	c 1033s |      19 |   810951 |   499782 |   178635      3 |    40272 |      348
1040.34/1040.68	c 1036s |      19 |   811459 |   500282 |   178635      3 |    40272 |      348
1042.64/1042.91	c 1038s |      19 |   812408 |   501082 |   178635      3 |    40272 |      348
1044.93/1045.25	c 1040s |      19 |   813410 |   501682 |   178635      3 |    40272 |      348
1047.33/1047.61	c 1043s |      19 |   814299 |   502282 |   178635      3 |    40272 |      348
1049.63/1049.94	c 1045s |      19 |   815141 |   502982 |   178635      3 |    40272 |      348
1051.93/1052.20	c 1047s |      19 |   815774 |   503582 |   178635      3 |    40272 |      348
1053.93/1054.21	c 1049s |      19 |   816805 |   504182 |   178635      3 |    40272 |      348
1056.13/1056.44	c 1051s |      19 |   817970 |   504782 |   178635      3 |    40272 |      348
1058.33/1058.66	c 1054s |      19 |   819078 |   505582 |   178635      3 |    40272 |      348
1060.63/1060.96	c 1056s |      19 |   820160 |   506382 |   178635      3 |    40272 |      348
1062.73/1063.09	c 1058s |      19 |   820842 |   506882 |   178635      3 |    40272 |      348
1065.33/1065.67	c 1061s |      19 |   821432 |   507382 |   178635      3 |    40272 |      348
1067.52/1067.88	c 1063s |      19 |   822688 |   507982 |   178635      3 |    40272 |      348
1069.82/1070.16	c 1065s |      19 |   824153 |   508582 |   178635      3 |    40272 |      348
1071.82/1072.18	c 1067s |      19 |   824672 |   508982 |   178635      3 |    40272 |      348
1073.92/1074.29	c 1069s |      19 |   825322 |   509582 |   178635      3 |    40272 |      348
1076.22/1076.50	c 1072s |      19 |   826214 |   510282 |   178635      3 |    40272 |      348
1078.22/1078.52	c 1074s |      19 |   826707 |   510782 |   178635      3 |    40272 |      348
1080.42/1080.76	c 1076s |      19 |   827436 |   511482 |   178635      3 |    40272 |      348
1082.62/1082.94	c 1078s |      19 |   827929 |   511982 |   178635      3 |    40272 |      348
1084.82/1085.13	c 1080s |      19 |   828441 |   512482 |   178635      3 |    40272 |      348
1087.02/1087.31	c 1082s |      19 |   829206 |   512882 |   178635      3 |    40272 |      348
1089.01/1089.38	c 1084s |      19 |   829748 |   513382 |   178635      3 |    40272 |      348
1091.11/1091.41	c 1086s |      19 |   830237 |   513882 |   178635      3 |    40272 |      348
1093.51/1093.88	c 1089s |      19 |   830750 |   514382 |   178635      3 |    40272 |      348
1095.82/1096.14	c 1091s |      19 |   831045 |   514682 |   178635      3 |    40272 |      348
1098.22/1098.54	c 1094s |      19 |   831443 |   515082 |   178635      3 |    40272 |      348
1100.31/1100.68	c 1096s |      19 |   831837 |   515482 |   178635      3 |    40272 |      348
1102.41/1102.72	c 1098s |      19 |   832550 |   516182 |   178635      3 |    40272 |      348
1104.51/1104.83	c 1100s |      19 |   833050 |   516682 |   178635      3 |    40272 |      348
1107.11/1107.42	c 1102s |      19 |   833676 |   517082 |   178635      3 |    40272 |      348
1109.62/1110.00	c 1105s |      19 |   834316 |   517482 |   178635      3 |    40272 |      348
1112.11/1112.45	c 1107s |      19 |   834917 |   517882 |   178635      3 |    40272 |      348
1114.91/1115.22	c 1110s |      19 |   835591 |   518282 |   178635      3 |    40272 |      348
1117.21/1117.56	c 1113s |      19 |   835984 |   518682 |   178635      3 |    40272 |      348
1119.62/1119.98	c 1115s |      19 |   836396 |   519082 |   178635      3 |    40272 |      348
1121.72/1122.08	c 1117s |      19 |   836806 |   519482 |   178635      3 |    40272 |      348
1123.71/1124.08	c 1119s |      19 |   837379 |   519982 |   178635      3 |    40272 |      348
1126.21/1126.58	c 1122s |      19 |   838009 |   520482 |   178635      3 |    40272 |      348
1128.31/1128.66	c 1124s |      19 |   838496 |   520882 |   178635      3 |    40272 |      348
1130.81/1131.15	c 1126s |      19 |   838973 |   521282 |   178635      3 |    40272 |      348
1133.00/1133.38	c 1128s |      19 |   839609 |   521682 |   178635      3 |    40272 |      348
1135.20/1135.54	c 1131s |      19 |   840228 |   522082 |   178635      3 |    40272 |      348
1137.40/1137.72	c 1133s |      19 |   840848 |   522482 |   178635      3 |    40272 |      348
1139.90/1140.21	c 1135s |      19 |   841434 |   522882 |   178635      3 |    40272 |      348
1142.00/1142.34	c 1137s |      19 |   841962 |   523282 |   178635      3 |    40272 |      348
1144.40/1144.79	c 1140s |      19 |   842706 |   523782 |   178635      3 |    40272 |      348
1146.50/1146.82	c 1142s |      19 |   843267 |   524182 |   178635      3 |    40272 |      348
1148.50/1148.85	c 1144s |      19 |   843961 |   524682 |   178635      3 |    40272 |      348
1151.10/1151.45	c 1146s |      19 |   844712 |   525382 |   178635      3 |    40272 |      348
1153.30/1153.67	c 1149s |      19 |   845356 |   525682 |   178635      3 |    40272 |      348
1156.70/1157.06	c 1152s |      19 |   846020 |   526182 |   178635      3 |    40272 |      348
1180.99/1181.40	c 1176s |      19 |   846956 |   526482 |   178635      3 |    40273 |      348
1183.09/1183.43	c 1178s |      19 |   848548 |   527982 |   178635      3 |    40273 |      348
1185.19/1185.52	c 1181s |      19 |   853708 |   530982 |   178635      3 |    40273 |      348
1187.19/1187.58	c 1183s |      19 |   855874 |   532882 |   178635      3 |    40273 |      348
1189.39/1189.71	c 1185s |      19 |   857760 |   534582 |   178635      3 |    40273 |      348
1191.39/1191.74	c 1187s |      19 |   859439 |   536082 |   178635      3 |    40273 |      348
1193.49/1193.87	c 1189s |      19 |   861018 |   537582 |   178635      3 |    40273 |      348
1195.59/1195.98	c 1191s |      19 |   862561 |   538982 |   178635      3 |    40273 |      348
1197.69/1198.07	c 1193s |      19 |   863917 |   540282 |   178635      3 |    40273 |      348
1199.79/1200.13	c 1195s |      19 |   865266 |   541482 |   178635      3 |    40273 |      348
1201.79/1202.19	c 1197s |      19 |   866541 |   542682 |   178635      3 |    40273 |      348
1203.89/1204.21	c 1199s |      19 |   867726 |   543782 |   178635      3 |    40273 |      348
1205.99/1206.31	c 1201s |      19 |   868924 |   544882 |   178635      3 |    40273 |      348
1208.08/1208.42	c 1203s |      19 |   870062 |   545882 |   178635      3 |    40273 |      348
1210.08/1210.49	c 1206s |      19 |   871067 |   546882 |   178635      3 |    40273 |      348
1212.18/1212.54	c 1208s |      19 |   872062 |   547782 |   178635      3 |    40273 |      348
1214.19/1214.59	c 1210s |      19 |   873025 |   548682 |   178635      3 |    40273 |      348
1216.48/1216.81	c 1212s |      19 |   873948 |   549582 |   178635      3 |    40273 |      348
1218.49/1218.87	c 1214s |      19 |   874801 |   550382 |   178635      3 |    40273 |      348
1220.69/1221.02	c 1216s |      19 |   875848 |   551282 |   178635      3 |    40273 |      348
1222.78/1223.20	c 1218s |      19 |   876810 |   552182 |   178635      3 |    40273 |      348
1225.28/1225.65	c 1221s |      19 |   877430 |   552782 |   178635      4 |    40273 |      348
1227.39/1227.73	c 1223s |      19 |   878325 |   553582 |   178635      4 |    40273 |      348
1229.48/1229.81	c 1225s |      19 |   879224 |   554382 |   178635      4 |    40273 |      348
1231.68/1232.03	c 1227s |      19 |   880032 |   555182 |   178635      4 |    40273 |      348
1233.68/1234.07	c 1229s |      19 |   880812 |   555882 |   178635      4 |    40273 |      348
1235.78/1236.12	c 1231s |      19 |   881583 |   556582 |   178635      4 |    40273 |      348
1237.77/1238.16	c 1233s |      19 |   882332 |   557282 |   178635      4 |    40273 |      348
1239.77/1240.19	c 1235s |      19 |   883102 |   557982 |   178635      4 |    40273 |      348
1241.97/1242.30	c 1237s |      19 |   883851 |   558682 |   178635      4 |    40273 |      348
1244.07/1244.49	c 1239s |      19 |   884550 |   559382 |   178635      4 |    40273 |      348
1246.17/1246.59	c 1242s |      19 |   885207 |   559982 |   178635      4 |    40273 |      348
1248.37/1248.75	c 1244s |      19 |   885894 |   560582 |   178635      4 |    40273 |      348
1250.47/1250.83	c 1246s |      19 |   886463 |   561182 |   178635      4 |    40273 |      348
1252.77/1253.11	c 1248s |      19 |   887051 |   561682 |   178635      4 |    40273 |      348
1254.87/1255.21	c 1250s |      19 |   887673 |   562282 |   178635      4 |    40273 |      348
1256.97/1257.40	c 1252s |      19 |   888336 |   562882 |   178635      4 |    40273 |      348
1259.17/1259.53	c 1255s |      19 |   888958 |   563482 |   178635      4 |    40273 |      348
1261.26/1261.68	c 1257s |      19 |   889520 |   564082 |   178635      4 |    40273 |      348
1263.57/1263.92	c 1259s |      19 |   890166 |   564682 |   178635      4 |    40273 |      348
1265.56/1265.95	c 1261s |      19 |   890701 |   565182 |   178635      4 |    40273 |      348
1267.76/1268.13	c 1263s |      19 |   891178 |   565682 |   178635      4 |    40273 |      348
1270.56/1270.94	c 1266s |      19 |   891878 |   566282 |   178635      4 |    40273 |      348
1272.66/1273.04	c 1268s |      19 |   892437 |   566782 |   178635      4 |    40273 |      348
1274.67/1275.06	c 1270s |      19 |   893000 |   567282 |   178635      4 |    40273 |      348
1276.76/1277.16	c 1272s |      19 |   893509 |   567782 |   178635      4 |    40273 |      348
1278.96/1279.36	c 1274s |      19 |   894130 |   568282 |   178635      4 |    40273 |      348
1281.16/1281.51	c 1277s |      19 |   894672 |   568782 |   178635      4 |    40273 |      348
1283.26/1283.68	c 1279s |      19 |   895236 |   569282 |   178635      4 |    40273 |      348
1285.56/1285.91	c 1281s |      19 |   895771 |   569782 |   178635      4 |    40273 |      348
1287.66/1288.09	c 1283s |      19 |   896337 |   570282 |   178635      4 |    40273 |      348
1290.06/1290.48	c 1285s |      19 |   896844 |   570782 |   178635      4 |    40273 |      348
1292.46/1292.87	c 1288s |      19 |   897426 |   571282 |   178635      4 |    40273 |      348
1294.76/1295.11	c 1290s |      19 |   898010 |   571782 |   178635      4 |    40273 |      348
1297.15/1297.52	c 1293s |      19 |   898534 |   572282 |   178635      4 |    40273 |      348
1299.15/1299.53	c 1295s |      19 |   898997 |   572682 |   178635      4 |    40273 |      348
1301.55/1301.94	c 1297s |      19 |   899550 |   573182 |   178635      4 |    40273 |      348
1303.65/1304.04	c 1299s |      19 |   900003 |   573582 |   178635      4 |    40273 |      348
1305.75/1306.17	c 1301s |      19 |   900400 |   573982 |   178635      4 |    40273 |      348
1308.05/1308.42	c 1303s |      19 |   900824 |   574382 |   178635      4 |    40273 |      348
1310.15/1310.51	c 1306s |      19 |   901334 |   574782 |   178635      4 |    40273 |      348
1312.25/1312.61	c 1308s |      19 |   901749 |   575182 |   178635      4 |    40273 |      348
1314.35/1314.72	c 1310s |      19 |   902149 |   575582 |   178635      4 |    40273 |      348
1316.55/1316.90	c 1312s |      19 |   902522 |   575982 |   178635      4 |    40273 |      348
1318.66/1319.07	c 1314s |      19 |   902973 |   576382 |   178635      4 |    40273 |      348
1320.76/1321.14	c 1316s |      19 |   903433 |   576782 |   178635      4 |    40273 |      348
1322.85/1323.29	c 1318s |      19 |   903885 |   577182 |   178635      4 |    40273 |      348
1324.95/1325.38	c 1320s |      19 |   904353 |   577582 |   178635      4 |    40273 |      348
1327.05/1327.41	c 1322s |      19 |   904839 |   577982 |   178635      4 |    40273 |      348
1329.25/1329.62	c 1325s |      19 |   905247 |   578382 |   178635      4 |    40273 |      348
1331.45/1331.88	c 1327s |      19 |   905743 |   578782 |   178635      4 |    40273 |      348
1333.75/1334.15	c 1329s |      19 |   906205 |   579182 |   178635      4 |    40273 |      348
1336.05/1336.41	c 1331s |      19 |   906655 |   579582 |   178635      4 |    40273 |      348
1338.35/1338.71	c 1334s |      19 |   907093 |   579982 |   178635      4 |    40273 |      348
1340.55/1340.95	c 1336s |      19 |   907555 |   580382 |   178635      4 |    40273 |      348
1342.75/1343.17	c 1338s |      19 |   908008 |   580782 |   178635      4 |    40273 |      348
1344.95/1345.35	c 1340s |      19 |   908517 |   581182 |   178635      4 |    40273 |      348
1347.15/1347.59	c 1343s |      19 |   909000 |   581582 |   178635      4 |    40273 |      348
1349.35/1349.74	c 1345s |      19 |   909409 |   581982 |   178635      4 |    40273 |      348
1351.65/1352.04	c 1347s |      19 |   909845 |   582382 |   178635      4 |    40273 |      348
1354.04/1354.47	c 1349s |      19 |   910231 |   582782 |   178635      4 |    40273 |      348
1356.44/1356.85	c 1352s |      19 |   910512 |   582982 |   178635      4 |    40273 |      348
1358.54/1358.96	c 1354s |      19 |   910957 |   583382 |   178635      4 |    40273 |      348
1360.74/1361.11	c 1356s |      19 |   911343 |   583782 |   178635      4 |    40273 |      348
1362.84/1363.28	c 1358s |      19 |   911840 |   584182 |   178635      4 |    40273 |      348
1365.24/1365.60	c 1361s |      19 |   912214 |   584582 |   178635      4 |    40273 |      348
1367.64/1368.08	c 1363s |      19 |   912682 |   584982 |   178635      4 |    40273 |      348
1370.35/1370.78	c 1366s |      19 |   913068 |   585382 |   178635      4 |    40273 |      348
1373.04/1373.40	c 1368s |      19 |   913557 |   585782 |   178635      4 |    40273 |      348
1375.44/1375.82	c 1371s |      19 |   914021 |   586182 |   178635      4 |    40273 |      348
1377.84/1378.24	c 1373s |      19 |   914480 |   586582 |   178635      4 |    40273 |      348
1380.25/1380.61	c 1376s |      19 |   914933 |   586982 |   178635      4 |    40273 |      348
1382.74/1383.10	c 1378s |      19 |   915312 |   587382 |   178635      4 |    40273 |      348
1385.24/1385.64	c 1381s |      19 |   915765 |   587782 |   178635      4 |    40273 |      348
1387.64/1388.01	c 1383s |      19 |   916215 |   588182 |   178635      4 |    40273 |      348
1390.04/1390.47	c 1385s |      19 |   916640 |   588582 |   178635      4 |    40273 |      348
1392.54/1392.97	c 1388s |      19 |   917092 |   588982 |   178635      4 |    40273 |      348
1395.23/1395.62	c 1391s |      19 |   917555 |   589382 |   178635      4 |    40273 |      348
1397.33/1397.71	c 1393s |      19 |   917859 |   589682 |   178635      4 |    40273 |      348
1399.43/1399.80	c 1395s |      19 |   918172 |   589982 |   178635      4 |    40273 |      348
1401.43/1401.86	c 1397s |      19 |   918529 |   590282 |   178635      4 |    40273 |      348
1403.53/1403.90	c 1399s |      19 |   918878 |   590582 |   178635      4 |    40273 |      348
1405.54/1405.97	c 1401s |      19 |   919186 |   590882 |   178635      4 |    40273 |      348
1407.74/1408.11	c 1403s |      19 |   919549 |   591182 |   178635      4 |    40273 |      348
1409.84/1410.27	c 1405s |      19 |   919858 |   591482 |   178635      4 |    40273 |      348
1412.04/1412.48	c 1407s |      19 |   920210 |   591782 |   178635      4 |    40273 |      348
1414.13/1414.55	c 1410s |      19 |   920517 |   592082 |   178635      4 |    40273 |      348
1416.23/1416.65	c 1412s |      19 |   920828 |   592382 |   178635      4 |    40273 |      348
1418.23/1418.69	c 1414s |      19 |   921065 |   592682 |   178635      4 |    40273 |      348
1420.43/1420.82	c 1416s |      19 |   921437 |   592982 |   178635      4 |    40273 |      348
1422.53/1422.95	c 1418s |      19 |   921755 |   593282 |   178635      4 |    40273 |      348
1424.73/1425.15	c 1420s |      19 |   922104 |   593582 |   178635      4 |    40273 |      348
1426.93/1427.36	c 1422s |      19 |   922470 |   593882 |   178635      4 |    40273 |      348
1429.33/1429.70	c 1425s |      19 |   922768 |   594182 |   178635      4 |    40273 |      348
1431.63/1432.09	c 1427s |      19 |   923099 |   594482 |   178635      4 |    40273 |      348
1433.93/1434.34	c 1429s |      19 |   923372 |   594782 |   178635      4 |    40273 |      348
1436.13/1436.53	c 1432s |      19 |   923726 |   595082 |   178635      4 |    40273 |      348
1438.33/1438.75	c 1434s |      19 |   924090 |   595382 |   178635      4 |    40273 |      348
1441.03/1441.42	c 1436s |      19 |   924459 |   595682 |   178635      4 |    40273 |      348
1443.53/1443.95	c 1439s |      19 |   924771 |   595982 |   178635      4 |    40273 |      348
1445.93/1446.32	c 1441s |      19 |   925050 |   596282 |   178635      4 |    40273 |      348
1448.23/1448.69	c 1444s |      19 |   925372 |   596582 |   178635      4 |    40273 |      348
1450.63/1451.02	c 1446s |      19 |   925698 |   596882 |   178635      4 |    40273 |      348
1452.94/1453.39	c 1448s |      19 |   926023 |   597182 |   178635      4 |    40273 |      348
1455.23/1455.63	c 1451s |      19 |   926357 |   597482 |   178635      4 |    40273 |      348
1457.53/1457.98	c 1453s |      19 |   926668 |   597782 |   178635      4 |    40273 |      348
1459.93/1460.35	c 1455s |      19 |   926979 |   598082 |   178635      4 |    40273 |      348
1462.43/1462.87	c 1458s |      19 |   927327 |   598382 |   178635      4 |    40273 |      348
1465.03/1465.40	c 1460s |      19 |   927679 |   598682 |   178635      4 |    40273 |      348
1467.43/1467.80	c 1463s |      19 |   927986 |   598982 |   178635      4 |    40273 |      348
1469.83/1470.28	c 1465s |      19 |   928236 |   599282 |   178635      4 |    40273 |      348
1472.33/1472.79	c 1468s |      19 |   928561 |   599582 |   178635      4 |    40273 |      348
1474.93/1475.31	c 1470s |      19 |   928886 |   599882 |   178635      4 |    40273 |      348
1477.33/1477.73	c 1473s |      19 |   929221 |   600182 |   178635      4 |    40273 |      348
1479.73/1480.18	c 1475s |      19 |   929531 |   600482 |   178635      4 |    40273 |      348
1482.23/1482.66	c 1478s |      19 |   929843 |   600782 |   178635      4 |    40273 |      348
1484.83/1485.23	c 1480s |      19 |   930173 |   601082 |   178635      4 |    40273 |      348
1487.33/1487.71	c 1483s |      19 |   930482 |   601382 |   178635      4 |    40273 |      348
1489.83/1490.20	c 1485s |      19 |   930793 |   601682 |   178635      4 |    40273 |      348
1492.23/1492.61	c 1488s |      19 |   931104 |   601982 |   178635      4 |    40273 |      348
1494.73/1495.11	c 1490s |      19 |   931416 |   602282 |   178635      4 |    40273 |      348
1497.53/1497.92	c 1493s |      19 |   931752 |   602582 |   178635      4 |    40273 |      348
1500.04/1500.42	c 1495s |      19 |   932065 |   602882 |   178635      4 |    40273 |      348
1502.43/1502.80	c 1498s |      19 |   932424 |   603182 |   178635      4 |    40273 |      348
1504.83/1505.26	c 1500s |      19 |   932778 |   603482 |   178635      4 |    40273 |      348
1507.33/1507.74	c 1503s |      19 |   933131 |   603782 |   178635      4 |    40273 |      348
1509.83/1510.21	c 1505s |      19 |   933464 |   604082 |   178635      4 |    40273 |      348
1512.13/1512.57	c 1508s |      19 |   933753 |   604382 |   178635      4 |    40273 |      348
1514.43/1514.83	c 1510s |      19 |   934103 |   604682 |   178635      4 |    40273 |      348
1516.72/1517.11	c 1512s |      19 |   934478 |   604982 |   178635      4 |    40273 |      348
1519.02/1519.47	c 1514s |      19 |   934809 |   605282 |   178635      4 |    40273 |      348
1521.52/1521.92	c 1517s |      19 |   935117 |   605582 |   178635      4 |    40273 |      348
1523.72/1524.11	c 1519s |      19 |   935467 |   605882 |   178635      4 |    40273 |      348
1526.02/1526.40	c 1521s |      19 |   935775 |   606182 |   178635      4 |    40273 |      348
1528.22/1528.68	c 1524s |      19 |   936139 |   606482 |   178635      4 |    40273 |      348
1530.72/1531.14	c 1526s |      19 |   936449 |   606782 |   178635      4 |    40273 |      348
1533.42/1533.85	c 1529s |      19 |   936814 |   607082 |   178635      4 |    40273 |      348
1536.12/1536.50	c 1532s |      19 |   937168 |   607382 |   178635      4 |    40273 |      348
1538.72/1539.14	c 1534s |      19 |   937443 |   607682 |   178635      4 |    40273 |      348
1541.22/1541.68	c 1537s |      19 |   937780 |   607982 |   178635      4 |    40273 |      348
1543.92/1544.32	c 1539s |      19 |   938138 |   608282 |   178635      4 |    40273 |      348
1546.52/1546.98	c 1542s |      19 |   938512 |   608582 |   178635      4 |    40273 |      348
1549.12/1549.55	c 1545s |      19 |   938819 |   608882 |   178635      4 |    40273 |      348
1551.73/1552.15	c 1547s |      19 |   939182 |   609182 |   178635      4 |    40273 |      348
1554.32/1554.70	c 1550s |      19 |   939492 |   609482 |   178635      4 |    40273 |      348
1556.82/1557.29	c 1552s |      19 |   939749 |   609782 |   178635      4 |    40273 |      348
1559.43/1559.82	c 1555s |      19 |   940100 |   610082 |   178635      4 |    40273 |      348
1562.02/1562.47	c 1557s |      19 |   940433 |   610382 |   178635      4 |    40273 |      348
1564.62/1565.09	c 1560s |      19 |   940783 |   610682 |   178635      4 |    40273 |      348
1567.22/1567.68	c 1563s |      19 |   941108 |   610982 |   178635      4 |    40273 |      348
1569.92/1570.32	c 1565s |      19 |   941434 |   611282 |   178635      4 |    40273 |      348
1572.62/1573.07	c 1568s |      19 |   941767 |   611582 |   178635      4 |    40273 |      348
1575.41/1575.83	c 1571s |      19 |   942078 |   611882 |   178635      4 |    40273 |      348
1578.22/1578.63	c 1574s |      19 |   942389 |   612182 |   178635      4 |    40273 |      348
1581.11/1581.52	c 1577s |      19 |   942647 |   612482 |   178635      4 |    40273 |      348
1583.72/1584.10	c 1579s |      19 |   942998 |   612782 |   178635      4 |    40273 |      348
1586.31/1586.80	c 1582s |      19 |   943356 |   613082 |   178635      4 |    40273 |      348
1589.12/1589.50	c 1585s |      19 |   943720 |   613382 |   178635      4 |    40273 |      348
1591.11/1591.55	c 1587s |      19 |   943896 |   613582 |   178635      4 |    40273 |      348
1593.71/1594.15	c 1589s |      19 |   944221 |   613882 |   178635      4 |    40273 |      348
1596.31/1596.74	c 1592s |      19 |   944584 |   614182 |   178635      4 |    40273 |      348
1599.02/1599.50	c 1595s |      19 |   944935 |   614482 |   178635      4 |    40273 |      348
1601.81/1602.24	c 1597s |      19 |   945243 |   614782 |   178635      4 |    40273 |      348
1604.62/1605.03	c 1600s |      19 |   945554 |   615082 |   178635      4 |    40273 |      348
1606.61/1607.08	c 1602s |      19 |   945764 |   615282 |   178635      4 |    40273 |      348
1609.51/1609.92	c 1605s |      19 |   946139 |   615582 |   178635      4 |    40273 |      348
1611.51/1611.99	c 1607s |      19 |   946372 |   615782 |   178635      4 |    40273 |      348
1613.71/1614.11	c 1609s |      19 |   946550 |   615982 |   178635      4 |    40273 |      348
1616.72/1617.11	c 1612s |      19 |   946883 |   616282 |   178635      4 |    40273 |      348
1619.71/1620.15	c 1615s |      19 |   947195 |   616582 |   178635      4 |    40273 |      348
1621.81/1622.29	c 1617s |      19 |   947475 |   616782 |   178635      4 |    40273 |      348
1623.91/1624.35	c 1619s |      19 |   947636 |   616982 |   178635      4 |    40273 |      348
1627.11/1627.50	c 1623s |      19 |   947945 |   617282 |   178635      4 |    40273 |      348
1629.11/1629.52	c 1625s |      19 |   948184 |   617482 |   178635      4 |    40273 |      348
1631.41/1631.80	c 1627s |      19 |   948405 |   617682 |   178635      4 |    40273 |      348
1633.41/1633.84	c 1629s |      19 |   948586 |   617882 |   178635      4 |    40273 |      348
1635.61/1636.05	c 1631s |      19 |   948833 |   618082 |   178635      4 |    40273 |      348
1637.61/1638.06	c 1633s |      19 |   949037 |   618282 |   178635      4 |    40273 |      348
1639.60/1640.09	c 1635s |      19 |   949272 |   618482 |   178635      4 |    40273 |      348
1641.80/1642.24	c 1637s |      19 |   949450 |   618682 |   178635      4 |    40273 |      348
1644.70/1645.11	c 1640s |      19 |   949784 |   618982 |   178635      4 |    40273 |      348
1647.60/1648.04	c 1643s |      19 |   950095 |   619282 |   178635      4 |    40273 |      348
1649.61/1650.04	c 1645s |      19 |   950374 |   619482 |   178635      4 |    40273 |      348
1651.70/1652.11	c 1647s |      19 |   950534 |   619682 |   178635      4 |    40273 |      348
1654.80/1655.25	c 1650s |      19 |   950843 |   619982 |   178635      4 |    40273 |      348
1656.90/1657.31	c 1652s |      19 |   951082 |   620182 |   178635      4 |    40273 |      348
1659.20/1659.64	c 1655s |      19 |   951303 |   620382 |   178635      4 |    40273 |      348
1661.40/1661.84	c 1657s |      19 |   951481 |   620582 |   178635      4 |    40273 |      348
1663.60/1664.01	c 1659s |      19 |   951742 |   620782 |   178635      4 |    40273 |      348
1666.00/1666.43	c 1661s |      19 |   951904 |   620982 |   178635      4 |    40273 |      348
1668.00/1668.47	c 1663s |      19 |   952126 |   621182 |   178635      4 |    40273 |      348
1670.40/1670.82	c 1666s |      19 |   952364 |   621382 |   178635      4 |    40273 |      348
1672.81/1673.26	c 1668s |      19 |   952512 |   621582 |   178635      4 |    40273 |      348
1675.01/1675.44	c 1670s |      19 |   952751 |   621782 |   178635      4 |    40273 |      348
1677.50/1677.90	c 1673s |      19 |   952973 |   621982 |   178635      4 |    40273 |      348
1679.70/1680.19	c 1675s |      19 |   953158 |   622182 |   178635      4 |    40273 |      348
1682.30/1682.70	c 1678s |      19 |   953435 |   622382 |   178635      4 |    40273 |      348
1684.40/1684.88	c 1680s |      19 |   953613 |   622582 |   178635      4 |    40273 |      348
1686.70/1687.12	c 1682s |      19 |   953860 |   622782 |   178635      4 |    40273 |      348
1689.00/1689.42	c 1684s |      19 |   954064 |   622982 |   178635      4 |    40273 |      348
1691.10/1691.57	c 1687s |      19 |   954297 |   623182 |   178635      4 |    40273 |      348
1693.70/1694.11	c 1689s |      19 |   954503 |   623382 |   178635      4 |    40273 |      348
1696.79/1697.30	c 1692s |      19 |   954854 |   623682 |   178635      4 |    40273 |      348
1699.10/1699.56	c 1695s |      19 |   955114 |   623882 |   178635      4 |    40273 |      348
1701.69/1702.14	c 1697s |      19 |   955288 |   624082 |   178635      4 |    40273 |      348
1703.69/1704.18	c 1699s |      19 |   955537 |   624282 |   178635      4 |    40273 |      348
1706.19/1706.64	c 1702s |      19 |   955772 |   624482 |   178635      4 |    40273 |      348
1708.39/1708.83	c 1704s |      19 |   955934 |   624682 |   178635      4 |    40273 |      348
1710.69/1711.15	c 1706s |      19 |   956190 |   624882 |   178635      4 |    40273 |      348
1712.99/1713.49	c 1709s |      19 |   956366 |   625082 |   178635      4 |    40273 |      348
1715.19/1715.67	c 1711s |      19 |   956641 |   625282 |   178635      4 |    40273 |      348
1717.69/1718.18	c 1713s |      19 |   956874 |   625482 |   178635      4 |    40273 |      348
1719.79/1720.25	c 1715s |      19 |   957051 |   625682 |   178635      4 |    40273 |      348
1722.30/1722.76	c 1718s |      19 |   957311 |   625882 |   178635      4 |    40273 |      348
1724.69/1725.13	c 1720s |      19 |   957458 |   626082 |   178635      4 |    40273 |      348
1726.99/1727.41	c 1722s |      19 |   957695 |   626282 |   178635      4 |    40273 |      348
1729.59/1730.02	c 1725s |      19 |   957897 |   626482 |   178635      4 |    40273 |      348
1731.59/1732.09	c 1727s |      19 |   958134 |   626682 |   178635      4 |    40273 |      348
1734.09/1734.57	c 1730s |      19 |   958371 |   626882 |   178635      4 |    40273 |      348
1736.60/1737.03	c 1732s |      19 |   958518 |   627082 |   178635      4 |    40273 |      348
1738.89/1739.34	c 1734s |      19 |   958755 |   627282 |   178635      4 |    40273 |      348
1741.39/1741.89	c 1737s |      19 |   958977 |   627482 |   178635      4 |    40273 |      348
1743.79/1744.20	c 1739s |      19 |   959189 |   627682 |   178635      4 |    40273 |      348
1746.19/1746.69	c 1742s |      19 |   959464 |   627882 |   178635      4 |    40273 |      348
1748.49/1749.00	c 1744s |      19 |   959637 |   628082 |   178635      4 |    40273 |      348
1750.99/1751.40	c 1746s |      19 |   959873 |   628282 |   178635      4 |    40273 |      348
1753.49/1753.93	c 1749s |      19 |   960076 |   628482 |   178635      4 |    40273 |      348
1755.69/1756.17	c 1751s |      19 |   960309 |   628682 |   178635      4 |    40273 |      348
1758.28/1758.71	c 1754s |      19 |   960546 |   628882 |   178635      4 |    40273 |      348
1760.48/1760.96	c 1756s |      19 |   960694 |   629082 |   178635      4 |    40273 |      348
1762.78/1763.27	c 1758s |      19 |   960970 |   629282 |   178635      4 |    40273 |      348
1765.38/1765.81	c 1761s |      19 |   961131 |   629482 |   178635      4 |    40273 |      348
1767.58/1768.09	c 1763s |      19 |   961369 |   629682 |   178635      4 |    40273 |      348
1770.28/1770.79	c 1766s |      19 |   961607 |   629882 |   178635      4 |    40273 |      348
1772.98/1773.40	c 1768s |      19 |   961755 |   630082 |   178635      4 |    40273 |      348
1775.48/1775.98	c 1771s |      19 |   962006 |   630282 |   178635      4 |    40273 |      348
1778.48/1778.91	c 1774s |      19 |   962191 |   630482 |   178635      4 |    40273 |      348
1780.88/1781.32	c 1776s |      19 |   962413 |   630682 |   178635      4 |    40273 |      348
1783.48/1783.99	c 1779s |      19 |   962650 |   630882 |   178635      4 |    40273 |      348
1786.28/1786.76	c 1782s |      19 |   962814 |   631082 |   178635      4 |    40273 |      348
1788.78/1789.23	c 1784s |      19 |   963035 |   631282 |   178635      4 |    40273 |      348
1791.68/1792.14	c 1787s |      19 |   963273 |   631482 |   178635      4 |    40273 |      348
1794.48/1794.97	c 1790s |      19 |   963422 |   631682 |   178635      4 |    40273 |      348
1797.18/1797.67	c 1793s |      19 |   963678 |   631882 |   178635      4 |    40273 |      348

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

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.24 2.19 3/179 17641
/proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 2517 0 0 0 0 0 0 0 20 0 4 0 24105251 693563392 2877 33554432000 4194304 16246674 140735409716048 140735409715472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 169839 2886 441 2943 0 166733 0
[pid=17641/tid=17642] ppid=17638 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 712437760 2948 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 716632064 2967 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24105252 720826368 2982 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.31 2.24 2.19 3/179 17641
/proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 27565 0 0 0 5 4 0 0 20 0 4 0 24105251 1333334016 27864 33554432000 4194304 16246674 140735409716048 140735409715360 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 325521 27879 800 2943 0 322415 0
[pid=17641/tid=17642] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27889 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27901 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27911 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200519 s]
/proc/loadavg: 2.31 2.24 2.19 3/179 17641
/proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 45455 0 0 0 13 6 0 0 20 0 4 0 24105251 1343819776 46264 33554432000 4194304 16246674 140735409716048 140735409699040 12752370 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 328081 46264 801 2943 0 324975 0
[pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30048 s]
/proc/loadavg: 2.31 2.24 2.19 3/179 17641
/proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 55668 0 0 0 22 7 0 0 20 0 4 0 24105251 1343819776 56477 33554432000 4194304 16246674 140735409716048 140735409699040 4207600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 328081 56477 801 2943 0 324975 0
[pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700374 s]
/proc/loadavg: 2.31 2.24 2.19 3/179 17641
/proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 62035 0 0 0 61 8 0 0 20 0 4 0 24105251 1343819776 62844 33554432000 4194304 16246674 140735409716048 140735409699040 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 328081 62844 802 2943 0 324975 0
[pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50039 s]
/proc/loadavg: 2.37 2.25 2.20 3/183 17645
/proc/meminfo: memFree=27492056/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=1.49 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 181930 0 0 0 125 24 0 0 20 0 4 0 24105251 1378422784 182740 33554432000 4194304 16246674 140735409716048 140735409697920 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 182745 833 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182748 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182752 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182756 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1346116

[startup+3.1004 s]
/proc/loadavg: 2.37 2.25 2.20 3/183 17645
/proc/meminfo: memFree=26712360/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=3.09 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277153 0 0 0 273 36 0 0 20 0 4 0 24105251 1378422784 277962 33554432000 4194304 16246674 140735409716048 140735409697920 13769556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 277962 837 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1346116

[startup+6.30039 s]
/proc/loadavg: 2.37 2.25 2.20 3/183 17645
/proc/meminfo: memFree=26712608/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=6.29 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277207 0 0 0 593 36 0 0 20 0 4 0 24105251 1378422784 278016 33554432000 4194304 16246674 140735409716048 140735409697920 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 278016 891 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.39 2.26 2.20 3/183 17645
/proc/meminfo: memFree=26711892/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=12.69 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 1233 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 278024 899 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.33 2.25 2.20 4/183 17645
/proc/meminfo: memFree=26712252/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=25.49 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 2513 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 278024 899 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1346116

[startup+51.1005 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 17648
/proc/meminfo: memFree=26712660/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=51.08 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 5072 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409699048 13760120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 278024 899 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1346116

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/183 17649
/proc/meminfo: memFree=26712116/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1346116 CPUtime=102.28 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 10192 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 336529 278024 899 2943 0 333423 0
[pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1346116


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

/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1779268

[startup+1362.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 17729
/proc/meminfo: memFree=27693292/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1361.94 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 136135 59 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1779268

[startup+1422.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 17731
/proc/meminfo: memFree=27693460/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1421.94 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 142135 59 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1779268

[startup+1482.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 17732
/proc/meminfo: memFree=27693236/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1481.93 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 148133 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1779268

[startup+1542.31 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 17733
/proc/meminfo: memFree=27693392/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1541.93 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 154133 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1779268

[startup+1602.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 17734
/proc/meminfo: memFree=27693288/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1601.91 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 160131 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1779268

[startup+1662.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 17735
/proc/meminfo: memFree=27693016/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1661.9 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 166130 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1779268

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 17737
/proc/meminfo: memFree=27692980/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1721.89 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 172129 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1779268

[startup+1782.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 17738
/proc/meminfo: memFree=27692664/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1781.88 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 178128 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1779268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 17738
/proc/meminfo: memFree=27692384/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1800.08 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 179948 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1779268

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 17738
/proc/meminfo: memFree=27692384/32872528 swapFree=1431120/1543540
[pid=17641] ppid=17638 vsize=1779268 CPUtime=1800.08 cores=0,2,4,6
/proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 179948 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17641/statm: 444817 386318 902 2943 0 441711 0
[pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6
/proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1779268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.605907
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 1779268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.605907
maximum resident set size= 1545272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385771
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= 421
involuntary context switches= 1958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77327 second user time and 6.73797 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 05:29:25
IDJOB=4101057
IDBENCH=1695
IDSOLVER=2542
FILE ID=node116/4101057-1466220565
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101057-1466220565/watcher-4101057-1466220565 -o /tmp/evaluation-result-4101057-1466220565/solver-4101057-1466220565 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101057-1466220565.opb

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

MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997
RANDOM SEED=440952263

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27824560 kB
Buffers:          112140 kB
Cached:           149048 kB
SwapCached:         2160 kB
Active:          2618896 kB
Inactive:         143396 kB
Active(anon):    2501508 kB
Inactive(anon):     1544 kB
Active(file):     117388 kB
Inactive(file):   141852 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             21368 kB
Writeback:             0 kB
AnonPages:       4041116 kB
Mapped:            10864 kB
Shmem:                 0 kB
Slab:             604116 kB
SReclaimable:      48316 kB
SUnreclaim:       555800 kB
KernelStack:        1528 kB
PageTables:        11896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4183496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1269760 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= 71688 MiB
End job on node116 at 2016-06-18 05:59:26