Trace number 4078926

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
MD5SUMf2bb3fbff44c335cc6fb8854fd262f5a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark538.724
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
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-07T08:51:16+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-4078926-1465282276.opb"]
0.00/0.01	c use --random-gen="4183067195 4203026448 2321374408 3795266401 3939650578 3686815489 1711664640 879380180 1071152006 4104681073 1610253141 3876703192 2711441795 254339433 1631694466 2074781945 829313732 3435317972 2765776311 253651863 2966148457 782448408 2324123176 129273734 1321373582 2357587882 342662332 3121068603 2094443342 3142481081 1805490664 1088254361 553844457 2170631095 457293839 2413090546 4222619088 1028865610 4053444711 450792929 1185592440 2953602143 610432317 385937967 2787626919 13348189 397367080 551156415 2146437209 803668847 2716631301 3881709197 565401525 1866158505 3915900635 560855850 3545625019 1277220909 3800153242 3659955863 1445430855 2209546369 1856545946 2296346593 1414832329 3797130814 2877999299 3266505004 1433653183 4143892919 1170082866 1375978297 3532982696 4098748047 2859997635 1248394955 3004678831 3046119454 1339073883 127137722 1507479235 1008651392 469300387 1965369252 734472924 2763660299 2717066980 1838639831 3003244539 2923516200 2183113902 787946674 4175315170 384972127 235600941 2834462977 394513841 3847081339 2108814482 4039210073 2016984368 208110559 238688583 2067852755 1313101306 1271303101 3093668030 1474759808 3374801638 2533756536 660637587 4032912655 1467310622 1078204597 2664554196 2993972707 3918571777 202373243 522915495 1658660637 3821902100 3328390109 2336561133 4134989611 1163353497 426649528 2489795500 1472252518 1718728598 1652417294 2239596059 1594453469 1606678882 788124152 3014099687 3602692127 176420174 652874415 114741675 767413589 1589872435 2161015058 3618361401 2579436278 4189677480 4271009494 2338726321 3456222303 369360605 2074975427 583737622 2510898087 1935159208 1192089876 399116705 2594375381 1514009307 3070061587 18726749 1053407129 3310989830 2768719962 3192346636 4072395007 180065458 2468243727 2641733784 1208052125 1806678760 634147094 1897509512 4154702181 1053078526 2040732410 3068769995 21036318 3083838168 1484186803 1709721026 4264199175 3868542532 1000593248 3805533251 1058475144 4052420698 2066378199 1144997889 3596077454 2579100348 1189338963 1367563601 2181164077 3588203928 2960004028 3695444857 655200758 4200345101 2916900037 3596032260 300447226 532252162 3234912184 1096530600 3118103890 4108500579 1633192278 3499347096 674808301 3381326137 3921972045 2936724306 3530337989 2347605392 2944793091 3165586914 1990516668 1778715546 3027943884 1921998852 2267040437 2885971848 3053992275 3452853588 3677142239 1540205896 4259452185 3918670869 2114588324 2973850767 3429478540 2268536785 285742949 738759051 3020281574 1613193656 241611333 4166688669 1498514240 521776553 2123183432 2125724984 4223014202 3044803280 2095438219 939458313 1427998288 535931819 465799402 1637416892 1014178709 1009846618 695712715 1579517403 193922230 3817291423 3050232005 255 362436" option to reproduce the execution
0.09/0.12	c #vars 7140
0.09/0.12	c #constraints 7352
0.18/0.26	c Solving starts ...
0.18/0.26	c ============================[ Search Statistics ]============================
0.18/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.26	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4830      0 |      362 |        0
0.39/0.44	c  0.2s |       1 |     5364 |      100 |     4830      0 |      363 |      304
0.58/0.69	c  0.4s |       2 |    11113 |      250 |     5313      0 |      363 |      304
0.69/1.10	c  0.8s |       3 |    17807 |      475 |     5845      0 |      363 |      304
1.39/1.42	c  1.2s |       4 |    23071 |      813 |     6430      0 |      364 |      305
2.08/2.19	c  1.9s |       5 |    28911 |     1320 |     7074      0 |      364 |      305
3.28/3.35	c  3.1s |       6 |    32563 |     2081 |     8561      0 |      364 |      305
4.58/4.65	c  4.4s |       7 |    58160 |     3223 |     9418      0 |      365 |      306
6.68/6.72	c  6.5s |       7 |    88010 |     4623 |     9418      0 |      367 |      308
7.88/7.92	c  7.7s |       8 |    89131 |     4936 |    10360      0 |      367 |      308
9.88/9.95	c  9.7s |       8 |   113489 |     6436 |    10360      0 |      368 |      309
11.39/11.49	c 11.2s |       9 |   138351 |     7506 |    11397      0 |      368 |      309
13.49/13.52	c 13.3s |       9 |   162736 |     8706 |    11397      0 |      371 |      312
15.58/15.62	c 15.4s |       9 |   188333 |    10006 |    11397      0 |      373 |      314
17.58/17.63	c 17.4s |       9 |   210424 |    11306 |    12537      0 |      375 |      316
17.68/17.72	c 17.5s |      10 |   210633 |    11361 |    12537      0 |      375 |      316
19.88/19.90	c 19.6s |      10 |   232535 |    12661 |    12537      0 |      377 |      318
22.18/22.21	c 22.0s |      10 |   262279 |    13961 |    12537      1 |      378 |      319
24.28/24.38	c 24.1s |      10 |   282895 |    15461 |    12537      1 |      378 |      319
26.48/26.50	c 26.2s |      10 |   312672 |    16661 |    12537      1 |      380 |      321
27.18/27.22	c 27.0s |      11 |   320964 |    17144 |    13791      1 |      381 |      322
29.28/29.34	c 29.1s |      11 |   339848 |    18444 |    13791      1 |      381 |      322
31.38/31.45	c 31.2s |      11 |   365253 |    19844 |    13791      1 |      381 |      322
33.48/33.50	c 33.2s |      11 |   373283 |    20844 |    13791      1 |      381 |      322
35.48/35.54	c 35.3s |      11 |   390487 |    22044 |    13791      2 |      381 |      322
37.48/37.58	c 37.3s |      11 |   410299 |    23344 |    13791      2 |      381 |      322
39.68/39.72	c 39.5s |      11 |   433967 |    24544 |    13791      2 |      383 |      324
41.78/41.82	c 41.6s |      11 |   457657 |    25744 |    15171      2 |      384 |      325
41.88/41.93	c 41.7s |      12 |   458793 |    25819 |    15171      2 |      384 |      325
44.08/44.11	c 43.8s |      12 |   464722 |    26819 |    15171      2 |      384 |      325
46.18/46.23	c 46.0s |      12 |   479187 |    27919 |    15171      2 |      384 |      325
48.28/48.32	c 48.1s |      12 |   502453 |    29219 |    15171      2 |      384 |      325
50.48/50.58	c 50.3s |      12 |   510795 |    30119 |    15171      2 |      384 |      325
52.88/52.90	c 52.6s |      12 |   533533 |    31219 |    15171      3 |      384 |      325
54.88/54.91	c 54.7s |      12 |   559907 |    32419 |    15171      3 |      386 |      327
56.88/56.93	c 56.7s |      12 |   586969 |    33619 |    15171      3 |      387 |      328
58.98/59.01	c 58.8s |      12 |   608260 |    34819 |    15171      3 |      388 |      329
61.08/61.11	c 60.9s |      12 |   612284 |    35919 |    15171      3 |      388 |      329
63.09/63.19	c 62.9s |      12 |   627357 |    37119 |    15171      3 |      388 |      329
65.19/65.26	c 65.0s |      12 |   646641 |    38319 |    15171      3 |      388 |      329
66.08/66.18	c 65.9s |      13 |   657377 |    38832 |    16689      3 |      388 |      329
68.28/68.32	c 68.1s |      13 |   672759 |    39932 |    16689      3 |      388 |      329
70.38/70.46	c 70.2s |      13 |   686797 |    41132 |    16689      4 |      388 |      329
72.48/72.50	c 72.2s |      13 |   719744 |    42432 |    16689      4 |      388 |      329
74.48/74.54	c 74.3s |      13 |   744775 |    43732 |    16689      4 |      389 |      330
76.68/76.74	c 76.5s |      13 |   762796 |    45032 |    16689      4 |      389 |      330
78.68/78.75	c 78.5s |      13 |   781622 |    46332 |    16689      4 |      389 |      330
80.88/80.99	c 80.7s |      13 |   800170 |    47532 |    16689      4 |      389 |      330
83.08/83.11	c 82.9s |      13 |   817381 |    48732 |    16689      4 |      389 |      330
85.08/85.19	c 84.9s |      13 |   832665 |    49732 |    16689      4 |      389 |      330
87.18/87.22	c 87.0s |      13 |   858773 |    50832 |    16689      5 |      389 |      330
89.17/89.29	c 89.0s |      13 |   877539 |    52232 |    16689      5 |      389 |      330
91.37/91.41	c 91.2s |      13 |   881039 |    53432 |    16689      5 |      389 |      330
93.37/93.41	c 93.2s |      13 |   882599 |    54032 |    16689      5 |      389 |      330
95.57/95.61	c 95.4s |      13 |   884509 |    54732 |    16689      5 |      389 |      330
97.57/97.65	c 97.4s |      13 |   885652 |    55232 |    16689      5 |      389 |      330
99.67/99.71	c 99.5s |      13 |   900527 |    56232 |    16689      5 |      389 |      330
101.67/101.73	c  101s |      13 |   921844 |    57432 |    16689      5 |      389 |      330
103.97/104.04	c  103s |      13 |   928043 |    58132 |    18358      5 |      389 |      330
104.67/104.79	c  104s |      14 |   928653 |    58352 |    18358      5 |      389 |      330
106.87/106.97	c  106s |      14 |   945435 |    59552 |    18358      5 |      389 |      330
108.97/109.06	c  108s |      14 |   965546 |    60852 |    18358      5 |      389 |      330
111.17/111.21	c  110s |      14 |   984717 |    62052 |    18358      6 |      389 |      330
113.27/113.35	c  113s |      14 |  1002941 |    63252 |    18358      6 |      390 |      331
115.27/115.38	c  115s |      14 |  1028932 |    64552 |    18358      6 |      390 |      331
117.37/117.40	c  117s |      14 |  1050640 |    65652 |    18358      6 |      391 |      332
119.36/119.47	c  119s |      14 |  1054694 |    66452 |    18358      6 |      391 |      332
121.76/121.82	c  121s |      14 |  1056536 |    67052 |    18358      6 |      391 |      332
124.26/124.39	c  124s |      14 |  1057602 |    67452 |    18358      6 |      391 |      332
126.77/126.85	c  126s |      14 |  1058825 |    67852 |    18358      6 |      391 |      332
129.76/129.80	c  129s |      14 |  1059555 |    68152 |    18358      6 |      391 |      332
132.57/132.67	c  132s |      14 |  1060098 |    68452 |    18358      6 |      391 |      332
134.97/135.06	c  134s |      14 |  1060729 |    68752 |    18358      6 |      391 |      332
137.07/137.16	c  136s |      14 |  1061297 |    69052 |    18358      6 |      391 |      332
139.97/140.00	c  139s |      14 |  1061865 |    69352 |    18358      6 |      391 |      332
142.06/142.20	c  141s |      14 |  1063363 |    69752 |    18358      6 |      391 |      332
144.26/144.38	c  144s |      14 |  1064602 |    70052 |    18358      6 |      391 |      332
146.96/147.00	c  146s |      14 |  1065290 |    70352 |    18358      6 |      391 |      332
149.26/149.30	c  149s |      14 |  1066126 |    70652 |    18358      6 |      391 |      332
151.46/151.54	c  151s |      14 |  1066825 |    70952 |    18358      6 |      391 |      332
153.96/154.04	c  153s |      14 |  1067436 |    71252 |    18358      6 |      391 |      332
156.97/157.08	c  156s |      14 |  1067987 |    71552 |    18358      6 |      391 |      332
159.36/159.46	c  159s |      14 |  1068419 |    71752 |    18358      6 |      391 |      332
162.46/162.54	c  162s |      14 |  1068929 |    72052 |    18358      6 |      391 |      332
164.66/164.78	c  164s |      14 |  1069261 |    72252 |    18358      6 |      391 |      332
166.76/166.80	c  166s |      14 |  1069769 |    72452 |    18358      6 |      391 |      332
169.16/169.27	c  169s |      14 |  1070643 |    72752 |    18358      6 |      391 |      332
171.96/172.09	c  171s |      14 |  1071372 |    73052 |    18358      6 |      391 |      332
174.56/174.64	c  174s |      14 |  1071819 |    73252 |    18358      6 |      391 |      332
176.66/176.77	c  176s |      14 |  1072227 |    73452 |    18358      6 |      391 |      332
178.66/178.79	c  178s |      14 |  1072874 |    73652 |    18358      6 |      391 |      332
180.66/180.80	c  180s |      14 |  1073266 |    73852 |    18358      6 |      391 |      332
182.86/182.99	c  182s |      14 |  1073826 |    74052 |    18358      6 |      391 |      332
185.06/185.11	c  184s |      14 |  1074193 |    74252 |    18358      6 |      391 |      332
187.15/187.20	c  186s |      14 |  1074510 |    74452 |    18358      6 |      391 |      332
190.06/190.16	c  189s |      14 |  1074874 |    74652 |    18358      7 |      391 |      332
192.36/192.42	c  192s |      14 |  1075562 |    74952 |    18358      7 |      391 |      332
194.36/194.47	c  194s |      14 |  1075935 |    75152 |    18358      7 |      391 |      332
197.26/197.36	c  197s |      14 |  1076382 |    75352 |    18358      7 |      391 |      332
199.46/199.54	c  199s |      14 |  1076879 |    75552 |    18358      7 |      391 |      332
201.45/201.55	c  201s |      14 |  1077255 |    75752 |    18358      7 |      391 |      332
204.35/204.42	c  204s |      14 |  1077857 |    76052 |    18358      7 |      391 |      332
206.95/207.01	c  206s |      14 |  1078176 |    76252 |    18358      7 |      391 |      332
208.95/209.05	c  208s |      14 |  1078496 |    76452 |    18358      7 |      391 |      332
211.56/211.67	c  211s |      14 |  1078826 |    76652 |    18358      7 |      391 |      332
214.66/214.72	c  214s |      14 |  1079137 |    76852 |    18358      7 |      391 |      332
217.26/217.34	c  217s |      14 |  1079446 |    77052 |    18358      7 |      391 |      332
219.95/220.08	c  219s |      14 |  1079753 |    77252 |    18358      7 |      391 |      332
222.75/222.83	c  222s |      14 |  1081209 |    77652 |    18358      7 |      391 |      332
225.65/225.73	c  225s |      14 |  1082464 |    77952 |    18358      7 |      391 |      332
228.15/228.28	c  228s |      14 |  1083220 |    78252 |    18358      7 |      391 |      332
230.75/230.89	c  230s |      14 |  1083709 |    78552 |    18358      7 |      391 |      332
233.15/233.21	c  232s |      14 |  1084119 |    78752 |    18358      7 |      391 |      332
235.26/235.37	c  235s |      14 |  1084503 |    78952 |    18358      7 |      391 |      332
237.55/237.65	c  237s |      14 |  1084909 |    79152 |    18358      7 |      391 |      332
239.75/239.89	c  239s |      14 |  1085209 |    79352 |    18358      7 |      391 |      332
242.36/242.47	c  242s |      14 |  1085535 |    79552 |    18358      7 |      391 |      332
244.56/244.65	c  244s |      14 |  1086021 |    79752 |    18358      7 |      391 |      332
247.55/247.67	c  247s |      14 |  1087254 |    80052 |    18358      7 |      391 |      332
249.85/249.92	c  249s |      14 |  1088170 |    80252 |    18358      7 |      391 |      332
252.95/253.05	c  252s |      14 |  1088618 |    80452 |    18358      7 |      391 |      332
255.14/255.24	c  254s |      14 |  1089669 |    80652 |    18358      7 |      391 |      332
258.94/259.10	c  258s |      14 |  1090400 |    80852 |    18358      7 |      391 |      332
261.54/261.67	c  261s |      14 |  1090788 |    81052 |    18358      7 |      391 |      332
264.65/264.74	c  264s |      14 |  1091243 |    81252 |    18358      7 |      391 |      332
266.95/267.07	c  266s |      14 |  1091805 |    81452 |    18358      7 |      391 |      332
269.15/269.21	c  268s |      14 |  1092448 |    81652 |    18358      7 |      391 |      332
271.95/272.04	c  271s |      14 |  1092813 |    81852 |    18358      7 |      391 |      332
274.04/274.17	c  273s |      14 |  1093367 |    82052 |    18358      7 |      391 |      332
276.64/276.77	c  276s |      14 |  1093818 |    82252 |    18358      7 |      391 |      332
279.94/280.07	c  279s |      14 |  1094462 |    82552 |    18358      7 |      391 |      332
282.64/282.75	c  282s |      14 |  1094718 |    82752 |    18358      7 |      391 |      332
284.84/284.91	c  284s |      14 |  1095797 |    83052 |    18358      7 |      391 |      332
286.94/287.01	c  286s |      14 |  1099315 |    83452 |    18358      8 |      391 |      332
289.04/289.10	c  288s |      14 |  1122071 |    84552 |    18358      8 |      391 |      332
291.14/291.22	c  290s |      14 |  1142584 |    85652 |    18358      8 |      391 |      332
293.24/293.31	c  293s |      14 |  1171421 |    87152 |    20194      8 |      391 |      332
294.05/294.19	c  293s |      15 |  1175681 |    87632 |    20194      8 |      391 |      332
296.15/296.25	c  295s |      15 |  1197361 |    88932 |    20194      8 |      391 |      332
298.24/298.30	c  298s |      15 |  1213265 |    90232 |    20194      8 |      391 |      332
300.34/300.49	c  300s |      15 |  1224196 |    91432 |    20194      8 |      391 |      332
302.54/302.62	c  302s |      15 |  1230885 |    92432 |    20194      8 |      391 |      332
304.64/304.75	c  304s |      15 |  1237398 |    93332 |    20194      8 |      391 |      332
306.84/306.92	c  306s |      15 |  1241111 |    94032 |    20194      8 |      391 |      332
308.84/308.99	c  308s |      15 |  1242831 |    94532 |    20194      8 |      391 |      332
311.24/311.36	c  311s |      15 |  1243775 |    94932 |    20194      8 |      391 |      332
313.44/313.53	c  313s |      15 |  1245706 |    95432 |    20194      8 |      391 |      332
315.44/315.59	c  315s |      15 |  1248891 |    95832 |    20194      8 |      391 |      332
317.84/317.96	c  317s |      15 |  1254689 |    96632 |    20194      9 |      391 |      332
320.14/320.22	c  319s |      15 |  1260037 |    97432 |    20194      9 |      391 |      332
322.24/322.39	c  322s |      15 |  1263492 |    98032 |    20194      9 |      391 |      332
324.64/324.79	c  324s |      15 |  1264522 |    98432 |    20194      9 |      391 |      332
326.84/326.91	c  326s |      15 |  1266453 |    98832 |    20194      9 |      391 |      332
329.14/329.22	c  328s |      15 |  1268811 |    99332 |    20194      9 |      391 |      332
331.34/331.44	c  331s |      15 |  1269778 |    99632 |    20194      9 |      391 |      332
333.93/334.06	c  333s |      15 |  1270668 |    99932 |    20194      9 |      391 |      332
336.53/336.68	c  336s |      15 |  1271224 |   100132 |    20194      9 |      391 |      332
338.94/339.06	c  338s |      15 |  1271736 |   100332 |    20194      9 |      391 |      332
341.04/341.17	c  340s |      15 |  1276479 |   101032 |    20194      9 |      391 |      332
343.24/343.32	c  343s |      15 |  1283026 |   101832 |    20194      9 |      391 |      332
345.64/345.73	c  345s |      15 |  1288879 |   102632 |    20194      9 |      391 |      332
347.73/347.86	c  347s |      15 |  1295507 |   103332 |    20194      9 |      391 |      332
349.73/349.87	c  349s |      15 |  1298706 |   103832 |    20194      9 |      391 |      332
351.93/352.03	c  351s |      15 |  1304572 |   104432 |    20194      9 |      391 |      332
354.44/354.53	c  354s |      15 |  1305720 |   104832 |    20194      9 |      391 |      332
356.53/356.60	c  356s |      15 |  1306659 |   105132 |    20194      9 |      391 |      332
358.73/358.82	c  358s |      15 |  1309261 |   105632 |    20194      9 |      391 |      332
360.73/360.86	c  360s |      15 |  1313435 |   106232 |    20194      9 |      391 |      332
363.13/363.25	c  362s |      15 |  1315257 |   106632 |    20194      9 |      391 |      332
365.54/365.63	c  365s |      15 |  1316531 |   106932 |    20194      9 |      391 |      332
367.73/367.89	c  367s |      15 |  1318086 |   107332 |    20194      9 |      391 |      332
369.83/369.91	c  369s |      15 |  1320506 |   107832 |    20194      9 |      391 |      332
371.83/371.98	c  371s |      15 |  1322300 |   108332 |    20194      9 |      391 |      332
374.24/374.37	c  374s |      15 |  1325189 |   108832 |    20194      9 |      391 |      332
376.44/376.53	c  376s |      15 |  1326332 |   109132 |    20194     10 |      391 |      332
378.53/378.64	c  378s |      15 |  1328019 |   109732 |    20194     10 |      391 |      332
380.73/380.83	c  380s |      15 |  1330095 |   110232 |    20194     10 |      391 |      332
383.23/383.32	c  383s |      15 |  1330898 |   110632 |    20194     10 |      391 |      332
385.34/385.42	c  385s |      15 |  1331472 |   110932 |    20194     10 |      391 |      332
387.54/387.64	c  387s |      15 |  1333710 |   111332 |    20194     10 |      391 |      332
390.43/390.57	c  390s |      15 |  1334368 |   111632 |    20194     10 |      391 |      332
393.03/393.13	c  392s |      15 |  1334791 |   111832 |    20194     10 |      391 |      332
395.42/395.56	c  395s |      15 |  1335677 |   112132 |    20194     10 |      391 |      332
398.32/398.43	c  398s |      15 |  1336294 |   112432 |    20194     10 |      391 |      332
401.53/401.61	c  401s |      15 |  1336908 |   112732 |    20194     10 |      391 |      332
403.53/403.66	c  403s |      15 |  1337098 |   112832 |    20194     10 |      391 |      332
406.43/406.58	c  406s |      15 |  1337611 |   113032 |    20194     10 |      391 |      332
408.53/408.62	c  408s |      15 |  1338468 |   113232 |    20194     10 |      391 |      332
410.83/410.93	c  410s |      15 |  1339075 |   113432 |    20194     10 |      391 |      332
413.42/413.57	c  413s |      15 |  1339635 |   113632 |    20194     10 |      391 |      332
415.92/416.03	c  415s |      15 |  1340339 |   113832 |    20194     10 |      391 |      332
418.52/418.67	c  418s |      15 |  1340781 |   114032 |    20194     10 |      391 |      332
420.72/420.83	c  420s |      15 |  1341668 |   114232 |    20194     10 |      391 |      332
424.32/424.47	c  424s |      15 |  1342449 |   114532 |    20194     10 |      391 |      332
426.72/426.85	c  426s |      15 |  1343294 |   114732 |    20194     10 |      391 |      332
428.82/428.95	c  428s |      15 |  1343406 |   114832 |    20194     10 |      391 |      332
430.82/430.96	c  430s |      15 |  1343776 |   114932 |    20194     10 |      391 |      332
433.63/433.71	c  433s |      15 |  1344360 |   115132 |    20194     10 |      391 |      332
436.52/436.65	c  436s |      15 |  1344901 |   115332 |    20194     10 |      391 |      332
441.22/441.36	c  441s |      15 |  1345288 |   115532 |    20194     10 |      391 |      332
444.42/444.58	c  444s |      15 |  1345744 |   115732 |    20194     10 |      391 |      332
447.22/447.30	c  447s |      15 |  1346053 |   115932 |    20194     10 |      391 |      332
449.72/449.84	c  449s |      15 |  1346226 |   116032 |    20194     10 |      391 |      332
453.22/453.37	c  453s |      15 |  1346344 |   116132 |    20194     10 |      391 |      332
457.11/457.20	c  456s |      15 |  1346696 |   116332 |    20194     10 |      391 |      332
459.41/459.57	c  459s |      15 |  1346894 |   116432 |    20194     10 |      391 |      332
461.51/461.66	c  461s |      15 |  1347029 |   116532 |    20194     10 |      391 |      332
463.61/463.79	c  463s |      15 |  1347179 |   116632 |    20194     10 |      391 |      332
465.72/465.83	c  465s |      15 |  1351491 |   117232 |    20194     10 |      391 |      332
467.83/467.99	c  467s |      15 |  1353005 |   117632 |    20194     10 |      391 |      332
470.32/470.47	c  470s |      15 |  1354697 |   118032 |    20194     10 |      391 |      332
472.92/473.05	c  472s |      15 |  1355749 |   118332 |    20194     10 |      391 |      332
475.02/475.15	c  474s |      15 |  1359404 |   118832 |    20194     10 |      391 |      332
477.02/477.18	c  476s |      15 |  1362239 |   119332 |    20194     10 |      391 |      332
479.12/479.22	c  478s |      15 |  1363543 |   119632 |    20194     10 |      391 |      332
481.61/481.77	c  481s |      15 |  1363958 |   119832 |    20194     10 |      391 |      332
484.81/484.96	c  484s |      15 |  1368153 |   120432 |    20194     11 |      391 |      332
487.11/487.29	c  487s |      15 |  1369845 |   120932 |    20194     11 |      391 |      332
489.31/489.42	c  489s |      15 |  1370624 |   121232 |    20194     11 |      391 |      332
491.31/491.48	c  491s |      15 |  1371418 |   121532 |    20194     11 |      391 |      332
493.91/494.08	c  493s |      15 |  1372014 |   121732 |    20194     11 |      391 |      332
496.41/496.58	c  496s |      15 |  1372728 |   121932 |    20194     11 |      391 |      332
498.41/498.59	c  498s |      15 |  1373430 |   122132 |    20194     11 |      391 |      332
501.31/501.44	c  501s |      15 |  1374489 |   122432 |    20194     11 |      391 |      332
503.71/503.88	c  503s |      15 |  1375789 |   122732 |    20194     11 |      391 |      332
505.81/505.98	c  505s |      15 |  1381174 |   123332 |    20194     11 |      391 |      332
508.01/508.14	c  507s |      15 |  1384246 |   124032 |    20194     11 |      391 |      332
510.01/510.16	c  509s |      15 |  1385598 |   124532 |    20194     11 |      391 |      332
512.21/512.33	c  512s |      15 |  1387178 |   125032 |    20194     11 |      391 |      332
514.61/514.77	c  514s |      15 |  1390224 |   125532 |    20194     11 |      391 |      332
516.91/517.05	c  516s |      15 |  1391757 |   125932 |    20194     11 |      391 |      332
519.10/519.23	c  518s |      15 |  1392993 |   126332 |    20194     11 |      391 |      332
521.40/521.59	c  521s |      15 |  1394166 |   126732 |    20194     11 |      391 |      332
523.60/523.72	c  523s |      15 |  1395804 |   127132 |    20194     11 |      391 |      332
525.90/526.06	c  525s |      15 |  1396851 |   127432 |    20194     11 |      391 |      332
528.00/528.13	c  527s |      15 |  1398596 |   127832 |    20194     11 |      391 |      332
530.00/530.18	c  529s |      15 |  1400693 |   128232 |    20194     11 |      391 |      332
532.10/532.22	c  531s |      15 |  1401849 |   128532 |    20194     11 |      391 |      332
534.31/534.45	c  534s |      15 |  1404212 |   129232 |    20194     11 |      391 |      332
536.81/536.94	c  536s |      15 |  1406883 |   129832 |    20194     11 |      391 |      332
539.41/539.56	c  539s |      15 |  1407680 |   130132 |    20194     11 |      391 |      332
541.81/541.98	c  541s |      15 |  1409185 |   130532 |    20194     11 |      391 |      332
543.91/544.07	c  543s |      15 |  1411002 |   130932 |    22214     11 |      391 |      332
546.41/546.52	c  546s |      15 |  1412890 |   131332 |    22214     11 |      391 |      332
548.01/548.12	c  547s |      16 |  1413550 |   131552 |    22214     11 |      391 |      332
550.01/550.17	c  549s |      16 |  1430276 |   132252 |    22214     12 |      391 |      332
552.00/552.18	c  551s |      16 |  1449609 |   133652 |    22214     12 |      391 |      332
554.10/554.22	c  553s |      16 |  1464018 |   135052 |    22214     12 |      391 |      332
556.30/556.40	c  556s |      16 |  1466913 |   136052 |    22214     12 |      391 |      332
558.30/558.47	c  558s |      16 |  1468711 |   136652 |    22214     12 |      391 |      332
560.50/560.62	c  560s |      16 |  1470157 |   137252 |    22214     12 |      391 |      332
562.80/562.97	c  562s |      16 |  1471092 |   137752 |    22214     12 |      391 |      332
564.90/565.06	c  564s |      16 |  1472810 |   138252 |    22214     12 |      391 |      332
567.30/567.41	c  567s |      16 |  1474212 |   138752 |    22214     12 |      391 |      332
569.30/569.45	c  569s |      16 |  1481913 |   139652 |    22214     12 |      391 |      332
571.40/571.54	c  571s |      16 |  1496182 |   140652 |    22214     12 |      391 |      332
573.40/573.55	c  573s |      16 |  1515408 |   141652 |    22214     12 |      391 |      332
575.40/575.57	c  575s |      16 |  1541831 |   142752 |    22214     12 |      391 |      332
577.71/577.86	c  577s |      16 |  1547989 |   143452 |    22214     12 |      391 |      332
580.01/580.18	c  579s |      16 |  1549889 |   143852 |    22214     12 |      391 |      332
582.60/582.75	c  582s |      16 |  1551925 |   144352 |    22214     12 |      391 |      332
585.20/585.31	c  585s |      16 |  1552264 |   144452 |    22214     12 |      391 |      332
587.20/587.35	c  587s |      16 |  1554299 |   144952 |    22214     12 |      391 |      332
589.30/589.42	c  589s |      16 |  1556997 |   145552 |    22214     12 |      391 |      332
593.21/593.32	c  593s |      16 |  1557807 |   145852 |    22214     12 |      391 |      332
595.20/595.40	c  595s |      16 |  1558902 |   146152 |    22214     12 |      391 |      332
598.10/598.22	c  597s |      16 |  1560964 |   146452 |    22214     13 |      391 |      332
600.20/600.39	c  600s |      16 |  1563176 |   146852 |    22214     13 |      391 |      332
602.40/602.52	c  602s |      16 |  1576625 |   147752 |    22214     13 |      391 |      332
604.60/604.74	c  604s |      16 |  1591373 |   148752 |    22214     13 |      391 |      332
607.30/607.46	c  607s |      16 |  1593256 |   149152 |    22214     13 |      391 |      332
610.20/610.37	c  610s |      16 |  1594320 |   149552 |    22214     13 |      391 |      332
612.69/612.88	c  612s |      16 |  1597288 |   150252 |    22214     13 |      391 |      332
614.89/615.04	c  614s |      16 |  1598180 |   150652 |    22214     13 |      391 |      332
617.19/617.32	c  617s |      16 |  1599213 |   151052 |    22214     13 |      391 |      332
619.19/619.35	c  619s |      16 |  1607227 |   151852 |    22214     13 |      392 |      333
621.29/621.49	c  621s |      16 |  1632943 |   153352 |    22214     13 |      392 |      333
623.39/623.59	c  623s |      16 |  1659029 |   154652 |    22214     13 |      392 |      333
625.49/625.63	c  625s |      16 |  1679531 |   155952 |    22214     13 |      392 |      333
627.49/627.67	c  627s |      16 |  1699622 |   157052 |    22214     14 |      392 |      333
629.60/629.74	c  629s |      16 |  1716180 |   158152 |    22214     14 |      392 |      333
631.70/631.83	c  631s |      16 |  1744892 |   159652 |    22214     14 |      392 |      333
633.69/633.85	c  633s |      16 |  1765127 |   160952 |    22214     14 |      392 |      333
635.69/635.89	c  635s |      16 |  1792297 |   162152 |    22214     14 |      392 |      333
637.79/638.00	c  637s |      16 |  1800357 |   163052 |    22214     14 |      392 |      333
639.89/640.03	c  639s |      16 |  1819971 |   164152 |    22214     14 |      392 |      333
642.09/642.21	c  641s |      16 |  1842943 |   165252 |    22214     14 |      392 |      333
644.09/644.24	c  643s |      16 |  1863130 |   166452 |    22214     14 |      392 |      333
646.19/646.31	c  646s |      16 |  1876377 |   167552 |    22214     14 |      392 |      333
648.39/648.54	c  648s |      16 |  1888829 |   168352 |    22214     15 |      392 |      333
650.40/650.54	c  650s |      16 |  1915536 |   169852 |    22214     15 |      392 |      333
652.60/652.75	c  652s |      16 |  1928453 |   171152 |    22214     15 |      392 |      333
654.70/654.83	c  654s |      16 |  1939622 |   172052 |    22214     15 |      393 |      334
657.09/657.21	c  656s |      16 |  1942805 |   172852 |    22214     15 |      393 |      334
659.10/659.24	c  658s |      16 |  1948415 |   173552 |    22214     15 |      393 |      334
661.29/661.48	c  661s |      16 |  1950566 |   174452 |    22214     15 |      393 |      334
663.59/663.77	c  663s |      16 |  1952659 |   175252 |    22214     15 |      393 |      334
665.79/665.92	c  665s |      16 |  1973744 |   176452 |    22214     15 |      393 |      334
667.78/667.95	c  667s |      16 |  1984814 |   177452 |    22214     15 |      393 |      334
669.98/670.13	c  669s |      16 |  2005326 |   178652 |    22214     15 |      394 |      335
671.98/672.19	c  671s |      16 |  2020529 |   179552 |    22214     15 |      394 |      335
674.08/674.23	c  673s |      16 |  2031685 |   180552 |    22214     16 |      394 |      335
676.18/676.34	c  676s |      16 |  2064059 |   182152 |    22214     16 |      394 |      335
678.18/678.38	c  678s |      16 |  2081983 |   183652 |    22214     16 |      394 |      335
680.38/680.50	c  680s |      16 |  2104334 |   184952 |    22214     16 |      394 |      335
682.48/682.68	c  682s |      16 |  2123420 |   186252 |    22214     16 |      394 |      335
684.68/684.87	c  684s |      16 |  2132379 |   187352 |    22214     16 |      394 |      335
686.78/686.95	c  686s |      16 |  2151073 |   188552 |    22214     16 |      394 |      335
688.89/689.06	c  688s |      16 |  2169128 |   189952 |    22214     16 |      394 |      335
690.99/691.14	c  690s |      16 |  2181188 |   191052 |    22214     16 |      394 |      335
693.08/693.20	c  692s |      16 |  2199486 |   192352 |    22214     17 |      394 |      335
695.08/695.26	c  695s |      16 |  2213028 |   193652 |    22214     17 |      394 |      335
697.18/697.39	c  697s |      16 |  2218473 |   194652 |    22214     17 |      394 |      335
699.38/699.59	c  699s |      16 |  2233483 |   195652 |    22214     17 |      394 |      335
701.68/701.88	c  701s |      16 |  2239243 |   196852 |    24436     17 |      394 |      335
703.88/704.01	c  703s |      16 |  2240408 |   197352 |    24436     17 |      394 |      335
704.29/704.45	c  704s |      17 |  2240525 |   197432 |    24436     17 |      394 |      335
706.39/706.57	c  706s |      17 |  2275152 |   198832 |    24436     17 |      394 |      335
708.48/708.64	c  708s |      17 |  2294436 |   200132 |    24436     17 |      395 |      336
710.58/710.78	c  710s |      17 |  2321437 |   201532 |    24436     17 |      395 |      336
712.68/712.87	c  712s |      17 |  2338445 |   202832 |    24436     17 |      395 |      336
714.88/715.05	c  714s |      17 |  2357808 |   204132 |    24436     17 |      395 |      336
716.88/717.08	c  716s |      17 |  2379389 |   205132 |    24436     17 |      395 |      336
719.28/719.44	c  719s |      17 |  2380692 |   205832 |    24436     17 |      395 |      336
721.68/721.80	c  721s |      17 |  2382706 |   206532 |    24436     17 |      395 |      336
723.78/723.90	c  723s |      17 |  2411030 |   207832 |    24436     18 |      395 |      336
725.88/726.02	c  725s |      17 |  2442256 |   209532 |    24436     18 |      395 |      336
727.88/728.03	c  727s |      17 |  2472290 |   211032 |    24436     18 |      396 |      337
729.97/730.17	c  729s |      17 |  2483549 |   212732 |    24436     18 |      396 |      337
731.97/732.20	c  731s |      17 |  2489166 |   213732 |    24436     18 |      396 |      337
734.47/734.60	c  734s |      17 |  2499513 |   214832 |    24436     18 |      396 |      337
736.67/736.88	c  736s |      17 |  2501760 |   215532 |    24436     18 |      396 |      337
738.87/739.06	c  738s |      17 |  2508705 |   216432 |    24436     18 |      396 |      337
740.97/741.10	c  740s |      17 |  2516419 |   217632 |    24436     18 |      396 |      337
743.47/743.64	c  743s |      17 |  2520143 |   218632 |    24436     18 |      396 |      337
745.58/745.78	c  745s |      17 |  2524153 |   219332 |    24436     18 |      396 |      337
747.77/747.91	c  747s |      17 |  2526706 |   220032 |    24436     18 |      396 |      337
750.07/750.25	c  749s |      17 |  2527717 |   220432 |    24436     18 |      396 |      337
752.27/752.41	c  752s |      17 |  2529154 |   220832 |    24436     18 |      396 |      337
754.27/754.41	c  754s |      17 |  2531947 |   221532 |    24436     18 |      396 |      337
756.27/756.45	c  756s |      17 |  2536697 |   222432 |    24436     18 |      396 |      337
758.56/758.73	c  758s |      17 |  2539725 |   223232 |    24436     18 |      396 |      337
760.67/760.87	c  760s |      17 |  2540113 |   223432 |    24436     19 |      396 |      337
763.27/763.42	c  763s |      17 |  2541852 |   223932 |    24436     19 |      396 |      337
765.66/765.89	c  765s |      17 |  2543297 |   224432 |    24436     19 |      396 |      337
767.76/767.95	c  767s |      17 |  2544493 |   224832 |    24436     19 |      396 |      337
769.86/770.09	c  769s |      17 |  2545890 |   225232 |    24436     19 |      396 |      337
772.07/772.26	c  772s |      17 |  2546610 |   225532 |    24436     19 |      396 |      337
774.47/774.62	c  774s |      17 |  2546968 |   225732 |    24436     19 |      396 |      337
776.56/776.75	c  776s |      17 |  2547911 |   226032 |    24436     19 |      396 |      337
779.07/779.27	c  779s |      17 |  2549517 |   226432 |    24436     19 |      396 |      337
781.17/781.38	c  781s |      17 |  2559721 |   227532 |    24436     19 |      396 |      337
783.26/783.47	c  783s |      17 |  2563776 |   228332 |    24436     19 |      396 |      337
785.76/785.90	c  785s |      17 |  2570056 |   229332 |    24436     19 |      396 |      337
787.77/787.91	c  787s |      17 |  2576063 |   230232 |    24436     19 |      396 |      337
789.76/789.93	c  789s |      17 |  2580645 |   231132 |    24436     19 |      396 |      337
791.96/792.11	c  791s |      17 |  2585928 |   232032 |    24436     19 |      396 |      337
794.06/794.29	c  794s |      17 |  2594596 |   233032 |    24436     19 |      396 |      337
796.16/796.30	c  796s |      17 |  2596297 |   233532 |    24436     19 |      396 |      337
798.26/798.47	c  798s |      17 |  2597390 |   233932 |    24436     19 |      396 |      337
800.55/800.77	c  800s |      17 |  2600006 |   234532 |    24436     19 |      396 |      337
802.65/802.84	c  802s |      17 |  2609423 |   235532 |    24436     19 |      396 |      337
804.75/804.97	c  804s |      17 |  2616897 |   236532 |    24436     19 |      396 |      337
806.85/807.06	c  806s |      17 |  2620137 |   237232 |    24436     20 |      396 |      337
808.95/809.12	c  808s |      17 |  2626953 |   238232 |    24436     20 |      396 |      337
810.96/811.12	c  810s |      17 |  2630574 |   239132 |    24436     20 |      396 |      337
813.16/813.31	c  813s |      17 |  2639183 |   240532 |    24436     20 |      396 |      337
815.26/815.42	c  815s |      17 |  2644024 |   241432 |    24436     20 |      396 |      337
817.46/817.65	c  817s |      17 |  2649136 |   242432 |    24436     20 |      396 |      337
819.66/819.88	c  819s |      17 |  2651534 |   243132 |    24436     20 |      396 |      337
821.96/822.12	c  821s |      17 |  2653149 |   243632 |    24436     20 |      396 |      337
823.95/824.17	c  823s |      17 |  2654362 |   244132 |    24436     20 |      396 |      337
826.25/826.48	c  826s |      17 |  2655708 |   244632 |    24436     20 |      396 |      337
828.55/828.77	c  828s |      17 |  2657840 |   245132 |    24436     20 |      396 |      337
831.64/831.88	c  831s |      17 |  2659375 |   245632 |    24436     20 |      396 |      337
833.95/834.16	c  833s |      17 |  2660669 |   246032 |    24436     20 |      396 |      337
837.14/837.30	c  837s |      17 |  2662053 |   246432 |    24436     20 |      396 |      337
839.55/839.73	c  839s |      17 |  2662728 |   246632 |    24436     20 |      396 |      337
841.75/841.97	c  841s |      17 |  2663713 |   246832 |    24436     20 |      396 |      337
844.25/844.46	c  844s |      17 |  2665201 |   247232 |    24436     20 |      396 |      337
846.35/846.56	c  846s |      17 |  2668450 |   247832 |    24436     20 |      396 |      337
848.35/848.58	c  848s |      17 |  2670167 |   248332 |    24436     20 |      396 |      337
850.94/851.16	c  850s |      17 |  2671979 |   248832 |    24436     20 |      396 |      337
852.94/853.19	c  852s |      17 |  2673280 |   249232 |    24436     20 |      396 |      337
855.34/855.53	c  855s |      17 |  2674569 |   249632 |    24436     20 |      396 |      337
857.44/857.64	c  857s |      17 |  2675423 |   249932 |    24436     20 |      396 |      337
859.74/859.90	c  859s |      17 |  2676948 |   250432 |    24436     20 |      396 |      337
862.14/862.39	c  862s |      17 |  2677821 |   250832 |    24436     20 |      396 |      337
864.33/864.56	c  864s |      17 |  2678492 |   251132 |    24436     20 |      396 |      337
866.94/867.13	c  866s |      17 |  2679254 |   251432 |    24436     20 |      396 |      337
869.54/869.70	c  869s |      17 |  2680323 |   251832 |    24436     20 |      396 |      337
872.04/872.26	c  872s |      17 |  2680743 |   252032 |    24436     21 |      396 |      337
874.14/874.36	c  874s |      17 |  2682303 |   252432 |    24436     21 |      396 |      337
876.74/876.94	c  876s |      17 |  2683860 |   252932 |    24436     21 |      396 |      337
879.63/879.81	c  879s |      17 |  2685030 |   253332 |    24436     21 |      396 |      337
882.03/882.24	c  881s |      17 |  2686260 |   253632 |    24436     21 |      396 |      337
884.33/884.51	c  884s |      17 |  2689257 |   254432 |    24436     21 |      396 |      337
886.84/887.03	c  886s |      17 |  2690828 |   254932 |    24436     21 |      396 |      337
888.94/889.16	c  888s |      17 |  2691906 |   255332 |    24436     21 |      396 |      337
891.03/891.24	c  890s |      17 |  2694235 |   255832 |    24436     21 |      396 |      337
893.23/893.46	c  893s |      17 |  2695408 |   256232 |    24436     21 |      396 |      337
895.43/895.60	c  895s |      17 |  2696688 |   256632 |    24436     21 |      396 |      337
897.73/897.94	c  897s |      17 |  2697652 |   257032 |    24436     21 |      396 |      337
900.42/900.69	c  900s |      17 |  2699462 |   257532 |    24436     21 |      396 |      337
902.52/902.77	c  902s |      17 |  2700983 |   257832 |    24436     21 |      396 |      337
904.72/904.96	c  904s |      17 |  2702117 |   258232 |    24436     21 |      396 |      337
907.12/907.33	c  907s |      17 |  2703149 |   258532 |    24436     21 |      396 |      337
909.52/909.70	c  909s |      17 |  2703618 |   258732 |    24436     21 |      396 |      337
911.92/912.13	c  911s |      17 |  2704229 |   259032 |    24436     21 |      396 |      337
914.12/914.38	c  914s |      17 |  2704978 |   259332 |    24436     21 |      396 |      337
916.91/917.18	c  916s |      17 |  2705438 |   259532 |    24436     21 |      396 |      337
919.72/919.92	c  919s |      17 |  2706062 |   259732 |    24436     21 |      396 |      337
922.51/922.77	c  922s |      17 |  2706412 |   259932 |    24436     21 |      396 |      337
925.41/925.62	c  925s |      17 |  2706877 |   260132 |    24436     21 |      396 |      337
927.61/927.82	c  927s |      17 |  2707073 |   260232 |    24436     21 |      396 |      337
931.10/931.30	c  931s |      17 |  2707498 |   260432 |    24436     21 |      396 |      337
934.01/934.24	c  933s |      17 |  2708046 |   260632 |    24436     21 |      396 |      337
936.40/936.67	c  936s |      17 |  2708157 |   260732 |    24436     21 |      396 |      337
939.81/940.04	c  939s |      17 |  2708552 |   260932 |    24436     21 |      396 |      337
943.21/943.47	c  943s |      17 |  2709107 |   261132 |    24436     21 |      396 |      337
946.01/946.25	c  945s |      17 |  2709608 |   261332 |    24436     21 |      396 |      337
948.31/948.60	c  948s |      17 |  2709808 |   261432 |    24436     21 |      396 |      337
952.00/952.23	c  951s |      17 |  2710087 |   261632 |    24436     21 |      396 |      337
954.30/954.53	c  954s |      17 |  2712293 |   262132 |    24436     21 |      396 |      337
956.80/957.06	c  956s |      17 |  2713095 |   262532 |    24436     21 |      396 |      337
960.40/960.66	c  960s |      17 |  2713438 |   262732 |    24436     21 |      396 |      337
962.40/962.69	c  962s |      17 |  2714256 |   263032 |    24436     21 |      396 |      337
964.50/964.79	c  964s |      17 |  2715059 |   263232 |    24436     21 |      396 |      337
967.19/967.44	c  967s |      17 |  2716086 |   263532 |    24436     21 |      396 |      337
970.09/970.34	c  970s |      17 |  2716467 |   263732 |    24436     21 |      396 |      337
972.78/973.04	c  972s |      17 |  2717176 |   264032 |    24436     21 |      396 |      337
975.68/975.90	c  975s |      17 |  2717680 |   264332 |    24436     21 |      396 |      337
978.18/978.41	c  978s |      17 |  2718932 |   264632 |    24436     21 |      396 |      337
980.48/980.70	c  980s |      17 |  2719368 |   264832 |    24436     21 |      396 |      337
982.78/983.04	c  982s |      17 |  2719925 |   265032 |    24436     21 |      396 |      337
985.58/985.84	c  985s |      17 |  2720253 |   265232 |    24436     21 |      396 |      337
987.89/988.16	c  987s |      17 |  2721302 |   265532 |    24436     21 |      396 |      337
990.18/990.46	c  990s |      17 |  2722093 |   265732 |    24436     21 |      396 |      337
992.47/992.78	c  992s |      17 |  2722460 |   265932 |    24436     21 |      396 |      337
996.57/996.81	c  996s |      17 |  2722797 |   266132 |    24436     21 |      396 |      337
999.36/999.64	c  999s |      17 |  2722944 |   266232 |    24436     21 |      396 |      337
1001.46/1001.73	c 1001s |      17 |  2723171 |   266332 |    24436     21 |      396 |      337
1004.47/1004.70	c 1004s |      17 |  2723322 |   266432 |    24436     21 |      396 |      337
1007.97/1008.25	c 1007s |      17 |  2723797 |   266632 |    24436     21 |      396 |      337
1012.76/1013.04	c 1012s |      17 |  2724149 |   266832 |    24436     22 |      396 |      337
1015.86/1016.14	c 1015s |      17 |  2724896 |   267132 |    24436     22 |      396 |      337
1018.26/1018.56	c 1018s |      17 |  2725553 |   267332 |    24436     22 |      396 |      337
1020.36/1020.67	c 1020s |      17 |  2727543 |   267732 |    24436     22 |      396 |      337
1022.65/1022.96	c 1022s |      17 |  2728219 |   267932 |    24436     22 |      396 |      337
1025.26/1025.51	c 1025s |      17 |  2729504 |   268232 |    24436     22 |      396 |      337
1027.65/1027.91	c 1027s |      17 |  2730120 |   268432 |    24436     22 |      396 |      337
1029.76/1030.05	c 1029s |      17 |  2730739 |   268632 |    24436     22 |      396 |      337
1032.35/1032.68	c 1032s |      17 |  2731303 |   268832 |    24436     22 |      396 |      337
1036.85/1037.18	c 1036s |      17 |  2731924 |   269032 |    24436     22 |      396 |      337
1039.44/1039.78	c 1039s |      17 |  2732714 |   269332 |    24436     22 |      396 |      337
1041.54/1041.83	c 1041s |      17 |  2733382 |   269632 |    24436     22 |      396 |      337
1044.54/1044.83	c 1044s |      17 |  2734532 |   269932 |    24436     22 |      396 |      337
1047.94/1048.27	c 1048s |      17 |  2735184 |   270232 |    24436     22 |      396 |      337
1050.34/1050.69	c 1050s |      17 |  2736061 |   270632 |    24436     22 |      396 |      337
1052.85/1053.11	c 1052s |      17 |  2736697 |   270932 |    24436     22 |      396 |      337
1055.04/1055.38	c 1055s |      17 |  2737571 |   271232 |    24436     22 |      396 |      337
1057.53/1057.86	c 1057s |      17 |  2738221 |   271532 |    24436     22 |      396 |      337
1060.13/1060.40	c 1060s |      17 |  2739105 |   271832 |    24436     22 |      396 |      337
1062.65/1062.99	c 1062s |      17 |  2739651 |   272032 |    24436     22 |      396 |      337
1065.24/1065.54	c 1065s |      17 |  2740268 |   272232 |    24436     22 |      396 |      337
1068.74/1069.04	c 1068s |      17 |  2740781 |   272432 |    24436     22 |      396 |      337
1071.14/1071.44	c 1071s |      17 |  2741044 |   272532 |    24436     22 |      396 |      337
1073.93/1074.22	c 1073s |      17 |  2741731 |   272732 |    24436     22 |      396 |      337
1077.13/1077.44	c 1077s |      17 |  2742210 |   272932 |    24436     22 |      396 |      337
1080.63/1080.93	c 1080s |      17 |  2742807 |   273132 |    24436     22 |      396 |      337
1083.73/1084.03	c 1083s |      17 |  2743248 |   273332 |    24436     22 |      396 |      337
1086.33/1086.65	c 1086s |      17 |  2743438 |   273432 |    24436     22 |      396 |      337
1089.24/1089.55	c 1089s |      17 |  2743572 |   273532 |    24436     22 |      396 |      337
1091.74/1092.01	c 1091s |      17 |  2743745 |   273632 |    24436     22 |      396 |      337
1094.84/1095.16	c 1094s |      17 |  2743931 |   273732 |    24436     22 |      396 |      337
1097.73/1098.04	c 1097s |      17 |  2744075 |   273832 |    24436     22 |      396 |      337
1099.93/1100.22	c 1099s |      17 |  2744409 |   273932 |    24436     22 |      396 |      337
1102.43/1102.80	c 1102s |      17 |  2744635 |   274032 |    24436     22 |      396 |      337
1104.74/1105.00	c 1104s |      17 |  2745084 |   274232 |    24436     22 |      396 |      337
1106.83/1107.16	c 1106s |      17 |  2745568 |   274432 |    24436     22 |      396 |      337
1109.13/1109.43	c 1109s |      17 |  2746405 |   274732 |    24436     22 |      396 |      337
1111.63/1111.94	c 1111s |      17 |  2746924 |   274932 |    24436     22 |      396 |      337
1115.43/1115.71	c 1115s |      17 |  2747260 |   275132 |    24436     22 |      396 |      337
1117.73/1118.01	c 1117s |      17 |  2747543 |   275232 |    24436     22 |      396 |      337
1119.93/1120.21	c 1119s |      17 |  2748221 |   275432 |    24436     22 |      396 |      337
1122.02/1122.38	c 1122s |      17 |  2748379 |   275532 |    24436     22 |      396 |      337
1124.42/1124.77	c 1124s |      17 |  2748682 |   275732 |    24436     22 |      396 |      337
1127.42/1127.74	c 1127s |      17 |  2749067 |   275932 |    24436     22 |      396 |      337
1129.42/1129.78	c 1129s |      17 |  2750002 |   276232 |    24436     22 |      396 |      337
1132.22/1132.54	c 1132s |      17 |  2750933 |   276632 |    24436     22 |      396 |      337
1135.11/1135.47	c 1135s |      17 |  2751368 |   276832 |    24436     22 |      396 |      337
1137.81/1138.19	c 1137s |      17 |  2751908 |   277032 |    24436     22 |      396 |      337
1140.31/1140.66	c 1140s |      17 |  2752476 |   277232 |    24436     22 |      396 |      337
1142.31/1142.69	c 1142s |      17 |  2753473 |   277532 |    24436     22 |      396 |      337
1144.52/1144.88	c 1144s |      17 |  2754400 |   277832 |    24436     22 |      396 |      337
1147.81/1148.18	c 1147s |      17 |  2755145 |   278132 |    24436     22 |      396 |      337
1151.11/1151.48	c 1151s |      17 |  2755593 |   278332 |    24436     22 |      396 |      337
1153.50/1153.87	c 1153s |      17 |  2755836 |   278432 |    24436     22 |      396 |      337
1156.30/1156.62	c 1156s |      17 |  2756425 |   278632 |    24436     22 |      396 |      337
1158.50/1158.88	c 1158s |      17 |  2756715 |   278732 |    24436     22 |      396 |      337
1160.60/1160.96	c 1160s |      17 |  2756921 |   278832 |    24436     22 |      396 |      337
1163.59/1163.98	c 1163s |      17 |  2757039 |   278932 |    24436     22 |      396 |      337
1166.19/1166.51	c 1166s |      17 |  2757211 |   279032 |    24436     22 |      396 |      337
1168.60/1168.90	c 1168s |      17 |  2757479 |   279132 |    24436     22 |      396 |      337
1170.79/1171.19	c 1170s |      17 |  2757662 |   279232 |    24436     22 |      396 |      337
1173.99/1174.38	c 1174s |      17 |  2757824 |   279332 |    24436     22 |      396 |      337
1177.39/1177.72	c 1177s |      17 |  2758029 |   279432 |    24436     22 |      396 |      337
1181.38/1181.78	c 1181s |      17 |  2758460 |   279632 |    24436     22 |      396 |      337
1184.69/1185.06	c 1184s |      17 |  2759198 |   279832 |    24436     22 |      396 |      337
1187.58/1187.94	c 1187s |      17 |  2759755 |   280032 |    24436     22 |      396 |      337
1191.08/1191.42	c 1191s |      17 |  2760171 |   280232 |    24436     22 |      396 |      337
1195.47/1195.87	c 1195s |      17 |  2760264 |   280332 |    24436     22 |      396 |      337
1198.86/1199.28	c 1199s |      17 |  2761086 |   280632 |    24436     22 |      396 |      337
1204.17/1204.57	c 1204s |      17 |  2761547 |   280832 |    24436     22 |      396 |      337
1206.77/1207.16	c 1206s |      17 |  2761771 |   280932 |    24436     22 |      396 |      337
1209.86/1210.25	c 1209s |      17 |  2762012 |   281032 |    24436     22 |      396 |      337
1212.67/1213.05	c 1212s |      17 |  2762297 |   281132 |    24436     22 |      396 |      337
1215.57/1215.93	c 1215s |      17 |  2762605 |   281232 |    24436     23 |      396 |      337
1217.86/1218.25	c 1217s |      17 |  2764495 |   281732 |    24436     23 |      396 |      337
1220.26/1220.60	c 1220s |      17 |  2766250 |   282132 |    24436     23 |      396 |      337
1222.26/1222.69	c 1222s |      17 |  2767218 |   282432 |    24436     23 |      396 |      337
1224.66/1225.04	c 1224s |      17 |  2767663 |   282632 |    24436     23 |      396 |      337
1227.36/1227.76	c 1227s |      17 |  2768985 |   282932 |    24436     23 |      396 |      337
1229.45/1229.87	c 1229s |      17 |  2770113 |   283132 |    24436     23 |      396 |      337
1232.85/1233.28	c 1233s |      17 |  2770256 |   283232 |    24436     23 |      396 |      337
1235.05/1235.43	c 1235s |      17 |  2770545 |   283332 |    24436     23 |      396 |      337
1239.55/1239.97	c 1239s |      17 |  2770711 |   283432 |    24436     23 |      396 |      337
1241.75/1242.20	c 1241s |      17 |  2772322 |   283632 |    24436     23 |      396 |      337
1244.25/1244.62	c 1244s |      17 |  2772938 |   283832 |    24436     23 |      396 |      337
1246.74/1247.18	c 1246s |      17 |  2774201 |   284232 |    24436     23 |      396 |      337
1248.95/1249.34	c 1249s |      17 |  2774601 |   284432 |    24436     23 |      396 |      337
1251.14/1251.53	c 1251s |      17 |  2775684 |   284732 |    24436     23 |      396 |      337
1254.14/1254.50	c 1254s |      17 |  2776771 |   285132 |    24436     23 |      396 |      337
1256.25/1256.69	c 1256s |      17 |  2777738 |   285432 |    24436     23 |      396 |      337
1258.93/1259.38	c 1259s |      17 |  2778565 |   285732 |    24436     23 |      396 |      337
1261.34/1261.75	c 1261s |      17 |  2779348 |   286032 |    24436     23 |      396 |      337
1263.94/1264.39	c 1264s |      17 |  2779953 |   286332 |    24436     23 |      396 |      337
1266.54/1266.96	c 1266s |      17 |  2780375 |   286532 |    24436     23 |      396 |      337
1268.54/1268.99	c 1268s |      17 |  2780873 |   286732 |    24436     23 |      396 |      337
1270.83/1271.21	c 1270s |      17 |  2781250 |   286932 |    24436     23 |      396 |      337
1273.93/1274.37	c 1274s |      17 |  2781570 |   287132 |    24436     23 |      396 |      337
1276.23/1276.66	c 1276s |      17 |  2782471 |   287432 |    24436     23 |      396 |      337
1278.73/1279.17	c 1278s |      17 |  2784119 |   287832 |    24436     23 |      396 |      337
1281.32/1281.71	c 1281s |      17 |  2784898 |   288132 |    24436     23 |      396 |      337
1283.92/1284.39	c 1284s |      17 |  2785227 |   288332 |    24436     23 |      396 |      337
1286.62/1287.04	c 1286s |      17 |  2786368 |   288732 |    24436     23 |      396 |      337
1289.51/1289.92	c 1289s |      17 |  2787035 |   289032 |    24436     23 |      396 |      337
1291.61/1292.05	c 1291s |      17 |  2788297 |   289232 |    24436     23 |      396 |      337
1293.71/1294.12	c 1293s |      17 |  2788724 |   289432 |    24436     23 |      396 |      337
1295.72/1296.18	c 1295s |      17 |  2789135 |   289632 |    24436     23 |      396 |      337
1298.22/1298.67	c 1298s |      17 |  2789675 |   289832 |    24436     23 |      396 |      337
1300.51/1300.97	c 1300s |      17 |  2790154 |   290032 |    24436     23 |      396 |      337
1302.91/1303.33	c 1303s |      17 |  2790569 |   290232 |    24436     23 |      396 |      337
1304.91/1305.39	c 1305s |      17 |  2793491 |   290632 |    24436     23 |      396 |      337
1307.71/1308.19	c 1307s |      17 |  2794608 |   291032 |    24436     23 |      396 |      337
1310.01/1310.46	c 1310s |      17 |  2795954 |   291432 |    24436     23 |      396 |      337
1312.31/1312.76	c 1312s |      17 |  2797514 |   291832 |    24436     23 |      396 |      337
1314.41/1314.82	c 1314s |      17 |  2798297 |   292132 |    24436     23 |      396 |      337
1316.80/1317.25	c 1316s |      17 |  2800008 |   292532 |    24436     23 |      396 |      337
1318.90/1319.36	c 1319s |      17 |  2801884 |   292932 |    24436     23 |      396 |      337
1321.30/1321.75	c 1321s |      17 |  2802900 |   293232 |    24436     23 |      396 |      337
1323.39/1323.85	c 1323s |      17 |  2803784 |   293532 |    24436     23 |      396 |      337
1325.79/1326.29	c 1326s |      17 |  2804838 |   293832 |    24436     23 |      396 |      337
1328.39/1328.82	c 1328s |      17 |  2805274 |   294032 |    24436     23 |      396 |      337
1331.09/1331.52	c 1331s |      17 |  2806000 |   294332 |    26880     23 |      396 |      337
1333.59/1334.06	c 1333s |      17 |  2806823 |   294632 |    26880     23 |      396 |      337
1336.50/1336.91	c 1336s |      17 |  2807749 |   294932 |    26880     23 |      396 |      337
1338.99/1339.42	c 1339s |      17 |  2809351 |   295232 |    26880     23 |      396 |      337
1341.39/1341.82	c 1341s |      17 |  2809797 |   295432 |    26880     23 |      396 |      337
1343.49/1343.97	c 1343s |      17 |  2810163 |   295632 |    26880     23 |      396 |      337
1345.79/1346.24	c 1345s |      17 |  2810940 |   295932 |    26880     23 |      396 |      337
1347.98/1348.46	c 1348s |      17 |  2811981 |   296232 |    26880     23 |      396 |      337
1348.18/1348.64	c 1348s |      18 |  2812042 |   296252 |    26880     23 |      396 |      337
1350.58/1351.04	c 1350s |      18 |  2814276 |   296352 |    26880     24 |      396 |      337
1352.78/1353.20	c 1352s |      18 |  2831320 |   297752 |    26880     24 |      396 |      337
1354.77/1355.22	c 1354s |      18 |  2853949 |   299052 |    26880     24 |      396 |      337
1356.77/1357.27	c 1357s |      18 |  2869646 |   300852 |    26880     24 |      396 |      337
1358.97/1359.43	c 1359s |      18 |  2884599 |   302252 |    26880     24 |      396 |      337
1361.07/1361.52	c 1361s |      18 |  2899733 |   303452 |    26880     24 |      396 |      337
1363.06/1363.54	c 1363s |      18 |  2915109 |   304552 |    26880     24 |      396 |      337
1365.16/1365.60	c 1365s |      18 |  2933311 |   305552 |    26880     24 |      396 |      337
1367.27/1367.73	c 1367s |      18 |  2949108 |   306752 |    26880     24 |      396 |      337
1369.37/1369.85	c 1369s |      18 |  2962053 |   307852 |    26880     24 |      396 |      337
1371.57/1372.05	c 1371s |      18 |  2977127 |   308852 |    26880     24 |      396 |      337
1373.66/1374.19	c 1373s |      18 |  2988870 |   309652 |    26880     24 |      396 |      337
1375.86/1376.31	c 1376s |      18 |  3001168 |   310952 |    26880     25 |      396 |      337
1377.87/1378.36	c 1378s |      18 |  3013170 |   312452 |    26880     25 |      396 |      337
1379.97/1380.40	c 1380s |      18 |  3027782 |   313752 |    26880     25 |      396 |      337
1381.97/1382.45	c 1382s |      18 |  3039079 |   314752 |    26880     25 |      396 |      337
1384.07/1384.52	c 1384s |      18 |  3047876 |   315952 |    26880     25 |      396 |      337
1386.27/1386.77	c 1386s |      18 |  3062088 |   317052 |    26880     25 |      396 |      337
1388.27/1388.79	c 1388s |      18 |  3075935 |   317852 |    26880     25 |      396 |      337
1390.57/1391.04	c 1390s |      18 |  3087257 |   318852 |    26880     25 |      396 |      337
1392.77/1393.24	c 1392s |      18 |  3107722 |   319952 |    26880     25 |      396 |      337
1394.77/1395.26	c 1395s |      18 |  3110354 |   320752 |    26880     25 |      396 |      337
1396.87/1397.39	c 1397s |      18 |  3113086 |   321352 |    26880     25 |      396 |      337
1399.07/1399.60	c 1399s |      18 |  3113908 |   321652 |    26880     25 |      396 |      337
1401.37/1401.84	c 1401s |      18 |  3121183 |   322352 |    26880     25 |      396 |      337
1403.86/1404.32	c 1404s |      18 |  3130374 |   323252 |    26880     25 |      396 |      337
1405.97/1406.47	c 1406s |      18 |  3142700 |   324152 |    26880     25 |      396 |      337
1408.07/1408.51	c 1408s |      18 |  3151298 |   324852 |    26880     26 |      396 |      337
1410.26/1410.70	c 1410s |      18 |  3162571 |   326152 |    26880     26 |      396 |      337
1412.37/1412.86	c 1412s |      18 |  3165744 |   326952 |    26880     26 |      396 |      337
1414.47/1414.99	c 1414s |      18 |  3175948 |   328152 |    26880     26 |      396 |      337
1416.56/1417.01	c 1416s |      18 |  3196198 |   329552 |    26880     26 |      396 |      337
1418.56/1419.07	c 1418s |      18 |  3214099 |   330952 |    26880     26 |      396 |      337
1420.66/1421.14	c 1420s |      18 |  3219412 |   331852 |    26880     26 |      396 |      337
1422.76/1423.20	c 1422s |      18 |  3228058 |   332752 |    26880     26 |      396 |      337
1424.76/1425.26	c 1425s |      18 |  3241398 |   333852 |    26880     26 |      396 |      337
1427.06/1427.52	c 1427s |      18 |  3244025 |   334752 |    26880     26 |      396 |      337
1429.36/1429.86	c 1429s |      18 |  3245294 |   335252 |    26880     26 |      396 |      337
1431.46/1431.90	c 1431s |      18 |  3248512 |   335752 |    26880     26 |      396 |      337
1433.46/1433.95	c 1433s |      18 |  3258608 |   336752 |    26880     26 |      396 |      337
1435.55/1436.04	c 1435s |      18 |  3263037 |   337752 |    26880     26 |      396 |      337
1437.66/1438.11	c 1437s |      18 |  3264882 |   338352 |    26880     26 |      396 |      337
1439.76/1440.23	c 1439s |      18 |  3266351 |   338852 |    26880     26 |      396 |      337
1442.45/1442.91	c 1442s |      18 |  3268269 |   339352 |    26880     27 |      396 |      337
1444.45/1444.97	c 1444s |      18 |  3271628 |   340152 |    26880     27 |      396 |      337
1446.65/1447.17	c 1446s |      18 |  3276480 |   341352 |    26880     27 |      396 |      337
1448.75/1449.29	c 1449s |      18 |  3279366 |   342252 |    26880     27 |      396 |      337
1450.86/1451.31	c 1451s |      18 |  3291844 |   343552 |    26880     27 |      396 |      337
1453.15/1453.63	c 1453s |      18 |  3301317 |   344552 |    26880     27 |      396 |      337
1455.35/1455.84	c 1455s |      18 |  3308196 |   345552 |    26880     27 |      396 |      337
1457.46/1457.94	c 1457s |      18 |  3317653 |   346652 |    26880     27 |      396 |      337
1459.56/1460.08	c 1459s |      18 |  3323141 |   347752 |    26880     27 |      396 |      337
1461.75/1462.22	c 1461s |      18 |  3325488 |   348452 |    26880     27 |      396 |      337
1463.95/1464.43	c 1464s |      18 |  3330580 |   349152 |    26880     27 |      396 |      337
1466.55/1467.05	c 1466s |      18 |  3332476 |   349752 |    26880     27 |      396 |      337
1468.85/1469.36	c 1469s |      18 |  3334609 |   350352 |    26880     27 |      396 |      337
1470.96/1471.45	c 1471s |      18 |  3336712 |   350952 |    26880     27 |      396 |      337
1473.06/1473.54	c 1473s |      18 |  3339289 |   351552 |    26880     27 |      396 |      337
1475.15/1475.67	c 1475s |      18 |  3341119 |   352052 |    26880     27 |      396 |      337
1477.35/1477.80	c 1477s |      18 |  3342791 |   352452 |    26880     27 |      396 |      337
1479.75/1480.22	c 1479s |      18 |  3345225 |   353052 |    26880     27 |      396 |      337
1481.75/1482.23	c 1481s |      18 |  3346843 |   353452 |    26880     28 |      396 |      337
1483.86/1484.33	c 1484s |      18 |  3362196 |   355052 |    26880     28 |      396 |      337
1485.96/1486.41	c 1486s |      18 |  3375014 |   356352 |    26880     28 |      396 |      337
1487.95/1488.42	c 1488s |      18 |  3386751 |   357652 |    26880     28 |      396 |      337
1490.05/1490.53	c 1490s |      18 |  3391610 |   358452 |    26880     28 |      396 |      337
1492.15/1492.65	c 1492s |      18 |  3405533 |   359652 |    26880     28 |      396 |      337
1494.55/1495.00	c 1494s |      18 |  3407536 |   360352 |    26880     28 |      396 |      337
1496.65/1497.19	c 1496s |      18 |  3408764 |   360752 |    26880     28 |      396 |      337
1498.75/1499.22	c 1498s |      18 |  3415023 |   361552 |    26880     28 |      396 |      337
1500.75/1501.23	c 1500s |      18 |  3425810 |   362452 |    26880     28 |      396 |      337
1502.74/1503.27	c 1503s |      18 |  3440551 |   363552 |    26880     28 |      396 |      337
1504.94/1505.42	c 1505s |      18 |  3451385 |   364352 |    26880     28 |      396 |      337
1507.45/1507.91	c 1507s |      18 |  3462749 |   365252 |    26880     29 |      396 |      337
1509.65/1510.16	c 1509s |      18 |  3481336 |   366752 |    26880     29 |      396 |      337
1511.65/1512.19	c 1511s |      18 |  3495633 |   367852 |    26880     29 |      396 |      337
1513.85/1514.32	c 1514s |      18 |  3511709 |   369152 |    26880     29 |      396 |      337
1515.85/1516.32	c 1516s |      18 |  3522904 |   370452 |    26880     29 |      396 |      337
1517.95/1518.48	c 1518s |      18 |  3533933 |   371552 |    26880     29 |      396 |      337
1519.95/1520.50	c 1520s |      18 |  3541223 |   372552 |    26880     29 |      396 |      337
1522.35/1522.81	c 1522s |      18 |  3544379 |   373252 |    26880     29 |      396 |      337
1524.45/1524.93	c 1524s |      18 |  3547179 |   373852 |    26880     29 |      396 |      337
1526.84/1527.39	c 1527s |      18 |  3548718 |   374352 |    26880     29 |      396 |      337
1529.05/1529.57	c 1529s |      18 |  3549868 |   374752 |    26880     29 |      396 |      337
1531.15/1531.65	c 1531s |      18 |  3551594 |   375152 |    26880     29 |      396 |      337
1533.25/1533.78	c 1533s |      18 |  3552670 |   375552 |    26880     29 |      396 |      337
1535.55/1536.04	c 1535s |      18 |  3553629 |   375952 |    26880     29 |      396 |      337
1538.14/1538.64	c 1538s |      18 |  3554408 |   376352 |    26880     29 |      396 |      337
1540.14/1540.68	c 1540s |      18 |  3557503 |   376752 |    26880     29 |      396 |      337
1542.24/1542.79	c 1542s |      18 |  3569387 |   377852 |    26880     30 |      396 |      337
1544.44/1544.93	c 1544s |      18 |  3581827 |   379152 |    26880     30 |      396 |      337
1546.54/1547.02	c 1546s |      18 |  3584539 |   379952 |    26880     30 |      396 |      337
1548.64/1549.17	c 1548s |      18 |  3586838 |   380552 |    26880     30 |      396 |      337
1550.74/1551.26	c 1551s |      18 |  3588102 |   380952 |    26880     30 |      396 |      337
1553.15/1553.66	c 1553s |      18 |  3590186 |   381552 |    26880     30 |      396 |      337
1555.54/1556.00	c 1555s |      18 |  3590849 |   381852 |    26880     30 |      396 |      337
1557.74/1558.29	c 1558s |      18 |  3591925 |   382252 |    26880     30 |      396 |      337
1560.14/1560.67	c 1560s |      18 |  3593670 |   382752 |    26880     30 |      396 |      337
1562.34/1562.86	c 1562s |      18 |  3595285 |   383252 |    26880     30 |      396 |      337
1564.64/1565.18	c 1564s |      18 |  3597887 |   383852 |    26880     30 |      396 |      337
1567.24/1567.74	c 1567s |      18 |  3598454 |   384152 |    26880     30 |      396 |      337
1569.64/1570.11	c 1569s |      18 |  3600013 |   384552 |    26880     30 |      396 |      337
1571.84/1572.36	c 1572s |      18 |  3601947 |   384952 |    26880     30 |      396 |      337
1574.13/1574.68	c 1574s |      18 |  3605144 |   385552 |    26880     30 |      396 |      337
1576.14/1576.69	c 1576s |      18 |  3612095 |   386452 |    26880     30 |      396 |      337
1578.34/1578.85	c 1578s |      18 |  3621188 |   387552 |    26880     30 |      396 |      337
1580.43/1580.94	c 1580s |      18 |  3627534 |   388852 |    26880     30 |      396 |      337
1582.53/1583.01	c 1582s |      18 |  3639618 |   389852 |    26880     31 |      396 |      337
1584.53/1585.08	c 1584s |      18 |  3647821 |   390952 |    26880     31 |      396 |      337
1586.73/1587.21	c 1586s |      18 |  3650008 |   391752 |    26880     31 |      396 |      337
1588.83/1589.32	c 1589s |      18 |  3651860 |   392452 |    26880     31 |      396 |      337
1590.93/1591.43	c 1591s |      18 |  3659201 |   393252 |    26880     31 |      396 |      337
1592.93/1593.48	c 1593s |      18 |  3665025 |   394152 |    26880     31 |      396 |      337
1595.03/1595.55	c 1595s |      18 |  3667321 |   394752 |    26880     31 |      396 |      337
1597.23/1597.74	c 1597s |      18 |  3668860 |   395252 |    26880     31 |      396 |      337
1599.73/1600.26	c 1600s |      18 |  3670220 |   395752 |    26880     31 |      396 |      337
1602.04/1602.55	c 1602s |      18 |  3671831 |   396152 |    26880     31 |      396 |      337
1604.14/1604.65	c 1604s |      18 |  3672523 |   396452 |    26880     31 |      396 |      337
1606.53/1607.00	c 1606s |      18 |  3673853 |   396852 |    26880     31 |      396 |      337
1608.63/1609.14	c 1608s |      18 |  3674731 |   397152 |    26880     31 |      396 |      337
1611.13/1611.64	c 1611s |      18 |  3675733 |   397552 |    26880     31 |      396 |      337
1613.54/1614.06	c 1613s |      18 |  3677021 |   397952 |    26880     31 |      396 |      337
1615.93/1616.41	c 1616s |      18 |  3678224 |   398352 |    26880     31 |      396 |      337
1618.23/1618.76	c 1618s |      18 |  3679610 |   398752 |    26880     31 |      396 |      337
1620.33/1620.80	c 1620s |      18 |  3680274 |   399052 |    26880     31 |      396 |      337
1622.44/1622.96	c 1622s |      18 |  3684645 |   399552 |    26880     32 |      396 |      337
1624.64/1625.11	c 1624s |      18 |  3701295 |   400952 |    26880     32 |      396 |      337
1626.63/1627.12	c 1626s |      18 |  3723457 |   402352 |    26880     32 |      396 |      337
1628.73/1629.28	c 1629s |      18 |  3739565 |   403652 |    26880     32 |      396 |      337
1630.93/1631.42	c 1631s |      18 |  3747992 |   404652 |    26880     32 |      396 |      337
1633.03/1633.54	c 1633s |      18 |  3761170 |   405752 |    26880     32 |      396 |      337
1635.13/1635.60	c 1635s |      18 |  3773901 |   406652 |    26880     32 |      396 |      337
1637.13/1637.62	c 1637s |      18 |  3786864 |   407652 |    26880     32 |      396 |      337
1639.23/1639.75	c 1639s |      18 |  3797281 |   408652 |    26880     32 |      396 |      337
1641.33/1641.81	c 1641s |      18 |  3800351 |   409252 |    26880     32 |      396 |      337
1643.33/1643.87	c 1643s |      18 |  3803892 |   410052 |    26880     32 |      396 |      337
1645.43/1645.98	c 1645s |      18 |  3810323 |   410752 |    26880     33 |      396 |      337
1647.52/1648.08	c 1647s |      18 |  3813252 |   411452 |    26880     33 |      396 |      337
1649.72/1650.20	c 1649s |      18 |  3814941 |   411852 |    26880     33 |      396 |      337
1652.04/1652.54	c 1652s |      18 |  3818304 |   412452 |    26880     33 |      396 |      337
1654.13/1654.63	c 1654s |      18 |  3824651 |   413052 |    26880     33 |      396 |      337
1656.23/1656.78	c 1656s |      18 |  3840702 |   414352 |    26880     33 |      396 |      337
1658.43/1658.94	c 1658s |      18 |  3854677 |   415652 |    26880     33 |      396 |      337
1660.73/1661.24	c 1660s |      18 |  3860361 |   416552 |    26880     33 |      396 |      337
1662.93/1663.42	c 1663s |      18 |  3864112 |   417352 |    26880     33 |      396 |      337
1665.03/1665.56	c 1665s |      18 |  3873814 |   418152 |    26880     33 |      396 |      337
1667.23/1667.70	c 1667s |      18 |  3888019 |   419252 |    26880     33 |      396 |      337
1669.33/1669.85	c 1669s |      18 |  3900094 |   420252 |    26880     33 |      396 |      337
1671.83/1672.31	c 1672s |      18 |  3909548 |   421352 |    26880     34 |      396 |      337
1673.92/1674.50	c 1674s |      18 |  3920543 |   422652 |    26880     34 |      396 |      337
1676.02/1676.50	c 1676s |      18 |  3927594 |   423952 |    26880     34 |      396 |      337
1678.02/1678.57	c 1678s |      18 |  3933251 |   425052 |    26880     34 |      396 |      337
1680.12/1680.66	c 1680s |      18 |  3938451 |   426252 |    26880     34 |      396 |      337
1682.42/1682.91	c 1682s |      18 |  3940886 |   427152 |    26880     34 |      396 |      337
1684.62/1685.12	c 1684s |      18 |  3944258 |   427952 |    26880     34 |      396 |      337
1686.72/1687.26	c 1687s |      18 |  3945579 |   428452 |    26880     34 |      396 |      337
1689.22/1689.73	c 1689s |      18 |  3946669 |   428852 |    26880     34 |      396 |      337
1691.32/1691.85	c 1691s |      18 |  3949917 |   429752 |    26880     34 |      396 |      337
1693.41/1693.94	c 1693s |      18 |  3952557 |   430352 |    26880     34 |      396 |      337
1695.51/1696.00	c 1695s |      18 |  3955089 |   431052 |    26880     34 |      396 |      337
1697.52/1698.03	c 1697s |      18 |  3958800 |   431852 |    26880     34 |      396 |      337
1699.62/1700.12	c 1699s |      18 |  3962395 |   432552 |    26880     34 |      396 |      337
1701.72/1702.21	c 1701s |      18 |  3969536 |   433752 |    26880     35 |      396 |      337
1703.92/1704.45	c 1704s |      18 |  3973793 |   434652 |    26880     35 |      396 |      337
1705.93/1706.47	c 1706s |      18 |  3975887 |   435252 |    26880     35 |      396 |      337
1708.02/1708.51	c 1708s |      18 |  3977040 |   435652 |    26880     35 |      396 |      337
1710.12/1710.66	c 1710s |      18 |  3980451 |   436352 |    26880     35 |      396 |      337
1712.22/1712.78	c 1712s |      18 |  3985894 |   437352 |    26880     35 |      396 |      337
1714.22/1714.79	c 1714s |      18 |  3992992 |   438452 |    26880     35 |      396 |      337
1716.52/1717.02	c 1716s |      18 |  3995561 |   439252 |    26880     35 |      396 |      337
1718.81/1719.33	c 1719s |      18 |  3996921 |   439752 |    26880     35 |      396 |      337
1721.01/1721.51	c 1721s |      18 |  3999002 |   440352 |    26880     35 |      396 |      337
1723.11/1723.69	c 1723s |      18 |  3999551 |   440652 |    26880     35 |      396 |      337
1725.21/1725.79	c 1725s |      18 |  4001270 |   441152 |    26880     35 |      396 |      337
1727.41/1727.97	c 1727s |      18 |  4002226 |   441552 |    29569     35 |      396 |      337
1729.91/1730.42	c 1730s |      18 |  4003459 |   442052 |    29569     35 |      396 |      337
1731.91/1732.47	c 1732s |      18 |  4005113 |   442552 |    29569     35 |      396 |      337
1734.51/1735.10	c 1734s |      18 |  4006206 |   442952 |    29569     35 |      396 |      337
1737.11/1737.67	c 1737s |      18 |  4007928 |   443452 |    29569     35 |      396 |      337
1739.52/1740.03	c 1739s |      18 |  4008496 |   443752 |    29569     35 |      396 |      337
1742.32/1742.87	c 1742s |      18 |  4009007 |   444052 |    29569     35 |      396 |      337
1745.21/1745.74	c 1745s |      18 |  4009742 |   444352 |    29569     35 |      396 |      337
1746.31/1746.86	c 1746s |      19 |  4010102 |   444482 |    29569     35 |      396 |      337
1748.31/1748.89	c 1748s |      19 |  4028961 |   445282 |    29569     36 |      396 |      337
1750.41/1750.98	c 1750s |      19 |  4037819 |   446282 |    29569     36 |      396 |      337
1752.51/1753.09	c 1752s |      19 |  4041240 |   447282 |    29569     36 |      396 |      337
1754.61/1755.16	c 1754s |      19 |  4043480 |   447882 |    29569     36 |      396 |      337
1756.61/1757.19	c 1756s |      19 |  4060203 |   449182 |    29569     36 |      396 |      337
1758.71/1759.23	c 1758s |      19 |  4064912 |   449982 |    29569     36 |      396 |      337
1760.81/1761.34	c 1761s |      19 |  4072811 |   450982 |    29569     36 |      396 |      337
1762.91/1763.40	c 1763s |      19 |  4074574 |   451582 |    29569     36 |      396 |      337
1764.90/1765.41	c 1765s |      19 |  4076934 |   452282 |    29569     36 |      396 |      337
1766.90/1767.43	c 1767s |      19 |  4078800 |   452882 |    29569     36 |      396 |      337
1769.20/1769.70	c 1769s |      19 |  4080002 |   453382 |    29569     36 |      396 |      337
1771.41/1771.93	c 1771s |      19 |  4081730 |   453982 |    29569     36 |      396 |      337
1773.81/1774.35	c 1774s |      19 |  4083212 |   454482 |    29569     36 |      396 |      337
1776.01/1776.59	c 1776s |      19 |  4083985 |   454882 |    29569     36 |      396 |      337
1778.21/1778.73	c 1778s |      19 |  4085128 |   455282 |    29569     36 |      396 |      337
1780.31/1780.83	c 1780s |      19 |  4100890 |   455882 |    29569     37 |      396 |      337
1782.51/1783.09	c 1782s |      19 |  4110353 |   456882 |    29569     37 |      396 |      337
1784.81/1785.37	c 1785s |      19 |  4112657 |   457482 |    29569     37 |      396 |      337
1786.90/1787.40	c 1787s |      19 |  4119280 |   458182 |    29569     37 |      396 |      337
1788.90/1789.41	c 1789s |      19 |  4145835 |   459582 |    29569     37 |      396 |      337
1791.00/1791.52	c 1791s |      19 |  4169597 |   460882 |    29569     37 |      396 |      337
1793.20/1793.77	c 1793s |      19 |  4182740 |   461982 |    29569     37 |      396 |      337
1795.60/1796.18	c 1795s |      19 |  4196220 |   462882 |    29569     37 |      396 |      337
1797.70/1798.25	c 1797s |      19 |  4205753 |   463482 |    29569     37 |      396 |      337
1799.80/1800.39	c 1800s |      19 |  4223362 |   464482 |    29569     37 |      396 |      337

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.23 2.19 3/179 10100
/proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=335292 CPUtime=0 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 1182 0 0 0 0 0 0 0 20 0 4 0 110160663 343339008 1542 33554432000 4194304 16246674 140733984578928 140733984578352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 84335 1552 441 2943 0 81229 0
[pid=10100/tid=10101] ppid=10097 vsize=351676 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 360116224 1606 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=355772 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 364310528 1623 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=359868 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110160663 368504832 1640 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.33 2.23 2.19 3/179 10100
/proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 25784 0 0 0 5 4 0 0 20 0 4 0 110160663 1332285440 26082 33554432000 4194304 16246674 140733984578928 140733984578240 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 325265 26098 801 2943 0 322159 0
[pid=10100/tid=10101] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26109 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26123 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1332285440 26135 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200493 s]
/proc/loadavg: 2.33 2.23 2.19 3/179 10100
/proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 45381 0 0 0 12 6 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140733984578240 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 325521 45679 833 2943 0 322415 0
[pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 45679 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300485 s]
/proc/loadavg: 2.33 2.23 2.19 3/179 10100
/proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 60955 0 0 0 20 8 0 0 20 0 4 0 110160663 1333334016 61253 33554432000 4194304 16246674 140733984578928 140733984578240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 325521 61267 876 2943 0 322415 0
[pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61274 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61282 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 61290 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700451 s]
/proc/loadavg: 2.33 2.23 2.19 3/179 10100
/proc/meminfo: memFree=29173916/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 138943 0 0 0 51 18 0 0 20 0 4 0 110160663 1333334016 139241 33554432000 4194304 16246674 140733984578928 140733984578240 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 325521 139248 876 2943 0 322415 0
[pid=10100/tid=10101] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139253 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139257 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1333334016 139260 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50764 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 10104
/proc/meminfo: memFree=28530120/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 189054 0 0 0 125 24 0 0 20 0 4 0 110160663 1342771200 189353 33554432000 4194304 16246674 140733984578928 140733984560832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 189373 883 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189386 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189399 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 189408 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10048 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 10104
/proc/meminfo: memFree=28374180/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=3.08 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269008 0 0 0 274 34 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140733984578104 5546252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269306 883 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269306 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1311300

[startup+6.30047 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 10104
/proc/meminfo: memFree=28097412/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=6.28 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 594 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984578104 5722804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269308 885 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.36 2.24 2.19 4/183 10104
/proc/meminfo: memFree=28099404/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 1234 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984560832 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269308 885 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 10104
/proc/meminfo: memFree=28100272/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269010 0 0 0 2514 34 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140733984560832 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269308 885 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269308 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 10104
/proc/meminfo: memFree=28098688/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269011 0 0 0 5073 35 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140733984560832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269309 886 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 10105
/proc/meminfo: memFree=28098320/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1311300 CPUtime=102.27 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269011 0 0 0 10192 35 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140733984560832 5721844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 327825 269309 886 2943 0 324719 0
[pid=10100/tid=10101] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1342771200 269309 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.34 2.36 2.28 3/183 10208
/proc/meminfo: memFree=28092528/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1313348 CPUtime=1301.91 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 269801 0 0 0 130108 83 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140733984560832 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 328337 270077 886 2943 0 325231 0
[pid=10100/tid=10101] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1344868352 270077 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.36 2.35 2.28 3/183 10209
/proc/meminfo: memFree=28087976/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1361.87 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270890 0 0 0 136102 85 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.34 2.35 2.28 3/183 10210
/proc/meminfo: memFree=28088416/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1421.86 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 142099 87 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.31 2.33 2.27 3/183 10212
/proc/meminfo: memFree=28088520/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1481.85 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 148097 88 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5722445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1318468

[startup+1542.3 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 10213
/proc/meminfo: memFree=28088520/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1541.84 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 154094 90 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 10214
/proc/meminfo: memFree=28088292/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1601.84 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 160092 92 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 10215
/proc/meminfo: memFree=28087092/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1661.83 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 166089 94 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.29 2.30 2.27 3/183 10216
/proc/meminfo: memFree=28086376/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1721.81 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 172086 95 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.27 2.29 2.27 4/184 10221
/proc/meminfo: memFree=28085988/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1781.81 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 178084 97 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984578104 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 10221
/proc/meminfo: memFree=28085956/32872528 swapFree=16384/1696552
[pid=10100] ppid=10097 vsize=1318468 CPUtime=1800 cores=1,3,5,7
/proc/10100/stat : 10100 (toysat) R 10097 10100 5723 0 -1 4202496 270892 0 0 0 179903 97 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140733984560832 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10100/statm: 329617 271125 886 2943 0 326511 0
[pid=10100/tid=10101] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10101/stat : 10101 (toysat) S 10097 10100 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140728045907184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10100/tid=10102] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10102/stat : 10102 (toysat) S 10097 10100 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727958875376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10100/tid=10103] ppid=10097 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10100/task/10103/stat : 10103 (toysat) S 10097 10100 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110160663 1350111232 271125 33554432000 4194304 16246674 140733984578928 140727948401840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.04
CPU system time (s): 0.973851
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 0.973851
maximum resident set size= 1084500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270892
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= 336
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77312 second user time and 7.76082 second system time

The end

Launcher Data

Begin job on node125 at 2016-06-07 08:51:16
IDJOB=4078926
IDBENCH=90119
IDSOLVER=2542
FILE ID=node125/4078926-1465282276
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078926-1465282276/watcher-4078926-1465282276 -o /tmp/evaluation-result-4078926-1465282276/solver-4078926-1465282276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078926-1465282276.opb

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

MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a
RANDOM SEED=1923354644

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29174560 kB
Buffers:           27004 kB
Cached:           148308 kB
SwapCached:         1520 kB
Active:          1133588 kB
Inactive:         120596 kB
Active(anon):    1075568 kB
Inactive(anon):     5320 kB
Active(file):      58020 kB
Inactive(file):   115276 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2866504 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             609372 kB
SReclaimable:      53256 kB
SUnreclaim:       556116 kB
KernelStack:        1520 kB
PageTables:         9680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2918824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1777664 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= 71712 MiB
End job on node125 at 2016-06-07 09:21:17