Trace number 4080012

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
MD5SUMcdfac8cd93d8a1de6ab1cef68bd1ac7c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21856
Total number of constraints12129
Number of constraints which are clauses4095
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints7696
Minimum length of a constraint1
Maximum length of a constraint211
Number of terms in the objective function 16
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 16
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 211
Number of bits of the biggest sum of numbers8
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-07T07:41:44+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-4080012-1465278104.opb"]
0.00/0.01	c use --random-gen="2618142473 1143401647 1277564108 3121917555 3932840832 2906186512 4085716821 764016239 3232051521 1325346613 107804416 2390196524 3264502420 334571549 2322290533 979076800 2678924678 2635152269 4074684776 2605298597 1970962202 3515654377 137152927 3914355587 3444576106 597415088 592845396 867134608 270386276 3498754959 1957185091 3935712315 3899888924 1447875415 2414348704 2729462639 1428982377 1977991881 2824133225 762551097 300753810 3762498892 2033553512 56778279 862147155 2873008418 84101326 791780092 774116935 2479929813 1690529883 873111181 1258019901 795010078 4118846584 1670949226 3666510751 1875960876 2991822637 3175152780 1094314443 2830169818 1057872031 1926423560 2455881097 2387345299 3072721423 3411124304 2459728210 2990662380 2781127699 2784682868 3272464624 291909187 511572993 3578874339 3540378657 3556241839 3970480223 3683670457 608365072 2644919313 3066443513 86240765 828508705 1507901182 1682746684 2316754552 1720932126 2744567345 2138492200 3975092516 3599083201 17790013 999150459 1887216655 3698475370 1905368885 1708869692 765115880 28443082 729271441 2372647020 1829663849 1410111054 3667631553 2353499115 2113228647 2105772721 1001137463 889333093 3785397466 3780188261 607901145 2182051689 2166672689 697918098 2116885337 68632866 158293066 1387293556 1168725713 2145757303 142419392 1383495041 4176412187 3531071365 1307257339 3842304827 1852359063 2825991297 503554103 353315560 3414040373 3289062946 3959517337 1088829348 1931638737 1997079195 3586736002 1368307289 2037549392 406185434 1676212819 3790640862 391161346 359108230 1476175848 1771078896 1906620941 677155007 1378066063 3167925176 3318554290 452779205 2887811787 2569431234 448592876 830140200 3212549063 2740865387 4127967147 4015386371 1828445078 2256649638 3696042102 2500935750 918277383 3920235404 2674792226 283181526 1505808591 1078464014 350554246 3749993801 2215466169 2881822364 1518443062 1871476421 3281826566 1703439176 2365552029 2451843950 3520615236 2404481964 3702494349 1889439325 1590658618 4042224109 815127605 3980072860 2604500823 353642770 1945521268 3989747668 1673265015 816903218 385552762 4046254741 154452966 415949353 1434385157 2435521727 3666229017 238998364 3606572145 2352252929 4140337725 291274615 3338475160 3354576595 3370717176 1021444537 2497793755 3133819849 907889298 2249556910 181105940 1112186030 2963564513 2353100373 731396366 1392254809 526987541 492394274 1631030146 3898201262 571245800 328940229 2105469108 4003989488 2995162317 412329640 2951581854 1321237541 883413589 2752853447 133576640 2387093481 1052244588 3959702643 3895395288 545273728 2978550588 3766796192 63739627 854207327 1634800569 3653718649 2583826515 3023163804 3160348396 1345759524 2079229707 620741766 1000587996 255 362436" option to reproduce the execution
0.18/0.21	c #vars 21856
0.18/0.21	c #constraints 12129
0.48/0.55	c BCD2: Hardening is enabled.
0.48/0.55	c BCD2: BiasedSearch is enabled.
0.48/0.55	c Solving starts ...
0.48/0.55	c ============================[ Search Statistics ]============================
0.48/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.55	c =============================================================================
0.48/0.55	c  0.0s |       0 |        0 |        0 |    11612      0 |     5335 |        0
0.58/0.67	c  0.1s |       1 |      343 |      100 |    11612      0 |     5335 |      287
0.78/0.84	c  0.3s |       2 |     2131 |      250 |    12774      0 |     5335 |      287
1.10/1.19	c  0.6s |       3 |     2991 |      475 |    14052      0 |     5335 |      287
1.49/1.52	c  1.0s |       4 |     5043 |      813 |    15458      0 |     5335 |      287
1.98/2.03	c  1.5s |       5 |     7825 |     1320 |    17004      0 |     5335 |      287
2.38/2.49	c  1.9s |       6 |    11569 |     2081 |    20576      0 |     5335 |      287
3.29/3.33	c  2.8s |       7 |    15240 |     3223 |    22634      0 |     5335 |      287
4.39/4.46	c  3.9s |       8 |    20528 |     4936 |    24898      0 |     5335 |      287
6.40/6.49	c  5.9s |       8 |    26145 |     7136 |    24898      0 |     5335 |      287
6.88/6.91	c  6.4s |       9 |    26755 |     7506 |    27388      0 |     5335 |      287
8.89/8.99	c  8.4s |       9 |    35804 |    11106 |    27388      0 |     5335 |      287
9.08/9.19	c  8.6s |      10 |    36153 |    11361 |    30127      0 |     5335 |      287
11.18/11.25	c 10.7s |      10 |    43203 |    14161 |    30127      0 |     5335 |      287
13.29/13.35	c 12.8s |      10 |    45857 |    15761 |    30127      0 |     5335 |      287
15.49/15.51	c 15.0s |      10 |    48405 |    17061 |    33140      0 |     5335 |      287
15.58/15.65	c 15.1s |      11 |    48546 |    17144 |    33140      0 |     5335 |      287
17.59/17.65	c 17.1s |      11 |    52328 |    18944 |    33140      0 |     5335 |      287
19.68/19.73	c 19.2s |      11 |    54615 |    20544 |    33140      0 |     5335 |      287
21.68/21.79	c 21.2s |      11 |    56109 |    21744 |    33140      0 |     5335 |      287
23.88/23.94	c 23.4s |      11 |    57568 |    22944 |    33140      0 |     5335 |      287
25.98/26.05	c 25.5s |      11 |    58752 |    23844 |    33140      0 |     5335 |      287
28.08/28.10	c 27.6s |      11 |    61021 |    25344 |    33140      0 |     5335 |      287
28.69/28.79	c 28.2s |      12 |    61645 |    25819 |    36454      0 |     5335 |      287
30.79/30.84	c 30.3s |      12 |    66553 |    28419 |    36454      0 |     5335 |      287
32.78/32.87	c 32.3s |      12 |    73984 |    31319 |    36454      0 |     5335 |      287
34.78/34.88	c 34.3s |      12 |    76898 |    32919 |    36454      0 |     5335 |      287
36.88/36.97	c 36.4s |      12 |    80710 |    34419 |    36454      0 |     5335 |      287
39.08/39.15	c 38.6s |      12 |    84227 |    36219 |    36454      0 |     5335 |      287
41.08/41.18	c 40.6s |      12 |    88732 |    37919 |    36454      0 |     5335 |      287
42.18/42.28	c 41.7s |      13 |    90205 |    38832 |    40100      0 |     5335 |      287
44.28/44.34	c 43.8s |      13 |    94748 |    40232 |    40100      0 |     5336 |      288
46.38/46.41	c 45.9s |      13 |    98058 |    42432 |    40100      0 |     5336 |      288
48.38/48.43	c 47.9s |      13 |   100547 |    44232 |    40100      0 |     5336 |      288
50.48/50.53	c 50.0s |      13 |   102681 |    45732 |    40100      0 |     5336 |      288
52.48/52.58	c 52.0s |      13 |   104482 |    47032 |    40100      0 |     5336 |      288
54.68/54.70	c 54.2s |      13 |   106251 |    48432 |    40100      0 |     5336 |      288
56.67/56.71	c 56.2s |      13 |   107359 |    49332 |    40100      0 |     5336 |      288
58.77/58.89	c 58.3s |      13 |   108943 |    50432 |    40100      0 |     5336 |      288
60.97/61.01	c 60.5s |      13 |   110464 |    51532 |    40100      0 |     5336 |      288
63.07/63.20	c 62.6s |      13 |   111918 |    52532 |    40100      0 |     5336 |      288
65.27/65.39	c 64.8s |      13 |   113346 |    53532 |    40100      0 |     5336 |      288
67.47/67.56	c 67.0s |      13 |   114754 |    54532 |    40100      0 |     5336 |      288
69.67/69.71	c 69.2s |      13 |   115711 |    55332 |    40100      0 |     5336 |      288
71.97/72.00	c 71.5s |      13 |   116871 |    56232 |    40100      0 |     5336 |      288
74.17/74.26	c 73.7s |      13 |   117851 |    56932 |    40100      0 |     5336 |      288
76.37/76.48	c 75.9s |      13 |   118781 |    57632 |    40100      0 |     5336 |      288
78.27/78.36	c 77.8s |      14 |   119779 |    58352 |    44110      0 |     5336 |      288
80.38/80.43	c 79.9s |      14 |   125749 |    59452 |    44110      1 |     5336 |      288
82.37/82.50	c 82.0s |      14 |   130963 |    61552 |    44110      1 |     5336 |      288
84.47/84.56	c 84.0s |      14 |   133529 |    63052 |    44110      1 |     5336 |      288
86.48/86.60	c 86.0s |      14 |   135287 |    64052 |    44110      1 |     5336 |      288
88.77/88.82	c 88.3s |      14 |   136954 |    65052 |    44110      1 |     5336 |      288
90.77/90.84	c 90.3s |      14 |   140302 |    66152 |    44110      1 |     5336 |      288
92.77/92.86	c 92.3s |      14 |   143166 |    68252 |    44110      1 |     5336 |      288
94.87/94.93	c 94.4s |      14 |   148711 |    71252 |    44110      1 |     5336 |      288
96.88/96.97	c 96.4s |      14 |   156991 |    74152 |    44110      1 |     5336 |      288
98.98/99.05	c 98.5s |      14 |   162931 |    76252 |    44110      1 |     5337 |      289
101.07/101.11	c  100s |      14 |   165919 |    77752 |    44110      1 |     5337 |      289
103.07/103.16	c  102s |      14 |   168245 |    78952 |    44110      1 |     5337 |      289
105.17/105.24	c  104s |      14 |   169597 |    79752 |    44110      1 |     5337 |      289
107.37/107.41	c  106s |      14 |   171046 |    80652 |    44110      1 |     5337 |      289
109.57/109.63	c  109s |      14 |   172366 |    81552 |    44110      1 |     5337 |      289
111.67/111.70	c  111s |      14 |   173407 |    82252 |    44110      1 |     5337 |      289
113.87/113.95	c  113s |      14 |   174347 |    82952 |    44110      1 |     5337 |      289
116.17/116.25	c  115s |      14 |   175298 |    83652 |    44110      1 |     5337 |      289
118.47/118.54	c  117s |      14 |   176154 |    84252 |    44110      1 |     5337 |      289
120.57/120.67	c  120s |      14 |   176931 |    84852 |    44110      1 |     5337 |      289
122.77/122.85	c  122s |      14 |   177981 |    85652 |    44110      1 |     5337 |      289
124.87/124.98	c  124s |      14 |   179743 |    86352 |    44110      1 |     5337 |      289
127.06/127.18	c  126s |      14 |   182163 |    87352 |    48522      1 |     5337 |      289
127.36/127.47	c  126s |      15 |   182657 |    87632 |    48522      1 |     5337 |      289
129.46/129.53	c  128s |      15 |   184729 |    88032 |    48522      2 |     5337 |      289
131.56/131.65	c  131s |      15 |   189533 |    89432 |    48522      2 |     5338 |      289
133.56/133.69	c  133s |      15 |   197868 |    92132 |    48522      2 |     5339 |      289
135.76/135.83	c  135s |      15 |   203348 |    93632 |    48522      2 |     5339 |      289
137.86/137.95	c  137s |      15 |   209013 |    95732 |    48522      2 |     5339 |      289
139.97/140.08	c  139s |      15 |   210515 |    96932 |    48522      2 |     5339 |      289
141.98/142.09	c  141s |      15 |   211949 |    98032 |    48522      2 |     5339 |      289
144.17/144.25	c  143s |      15 |   213185 |    98932 |    48522      2 |     5339 |      289
146.27/146.36	c  145s |      15 |   214692 |   100032 |    48522      2 |     5339 |      289
148.47/148.54	c  147s |      15 |   216110 |   101132 |    48522      2 |     5339 |      289
150.46/150.57	c  150s |      15 |   217048 |   101932 |    48522      2 |     5339 |      289
152.56/152.64	c  152s |      15 |   218038 |   102732 |    48522      2 |     5339 |      289
154.66/154.74	c  154s |      15 |   218922 |   103432 |    48522      2 |     5339 |      289
156.76/156.80	c  156s |      15 |   219773 |   104132 |    48522      2 |     5339 |      289
159.06/159.12	c  158s |      15 |   220584 |   104832 |    48522      2 |     5339 |      289
161.17/161.28	c  160s |      15 |   221475 |   105532 |    48522      2 |     5339 |      289
163.27/163.34	c  162s |      15 |   222362 |   106232 |    48522      2 |     5339 |      289
165.36/165.44	c  164s |      15 |   223263 |   106932 |    48522      2 |     5339 |      289
167.56/167.69	c  167s |      15 |   223983 |   107532 |    48522      2 |     5339 |      289
169.76/169.81	c  169s |      15 |   224712 |   108132 |    48522      2 |     5339 |      289
171.76/171.88	c  171s |      15 |   225431 |   108732 |    48522      2 |     5339 |      289
173.87/173.93	c  173s |      15 |   226129 |   109332 |    48522      2 |     5339 |      289
175.86/175.93	c  175s |      15 |   226727 |   109832 |    48522      2 |     5339 |      289
177.96/178.03	c  177s |      15 |   227302 |   110332 |    48522      2 |     5339 |      289
179.96/180.03	c  179s |      15 |   227913 |   110832 |    48522      2 |     5339 |      289
182.26/182.35	c  181s |      15 |   228850 |   111632 |    48522      2 |     5339 |      289
184.46/184.51	c  183s |      15 |   230328 |   112332 |    48522      2 |     5339 |      289
186.46/186.57	c  186s |      15 |   237153 |   113532 |    48522      3 |     5339 |      289
188.66/188.75	c  188s |      15 |   238904 |   114732 |    48522      3 |     5339 |      289
190.76/190.89	c  190s |      15 |   240468 |   115732 |    48522      3 |     5339 |      289
192.86/192.99	c  192s |      15 |   241873 |   116632 |    48522      3 |     5339 |      289
195.06/195.12	c  194s |      15 |   243383 |   117532 |    48522      3 |     5339 |      289
197.15/197.21	c  196s |      15 |   245513 |   118832 |    48522      3 |     5339 |      289
199.16/199.28	c  198s |      15 |   247038 |   119932 |    48522      3 |     5339 |      289
201.36/201.46	c  200s |      15 |   247953 |   120632 |    48522      3 |     5339 |      289
203.57/203.64	c  203s |      15 |   249073 |   121332 |    48522      3 |     5339 |      289
205.66/205.78	c  205s |      15 |   250831 |   122332 |    48522      3 |     5339 |      289
207.86/207.98	c  207s |      15 |   251827 |   123032 |    48522      3 |     5339 |      289
210.16/210.23	c  209s |      15 |   252712 |   123632 |    48522      3 |     5339 |      289
212.15/212.29	c  211s |      15 |   253404 |   124132 |    48522      3 |     5339 |      289
214.25/214.34	c  213s |      15 |   254141 |   124732 |    48522      3 |     5339 |      289
216.45/216.58	c  216s |      15 |   254879 |   125332 |    48522      3 |     5339 |      289
218.75/218.85	c  218s |      15 |   255623 |   125932 |    48522      3 |     5339 |      289
221.16/221.24	c  220s |      15 |   256222 |   126432 |    48522      3 |     5339 |      289
223.26/223.38	c  222s |      15 |   256867 |   126932 |    48522      3 |     5339 |      289
225.45/225.57	c  225s |      15 |   257474 |   127432 |    48522      3 |     5339 |      289
227.95/228.08	c  227s |      15 |   258086 |   127932 |    48522      3 |     5339 |      289
230.35/230.41	c  229s |      15 |   258824 |   128532 |    48522      3 |     5339 |      289
232.65/232.77	c  232s |      15 |   259530 |   129132 |    48522      3 |     5339 |      289
234.95/235.05	c  234s |      15 |   260156 |   129632 |    48522      3 |     5339 |      289
237.25/237.38	c  236s |      15 |   261065 |   130332 |    48522      3 |     5339 |      289
239.45/239.58	c  239s |      15 |   261818 |   130932 |    53375      3 |     5339 |      289
241.75/241.84	c  241s |      15 |   262397 |   131432 |    53375      3 |     5339 |      289
242.15/242.26	c  241s |      16 |   262551 |   131552 |    53375      3 |     5339 |      289
244.35/244.41	c  243s |      16 |   267120 |   132652 |    53375      3 |     5339 |      289
246.35/246.43	c  245s |      16 |   269178 |   133552 |    53375      3 |     5339 |      289
248.55/248.64	c  248s |      16 |   270173 |   134252 |    53375      3 |     5339 |      289
250.75/250.83	c  250s |      16 |   270975 |   134852 |    53375      3 |     5339 |      289
252.85/252.98	c  252s |      16 |   271754 |   135452 |    53375      3 |     5339 |      289
255.26/255.36	c  254s |      16 |   272362 |   135952 |    53375      3 |     5339 |      289
257.35/257.49	c  256s |      16 |   273282 |   136452 |    53375      3 |     5339 |      289
259.75/259.80	c  259s |      16 |   274115 |   137052 |    53375      3 |     5339 |      289
261.85/261.95	c  261s |      16 |   274756 |   137552 |    53375      3 |     5339 |      289
264.05/264.12	c  263s |      16 |   275383 |   138052 |    53375      3 |     5339 |      289
266.25/266.37	c  265s |      16 |   276037 |   138552 |    53375      3 |     5339 |      289
268.35/268.47	c  267s |      16 |   276649 |   139052 |    53375      3 |     5339 |      289
270.56/270.68	c  270s |      16 |   277774 |   139652 |    53375      3 |     5339 |      289
272.86/272.97	c  272s |      16 |   278985 |   140452 |    53375      3 |     5339 |      289
275.05/275.19	c  274s |      16 |   279747 |   141052 |    53375      3 |     5339 |      289
277.35/277.42	c  276s |      16 |   280475 |   141652 |    53375      3 |     5339 |      289
279.64/279.71	c  279s |      16 |   281220 |   142252 |    53375      3 |     5339 |      289
281.74/281.87	c  281s |      16 |   281677 |   142652 |    53375      3 |     5339 |      289
283.85/283.92	c  283s |      16 |   282157 |   143052 |    53375      3 |     5339 |      289
286.34/286.42	c  285s |      16 |   282922 |   143652 |    53375      3 |     5339 |      289
288.34/288.48	c  287s |      16 |   285160 |   144252 |    53375      3 |     5339 |      289
290.64/290.70	c  290s |      16 |   287996 |   145352 |    53375      3 |     5339 |      289
292.64/292.72	c  292s |      16 |   289462 |   146052 |    53375      3 |     5339 |      289
294.64/294.79	c  294s |      16 |   290910 |   146652 |    53375      3 |     5339 |      289
296.95/297.01	c  296s |      16 |   293284 |   147452 |    53375      3 |     5339 |      289
299.15/299.28	c  298s |      16 |   294781 |   148152 |    53375      3 |     5339 |      289
301.45/301.59	c  301s |      16 |   296400 |   148852 |    53375      3 |     5339 |      289
303.84/303.97	c  303s |      16 |   297426 |   149452 |    53375      3 |     5339 |      289
306.04/306.19	c  305s |      16 |   298728 |   150052 |    53375      3 |     5339 |      289
308.34/308.44	c  307s |      16 |   299983 |   150752 |    53375      3 |     5339 |      289
310.74/310.86	c  310s |      16 |   300740 |   151252 |    53375      3 |     5339 |      289
313.14/313.28	c  312s |      16 |   301537 |   151752 |    53375      3 |     5339 |      289
315.24/315.36	c  314s |      16 |   302029 |   152152 |    53375      3 |     5339 |      289
317.34/317.49	c  316s |      16 |   302562 |   152552 |    53375      3 |     5339 |      289
319.54/319.68	c  319s |      16 |   303359 |   153052 |    53375      3 |     5339 |      289
321.93/322.05	c  321s |      16 |   303959 |   153452 |    53375      3 |     5339 |      289
323.93/324.08	c  323s |      16 |   304571 |   153852 |    53375      3 |     5339 |      289
326.14/326.22	c  325s |      16 |   305157 |   154252 |    53375      3 |     5339 |      289
328.63/328.73	c  328s |      16 |   305785 |   154652 |    53375      3 |     5339 |      289
330.93/331.02	c  330s |      16 |   306342 |   155052 |    53375      3 |     5339 |      289
333.63/333.72	c  333s |      16 |   306869 |   155452 |    53375      3 |     5339 |      289
335.84/335.90	c  335s |      16 |   307247 |   155752 |    53375      3 |     5339 |      289
338.14/338.28	c  337s |      16 |   307635 |   156052 |    53375      3 |     5339 |      289
340.54/340.67	c  340s |      16 |   308320 |   156452 |    53375      3 |     5339 |      289
342.93/343.09	c  342s |      16 |   309101 |   156952 |    53375      3 |     5339 |      289
345.44/345.59	c  345s |      16 |   309883 |   157452 |    53375      3 |     5339 |      289
347.64/347.79	c  347s |      16 |   310447 |   157852 |    53375      3 |     5339 |      289
349.74/349.85	c  349s |      16 |   311032 |   158252 |    53375      3 |     5339 |      289
352.83/352.96	c  352s |      16 |   311447 |   158552 |    53375      4 |     5339 |      289
355.43/355.50	c  354s |      16 |   312109 |   159052 |    53375      4 |     5339 |      289
357.54/357.61	c  357s |      16 |   312716 |   159452 |    53375      4 |     5339 |      289
359.64/359.75	c  359s |      16 |   313319 |   159852 |    53375      4 |     5339 |      289
362.23/362.32	c  361s |      16 |   313856 |   160252 |    53375      4 |     5339 |      289
364.33/364.48	c  363s |      16 |   314225 |   160552 |    53375      4 |     5339 |      289
366.43/366.51	c  365s |      16 |   314606 |   160852 |    53375      4 |     5339 |      289
368.93/369.08	c  368s |      16 |   315092 |   161252 |    53375      4 |     5339 |      289
371.03/371.11	c  370s |      16 |   315572 |   161552 |    53375      4 |     5339 |      289
373.13/373.24	c  372s |      16 |   315977 |   161852 |    53375      4 |     5339 |      289
375.33/375.45	c  374s |      16 |   316529 |   162252 |    53375      4 |     5339 |      289
377.72/377.84	c  377s |      16 |   317105 |   162652 |    53375      4 |     5339 |      289
380.32/380.49	c  379s |      16 |   317635 |   163052 |    53375      4 |     5339 |      289
382.93/383.10	c  382s |      16 |   318217 |   163452 |    53375      4 |     5339 |      289
385.43/385.55	c  385s |      16 |   318721 |   163852 |    53375      4 |     5339 |      289
387.93/388.02	c  387s |      16 |   319247 |   164252 |    53375      4 |     5339 |      289
389.93/390.07	c  389s |      16 |   319695 |   164552 |    53375      4 |     5339 |      289
392.22/392.34	c  391s |      16 |   320046 |   164852 |    53375      4 |     5339 |      289
394.22/394.39	c  393s |      16 |   320473 |   165152 |    53375      4 |     5339 |      289
396.42/396.58	c  396s |      16 |   321032 |   165552 |    53375      4 |     5339 |      289
398.73/398.84	c  398s |      16 |   321534 |   165952 |    53375      4 |     5339 |      289
401.13/401.30	c  400s |      16 |   322024 |   166352 |    53375      4 |     5339 |      289
403.43/403.53	c  402s |      16 |   322405 |   166652 |    53375      4 |     5339 |      289
405.83/405.91	c  405s |      16 |   322743 |   166952 |    53375      4 |     5339 |      289
407.93/408.04	c  407s |      16 |   323135 |   167252 |    53375      4 |     5339 |      289
410.52/410.60	c  410s |      16 |   323492 |   167552 |    53375      4 |     5339 |      289
412.53/412.67	c  412s |      16 |   324139 |   167952 |    53375      4 |     5339 |      289
414.73/414.82	c  414s |      16 |   324799 |   168352 |    53375      4 |     5339 |      289
416.72/416.86	c  416s |      16 |   325379 |   168752 |    53375      4 |     5339 |      289
419.23/419.34	c  418s |      16 |   325929 |   169152 |    53375      4 |     5339 |      289
421.33/421.49	c  420s |      16 |   326322 |   169452 |    53375      4 |     5339 |      289
424.02/424.15	c  423s |      16 |   326840 |   169852 |    53375      4 |     5339 |      289
426.12/426.20	c  425s |      16 |   327706 |   170352 |    53375      4 |     5339 |      289
428.42/428.53	c  427s |      16 |   328463 |   170852 |    53375      4 |     5339 |      289
430.62/430.74	c  430s |      16 |   328962 |   171252 |    53375      4 |     5339 |      289
433.22/433.38	c  432s |      16 |   329758 |   171752 |    53375      4 |     5339 |      289
435.62/435.76	c  435s |      16 |   330378 |   172152 |    53375      4 |     5339 |      289
438.22/438.36	c  437s |      16 |   330883 |   172552 |    53375      4 |     5339 |      289
440.41/440.52	c  439s |      16 |   331742 |   173052 |    53375      4 |     5339 |      289
442.71/442.80	c  442s |      16 |   332285 |   173452 |    53375      4 |     5339 |      289
445.02/445.15	c  444s |      16 |   332941 |   173952 |    53375      4 |     5339 |      289
447.12/447.27	c  446s |      16 |   333622 |   174352 |    53375      4 |     5339 |      289
449.22/449.36	c  448s |      16 |   334349 |   174752 |    53375      4 |     5339 |      289
451.32/451.46	c  450s |      16 |   334738 |   175052 |    53375      4 |     5339 |      289
453.42/453.58	c  453s |      16 |   335145 |   175352 |    53375      4 |     5339 |      289
455.81/455.94	c  455s |      16 |   335753 |   175752 |    53375      4 |     5339 |      289
458.01/458.10	c  457s |      16 |   336315 |   176152 |    53375      4 |     5339 |      289
460.31/460.43	c  459s |      16 |   336802 |   176552 |    53375      4 |     5339 |      289
462.91/463.04	c  462s |      16 |   337341 |   176952 |    53375      4 |     5339 |      289
465.23/465.35	c  464s |      16 |   337856 |   177352 |    53375      4 |     5339 |      289
468.02/468.16	c  467s |      16 |   338354 |   177752 |    53375      4 |     5339 |      289
470.12/470.26	c  469s |      16 |   338911 |   178152 |    53375      4 |     5339 |      289
472.52/472.64	c  472s |      16 |   339399 |   178552 |    53375      4 |     5339 |      289
474.51/474.67	c  474s |      16 |   339770 |   178852 |    53375      4 |     5339 |      289
477.01/477.15	c  476s |      16 |   340299 |   179252 |    53375      4 |     5339 |      289
479.21/479.31	c  478s |      16 |   340684 |   179552 |    53375      4 |     5339 |      289
481.41/481.55	c  481s |      16 |   341061 |   179852 |    53375      4 |     5339 |      289
483.61/483.71	c  483s |      16 |   341413 |   180152 |    53375      4 |     5339 |      289
485.61/485.72	c  485s |      16 |   341798 |   180452 |    53375      4 |     5339 |      289
487.81/487.95	c  487s |      16 |   342142 |   180752 |    53375      4 |     5339 |      289
490.31/490.49	c  489s |      16 |   342631 |   181152 |    53375      4 |     5339 |      289
493.01/493.12	c  492s |      16 |   343134 |   181552 |    53375      4 |     5339 |      289
495.01/495.19	c  494s |      16 |   343485 |   181852 |    53375      4 |     5339 |      289
497.01/497.20	c  496s |      16 |   343826 |   182152 |    53375      4 |     5339 |      289
499.42/499.59	c  499s |      16 |   344178 |   182452 |    53375      4 |     5339 |      289
501.71/501.86	c  501s |      16 |   344529 |   182752 |    53375      4 |     5339 |      289
504.11/504.23	c  503s |      16 |   344881 |   183052 |    53375      4 |     5339 |      289
506.31/506.48	c  505s |      16 |   345236 |   183352 |    53375      4 |     5339 |      289
508.81/508.90	c  508s |      16 |   345594 |   183652 |    53375      4 |     5339 |      289
511.31/511.47	c  510s |      16 |   345951 |   183952 |    53375      4 |     5339 |      289
513.51/513.66	c  513s |      16 |   346376 |   184252 |    53375      4 |     5339 |      289
515.91/516.07	c  515s |      16 |   346813 |   184552 |    53375      4 |     5339 |      289
518.50/518.64	c  518s |      16 |   347308 |   184952 |    53375      4 |     5339 |      289
520.91/521.02	c  520s |      16 |   347687 |   185252 |    53375      4 |     5339 |      289
523.41/523.55	c  522s |      16 |   348035 |   185552 |    53375      4 |     5339 |      289
525.61/525.76	c  525s |      16 |   348402 |   185852 |    53375      4 |     5339 |      289
528.01/528.18	c  527s |      16 |   348766 |   186152 |    53375      4 |     5339 |      289
530.91/531.00	c  530s |      16 |   349321 |   186552 |    53375      4 |     5339 |      289
533.41/533.52	c  532s |      16 |   349726 |   186852 |    53375      4 |     5339 |      289
536.00/536.16	c  535s |      16 |   350070 |   187152 |    53375      4 |     5339 |      289
538.50/538.61	c  538s |      16 |   350419 |   187452 |    53375      4 |     5339 |      289
541.11/541.27	c  540s |      16 |   350793 |   187752 |    53375      4 |     5339 |      289
543.81/543.90	c  543s |      16 |   351153 |   188052 |    53375      4 |     5339 |      289
546.30/546.44	c  545s |      16 |   351515 |   188352 |    53375      4 |     5339 |      289
548.81/548.99	c  548s |      16 |   351888 |   188652 |    53375      4 |     5339 |      289
551.20/551.35	c  550s |      16 |   352230 |   188952 |    53375      4 |     5339 |      289
553.70/553.89	c  553s |      16 |   352613 |   189252 |    53375      4 |     5339 |      289
556.10/556.22	c  555s |      16 |   352953 |   189552 |    53375      4 |     5339 |      289
558.70/558.88	c  558s |      16 |   353349 |   189852 |    53375      4 |     5339 |      289
561.09/561.20	c  560s |      16 |   353714 |   190152 |    53375      4 |     5339 |      289
563.90/564.02	c  563s |      16 |   354052 |   190452 |    53375      4 |     5339 |      289
566.51/566.69	c  566s |      16 |   354428 |   190752 |    53375      4 |     5339 |      289
568.61/568.70	c  568s |      16 |   354649 |   190952 |    53375      4 |     5339 |      289
571.50/571.68	c  571s |      16 |   355012 |   191252 |    53375      4 |     5339 |      289
574.50/574.67	c  574s |      16 |   355363 |   191552 |    53375      4 |     5339 |      289
577.29/577.44	c  576s |      16 |   355724 |   191852 |    53375      4 |     5339 |      289
579.80/579.99	c  579s |      16 |   356204 |   192252 |    53375      4 |     5339 |      289
582.50/582.69	c  582s |      16 |   356547 |   192552 |    53375      4 |     5339 |      289
584.99/585.19	c  584s |      16 |   356878 |   192852 |    53375      4 |     5339 |      289
587.69/587.87	c  587s |      16 |   357231 |   193152 |    53375      4 |     5339 |      289
590.30/590.47	c  589s |      16 |   357553 |   193452 |    53375      4 |     5339 |      289
592.99/593.18	c  592s |      16 |   357891 |   193752 |    53375      4 |     5339 |      289
595.69/595.83	c  595s |      16 |   358245 |   194052 |    53375      4 |     5339 |      289
597.99/598.10	c  597s |      16 |   358611 |   194352 |    53375      4 |     5339 |      289
600.39/600.53	c  599s |      16 |   359006 |   194652 |    53375      4 |     5339 |      289
603.30/603.42	c  602s |      16 |   359326 |   194952 |    53375      4 |     5339 |      289
606.59/606.79	c  606s |      16 |   359440 |   195052 |    53375      5 |     5339 |      289
609.09/609.23	c  608s |      16 |   359819 |   195352 |    53375      5 |     5339 |      289
611.79/611.94	c  611s |      16 |   360198 |   195652 |    53375      5 |     5339 |      289
614.20/614.37	c  613s |      16 |   360552 |   195952 |    53375      5 |     5339 |      289
617.00/617.13	c  616s |      16 |   360903 |   196252 |    58713      5 |     5339 |      289
619.49/619.69	c  619s |      16 |   361247 |   196552 |    58713      5 |     5339 |      289
621.99/622.13	c  621s |      16 |   361590 |   196852 |    58713      5 |     5339 |      289
624.69/624.82	c  624s |      16 |   361921 |   197152 |    58713      5 |     5339 |      289
627.29/627.41	c  626s |      17 |   362268 |   197432 |    58713      5 |     5339 |      289
629.29/629.48	c  628s |      17 |   364899 |   198232 |    58713      5 |     5339 |      289
631.49/631.62	c  631s |      17 |   372346 |   199532 |    58713      5 |     5339 |      289
633.50/633.67	c  633s |      17 |   378256 |   201532 |    58713      5 |     5339 |      289
635.59/635.74	c  635s |      17 |   380063 |   202932 |    58713      5 |     5339 |      289
637.59/637.74	c  637s |      17 |   383079 |   204132 |    58713      5 |     5339 |      289
639.69/639.80	c  639s |      17 |   392419 |   206532 |    58713      5 |     5339 |      289
641.79/641.92	c  641s |      17 |   397252 |   208232 |    58713      5 |     5339 |      289
643.79/643.99	c  643s |      17 |   400067 |   209532 |    58713      5 |     5339 |      289
645.89/646.02	c  645s |      17 |   404568 |   211132 |    58713      5 |     5339 |      289
647.99/648.11	c  647s |      17 |   406697 |   212532 |    58713      5 |     5339 |      289
650.19/650.33	c  649s |      17 |   408216 |   213632 |    58713      5 |     5339 |      289
652.29/652.46	c  651s |      17 |   409735 |   214632 |    58713      5 |     5339 |      289
654.39/654.56	c  654s |      17 |   410679 |   215432 |    58713      5 |     5339 |      289
656.59/656.75	c  656s |      17 |   411912 |   216332 |    58713      5 |     5339 |      289
658.68/658.88	c  658s |      17 |   413522 |   217532 |    58713      5 |     5339 |      289
660.99/661.12	c  660s |      17 |   414617 |   218332 |    58713      5 |     5339 |      289
663.08/663.25	c  662s |      17 |   415956 |   219132 |    58713      5 |     5339 |      289
665.18/665.32	c  664s |      17 |   419870 |   220232 |    58713      5 |     5339 |      289
667.28/667.40	c  666s |      17 |   425211 |   221532 |    58713      5 |     5339 |      289
669.48/669.60	c  669s |      17 |   426665 |   222532 |    58713      5 |     5339 |      289
671.78/671.90	c  671s |      17 |   427616 |   223232 |    58713      5 |     5339 |      289
673.88/674.08	c  673s |      17 |   428387 |   223832 |    58713      5 |     5339 |      289
676.08/676.21	c  675s |      17 |   429194 |   224432 |    58713      5 |     5339 |      289
678.28/678.47	c  677s |      17 |   429965 |   225032 |    58713      5 |     5339 |      289
680.38/680.60	c  680s |      17 |   431066 |   225832 |    58713      5 |     5339 |      289
682.78/682.96	c  682s |      17 |   431842 |   226432 |    58713      5 |     5339 |      289
685.08/685.28	c  684s |      17 |   432468 |   226932 |    58713      5 |     5339 |      289
687.48/687.61	c  687s |      17 |   433191 |   227432 |    58713      5 |     5339 |      289
689.58/689.74	c  689s |      17 |   434447 |   228232 |    58713      5 |     5339 |      289
691.68/691.83	c  691s |      17 |   435335 |   228832 |    58713      5 |     5339 |      289
693.68/693.83	c  693s |      17 |   436018 |   229332 |    58713      5 |     5339 |      289
695.78/695.96	c  695s |      17 |   436685 |   229832 |    58713      5 |     5339 |      289
697.88/698.00	c  697s |      17 |   437501 |   230332 |    58713      5 |     5339 |      289
700.08/700.20	c  699s |      17 |   438392 |   230932 |    58713      5 |     5339 |      289
702.08/702.22	c  701s |      17 |   439156 |   231432 |    58713      5 |     5339 |      289
704.17/704.38	c  703s |      17 |   439786 |   231932 |    58713      5 |     5339 |      289
706.47/706.67	c  706s |      17 |   440390 |   232432 |    58713      5 |     5339 |      289
709.08/709.20	c  708s |      17 |   440985 |   232932 |    58713      5 |     5339 |      289
711.38/711.57	c  711s |      17 |   441664 |   233432 |    58713      5 |     5339 |      289
713.58/713.79	c  713s |      17 |   442376 |   233932 |    58713      5 |     5339 |      289
716.08/716.22	c  715s |      17 |   442987 |   234432 |    58713      5 |     5339 |      289
718.18/718.36	c  717s |      17 |   443460 |   234832 |    58713      5 |     5339 |      289
720.17/720.37	c  719s |      17 |   444039 |   235232 |    58713      5 |     5339 |      289
722.77/722.92	c  722s |      17 |   445117 |   235732 |    58713      5 |     5339 |      289
724.88/725.05	c  724s |      17 |   445569 |   236132 |    58713      5 |     5339 |      289
730.07/730.23	c  729s |      17 |   446064 |   236532 |    58713      6 |     5339 |      289
732.17/732.31	c  731s |      17 |   446899 |   237032 |    58713      6 |     5339 |      289
734.47/734.68	c  734s |      17 |   447466 |   237432 |    58713      6 |     5339 |      289
736.67/736.83	c  736s |      17 |   448081 |   237832 |    58713      6 |     5339 |      289
738.67/738.85	c  738s |      17 |   448844 |   238332 |    58713      6 |     5339 |      289
741.07/741.21	c  740s |      17 |   449644 |   238932 |    58713      6 |     5339 |      289
743.58/743.77	c  743s |      17 |   450245 |   239432 |    58713      6 |     5339 |      289
745.68/745.85	c  745s |      17 |   450775 |   239832 |    58713      6 |     5339 |      289
748.27/748.45	c  747s |      17 |   451307 |   240232 |    58713      6 |     5339 |      289
750.67/750.89	c  750s |      17 |   451641 |   240532 |    58713      6 |     5339 |      289
753.37/753.57	c  753s |      17 |   452172 |   240932 |    58713      6 |     5339 |      289
755.87/756.05	c  755s |      17 |   452680 |   241332 |    58713      6 |     5339 |      289
757.96/758.11	c  757s |      17 |   453197 |   241732 |    58713      6 |     5339 |      289
760.17/760.33	c  759s |      17 |   453739 |   242132 |    58713      6 |     5339 |      289
762.47/762.67	c  762s |      17 |   454303 |   242532 |    58713      6 |     5339 |      289
764.87/765.08	c  764s |      17 |   454695 |   242832 |    58713      6 |     5339 |      289
766.96/767.15	c  766s |      17 |   454977 |   243032 |    58713      6 |     5339 |      289
769.37/769.54	c  768s |      17 |   455522 |   243432 |    58713      6 |     5339 |      289
771.77/771.94	c  771s |      17 |   456034 |   243832 |    58713      6 |     5339 |      289
774.47/774.62	c  774s |      17 |   456551 |   244232 |    58713      6 |     5339 |      289
777.06/777.22	c  776s |      17 |   457115 |   244632 |    58713      6 |     5339 |      289
779.57/779.77	c  779s |      17 |   457607 |   245032 |    58713      6 |     5339 |      289
782.27/782.45	c  781s |      17 |   458087 |   245432 |    58713      6 |     5339 |      289
784.36/784.54	c  783s |      17 |   458437 |   245732 |    58713      6 |     5339 |      289
787.06/787.26	c  786s |      17 |   458806 |   246032 |    58713      6 |     5339 |      289
789.35/789.60	c  789s |      17 |   459042 |   246232 |    58713      6 |     5339 |      289
791.96/792.20	c  791s |      17 |   459604 |   246632 |    58713      6 |     5339 |      289
794.26/794.43	c  793s |      17 |   460080 |   246932 |    58713      6 |     5339 |      289
796.76/796.92	c  796s |      17 |   460650 |   247332 |    58713      6 |     5339 |      289
799.05/799.24	c  798s |      17 |   461211 |   247732 |    58713      6 |     5339 |      289
801.35/801.53	c  800s |      17 |   461564 |   248032 |    58713      6 |     5339 |      289
803.75/803.90	c  803s |      17 |   461990 |   248332 |    58713      6 |     5339 |      289
806.35/806.50	c  805s |      17 |   462414 |   248632 |    58713      6 |     5339 |      289
808.85/809.03	c  808s |      17 |   462693 |   248832 |    58713      6 |     5339 |      289
811.24/811.43	c  810s |      17 |   463042 |   249032 |    58713      6 |     5339 |      289
813.44/813.63	c  813s |      17 |   463301 |   249232 |    58713      6 |     5339 |      289
815.94/816.11	c  815s |      17 |   463541 |   249432 |    58713      6 |     5339 |      289
818.44/818.63	c  818s |      17 |   463918 |   249732 |    58713      6 |     5339 |      289
820.44/820.68	c  820s |      17 |   464275 |   250032 |    58713      6 |     5339 |      289
823.24/823.45	c  822s |      17 |   464669 |   250332 |    58713      6 |     5339 |      289
825.44/825.63	c  825s |      17 |   465211 |   250632 |    58713      6 |     5339 |      289
827.74/827.91	c  827s |      17 |   465708 |   251032 |    58713      6 |     5339 |      289
830.23/830.45	c  829s |      17 |   466297 |   251432 |    58713      6 |     5339 |      289
832.64/832.81	c  832s |      17 |   466824 |   251832 |    58713      6 |     5339 |      289
834.63/834.88	c  834s |      17 |   467228 |   252132 |    58713      6 |     5339 |      289
836.83/837.09	c  836s |      17 |   467929 |   252632 |    58713      6 |     5339 |      289
838.93/839.16	c  838s |      17 |   468529 |   253032 |    58713      6 |     5339 |      289
841.13/841.30	c  840s |      17 |   469247 |   253432 |    58713      6 |     5339 |      289
843.33/843.59	c  843s |      17 |   470036 |   253932 |    58713      6 |     5339 |      289
845.73/846.00	c  845s |      17 |   470601 |   254332 |    58713      6 |     5339 |      289
848.32/848.51	c  847s |      17 |   471162 |   254732 |    58713      6 |     5339 |      289
850.62/850.89	c  850s |      17 |   471897 |   255232 |    58713      6 |     5339 |      289
852.73/852.91	c  852s |      17 |   472257 |   255532 |    58713      6 |     5339 |      289
854.73/854.92	c  854s |      17 |   472643 |   255832 |    58713      6 |     5339 |      289
857.13/857.32	c  856s |      17 |   473024 |   256132 |    58713      6 |     5339 |      289
859.32/859.50	c  858s |      17 |   473511 |   256432 |    58713      6 |     5339 |      289
861.82/862.09	c  861s |      17 |   473895 |   256732 |    58713      6 |     5339 |      289
864.43/864.66	c  864s |      17 |   474274 |   257032 |    58713      6 |     5339 |      289
867.22/867.47	c  866s |      17 |   474627 |   257332 |    58713      6 |     5339 |      289
869.51/869.76	c  869s |      17 |   475032 |   257632 |    58713      6 |     5339 |      289
872.41/872.61	c  872s |      17 |   475370 |   257932 |    58713      6 |     5339 |      289
874.91/875.12	c  874s |      17 |   475713 |   258232 |    58713      6 |     5339 |      289
876.91/877.15	c  876s |      17 |   475954 |   258432 |    58713      6 |     5339 |      289
879.20/879.48	c  878s |      17 |   476401 |   258732 |    58713      6 |     5339 |      289
881.41/881.65	c  881s |      17 |   476835 |   259032 |    58713      6 |     5339 |      289
883.61/883.86	c  883s |      17 |   477220 |   259332 |    58713      6 |     5339 |      289
885.81/886.05	c  885s |      17 |   477785 |   259732 |    58713      6 |     5339 |      289
888.41/888.62	c  888s |      17 |   478356 |   260132 |    58713      6 |     5339 |      289
890.91/891.16	c  890s |      17 |   478888 |   260532 |    58713      6 |     5339 |      289
893.01/893.22	c  892s |      17 |   479340 |   260832 |    58713      6 |     5339 |      289
895.60/895.85	c  895s |      17 |   479865 |   261232 |    58713      6 |     5339 |      289
898.30/898.59	c  898s |      17 |   480256 |   261532 |    58713      6 |     5339 |      289
901.30/901.52	c  900s |      17 |   480602 |   261832 |    58713      6 |     5339 |      289
903.60/903.82	c  903s |      17 |   481001 |   262132 |    58713      6 |     5339 |      289
906.10/906.37	c  905s |      17 |   481360 |   262432 |    58713      6 |     5339 |      289
908.79/909.08	c  908s |      17 |   481738 |   262732 |    58713      6 |     5339 |      289
911.09/911.32	c  910s |      17 |   481955 |   262932 |    58713      6 |     5339 |      289
913.79/914.06	c  913s |      17 |   482351 |   263232 |    58713      6 |     5339 |      289
915.89/916.15	c  915s |      17 |   482744 |   263532 |    58713      6 |     5339 |      289
918.58/918.86	c  918s |      17 |   483114 |   263832 |    58713      6 |     5339 |      289
920.98/921.26	c  920s |      17 |   483362 |   264032 |    58713      6 |     5339 |      289
923.89/924.12	c  923s |      17 |   483733 |   264332 |    58713      6 |     5339 |      289
926.38/926.69	c  926s |      17 |   484087 |   264632 |    58713      6 |     5339 |      289
928.88/929.18	c  928s |      17 |   484319 |   264832 |    58713      6 |     5339 |      289
930.98/931.23	c  930s |      17 |   484564 |   265032 |    58713      6 |     5339 |      289
933.18/933.41	c  932s |      17 |   484808 |   265232 |    58713      6 |     5339 |      289
935.48/935.76	c  935s |      17 |   485152 |   265532 |    58713      6 |     5339 |      289
937.98/938.29	c  937s |      17 |   485496 |   265832 |    58713      6 |     5339 |      289
940.38/940.62	c  940s |      17 |   485873 |   266132 |    58713      6 |     5339 |      289
942.49/942.75	c  942s |      17 |   486151 |   266332 |    58713      6 |     5339 |      289
945.68/945.99	c  945s |      17 |   486527 |   266632 |    58713      6 |     5339 |      289
948.88/949.12	c  948s |      17 |   486883 |   266932 |    58713      6 |     5339 |      289
951.28/951.54	c  950s |      17 |   487113 |   267132 |    58713      6 |     5339 |      289
953.58/953.87	c  953s |      17 |   487326 |   267332 |    58713      6 |     5339 |      289
956.57/956.90	c  956s |      17 |   487678 |   267632 |    58713      6 |     5339 |      289
958.78/959.00	c  958s |      17 |   487906 |   267832 |    58713      6 |     5339 |      289
960.98/961.27	c  960s |      17 |   488133 |   268032 |    58713      6 |     5339 |      289
963.07/963.39	c  962s |      17 |   488395 |   268232 |    58713      6 |     5339 |      289
965.58/965.86	c  965s |      17 |   488641 |   268432 |    58713      6 |     5339 |      289
968.66/968.95	c  968s |      17 |   488999 |   268732 |    58713      6 |     5339 |      289
971.36/971.65	c  971s |      17 |   489230 |   268932 |    58713      6 |     5339 |      289
973.96/974.24	c  973s |      17 |   489497 |   269132 |    58713      6 |     5339 |      289
976.16/976.44	c  975s |      17 |   489737 |   269332 |    58713      6 |     5339 |      289
979.16/979.41	c  978s |      17 |   490117 |   269632 |    58713      6 |     5339 |      289
981.45/981.72	c  981s |      17 |   490494 |   269932 |    58713      6 |     5339 |      289
984.37/984.67	c  984s |      17 |   490858 |   270232 |    58713      6 |     5339 |      289
986.36/986.70	c  986s |      17 |   491116 |   270432 |    58713      6 |     5339 |      289
988.86/989.16	c  988s |      17 |   491525 |   270732 |    58713      6 |     5339 |      289
991.45/991.71	c  991s |      17 |   491911 |   271032 |    58713      6 |     5339 |      289
994.36/994.61	c  994s |      17 |   492293 |   271332 |    58713      6 |     5339 |      289
996.36/996.65	c  996s |      17 |   492559 |   271532 |    58713      6 |     5339 |      289
998.85/999.10	c  998s |      17 |   492906 |   271832 |    58713      6 |     5339 |      289
1001.35/1001.62	c 1001s |      17 |   493231 |   272132 |    58713      6 |     5339 |      289
1003.85/1004.14	c 1003s |      17 |   493570 |   272432 |    58713      6 |     5339 |      289
1006.05/1006.30	c 1005s |      17 |   493971 |   272732 |    58713      6 |     5339 |      289
1008.35/1008.69	c 1008s |      17 |   494509 |   273132 |    58713      6 |     5339 |      289
1010.65/1010.95	c 1010s |      17 |   495194 |   273532 |    58713      6 |     5339 |      289
1013.14/1013.49	c 1012s |      17 |   495819 |   273932 |    58713      6 |     5339 |      289
1015.54/1015.82	c 1015s |      17 |   496197 |   274232 |    58713      6 |     5339 |      289
1017.64/1017.92	c 1017s |      17 |   496577 |   274532 |    58713      6 |     5339 |      289
1019.74/1020.09	c 1019s |      17 |   496943 |   274832 |    58713      6 |     5339 |      289
1024.14/1024.40	c 1023s |      17 |   497318 |   275132 |    58713      7 |     5339 |      289
1027.44/1027.76	c 1027s |      17 |   497693 |   275432 |    58713      7 |     5339 |      289
1029.83/1030.10	c 1029s |      17 |   498079 |   275732 |    58713      7 |     5339 |      289
1031.94/1032.24	c 1031s |      17 |   498442 |   276032 |    58713      7 |     5339 |      289
1034.34/1034.64	c 1034s |      17 |   498846 |   276332 |    58713      7 |     5339 |      289
1036.84/1037.19	c 1036s |      17 |   499583 |   276832 |    58713      7 |     5339 |      289
1038.93/1039.23	c 1038s |      17 |   500219 |   277232 |    58713      7 |     5339 |      289
1041.03/1041.34	c 1040s |      17 |   500775 |   277632 |    58713      7 |     5339 |      289
1043.23/1043.55	c 1043s |      17 |   501234 |   278032 |    58713      7 |     5339 |      289
1045.23/1045.59	c 1045s |      17 |   501980 |   278532 |    58713      7 |     5339 |      289
1047.43/1047.73	c 1047s |      17 |   502672 |   279032 |    58713      7 |     5339 |      289
1049.43/1049.75	c 1049s |      17 |   503417 |   279532 |    58713      7 |     5339 |      289
1051.83/1052.13	c 1051s |      17 |   504085 |   280032 |    58713      7 |     5339 |      289
1054.02/1054.34	c 1053s |      17 |   504854 |   280532 |    58713      7 |     5339 |      289
1056.02/1056.35	c 1055s |      17 |   505271 |   280832 |    58713      7 |     5339 |      289
1058.32/1058.65	c 1058s |      17 |   505775 |   281232 |    58713      7 |     5339 |      289
1060.53/1060.88	c 1060s |      17 |   506393 |   281632 |    58713      7 |     5339 |      289
1062.63/1062.95	c 1062s |      17 |   506757 |   281932 |    58713      7 |     5339 |      289
1065.13/1065.48	c 1064s |      17 |   507245 |   282332 |    58713      7 |     5339 |      289
1067.43/1067.75	c 1067s |      17 |   507656 |   282632 |    58713      7 |     5339 |      289
1069.72/1070.02	c 1069s |      17 |   508215 |   283032 |    58713      7 |     5339 |      289
1071.72/1072.03	c 1071s |      17 |   508627 |   283332 |    58713      7 |     5339 |      289
1073.72/1074.06	c 1073s |      17 |   508986 |   283632 |    58713      7 |     5339 |      289
1076.02/1076.33	c 1075s |      17 |   509350 |   283932 |    58713      7 |     5339 |      289
1078.82/1079.11	c 1078s |      17 |   509712 |   284232 |    58713      7 |     5339 |      289
1081.32/1081.63	c 1081s |      17 |   510057 |   284532 |    58713      7 |     5339 |      289
1083.92/1084.21	c 1083s |      17 |   510413 |   284832 |    58713      7 |     5339 |      289
1085.92/1086.21	c 1085s |      17 |   510660 |   285032 |    58713      7 |     5339 |      289
1088.42/1088.77	c 1088s |      17 |   511070 |   285332 |    58713      7 |     5339 |      289
1090.92/1091.30	c 1090s |      17 |   511427 |   285632 |    58713      7 |     5339 |      289
1093.31/1093.67	c 1093s |      17 |   511860 |   285932 |    58713      7 |     5339 |      289
1095.71/1096.07	c 1095s |      17 |   512230 |   286232 |    58713      7 |     5339 |      289
1097.91/1098.29	c 1097s |      17 |   512582 |   286532 |    58713      7 |     5339 |      289
1100.11/1100.43	c 1099s |      17 |   512948 |   286832 |    58713      7 |     5339 |      289
1102.41/1102.76	c 1102s |      17 |   513306 |   287132 |    58713      7 |     5339 |      289
1104.51/1104.83	c 1104s |      17 |   513690 |   287432 |    58713      7 |     5339 |      289
1106.71/1107.03	c 1106s |      17 |   514019 |   287732 |    58713      7 |     5339 |      289
1109.31/1109.67	c 1109s |      17 |   514355 |   288032 |    58713      7 |     5339 |      289
1112.00/1112.34	c 1111s |      17 |   514678 |   288332 |    58713      7 |     5339 |      289
1114.01/1114.39	c 1113s |      17 |   515050 |   288632 |    58713      7 |     5339 |      289
1116.50/1116.87	c 1116s |      17 |   515532 |   289032 |    58713      7 |     5339 |      289
1119.09/1119.45	c 1118s |      17 |   515869 |   289332 |    58713      7 |     5339 |      289
1121.10/1121.48	c 1120s |      17 |   516101 |   289532 |    58713      7 |     5339 |      289
1123.70/1124.01	c 1123s |      17 |   516460 |   289832 |    58713      7 |     5339 |      289
1126.50/1126.88	c 1126s |      17 |   516813 |   290132 |    58713      7 |     5339 |      289
1129.19/1129.50	c 1128s |      17 |   517185 |   290432 |    58713      7 |     5339 |      289
1131.29/1131.63	c 1131s |      17 |   517427 |   290632 |    58713      7 |     5339 |      289
1133.59/1133.98	c 1133s |      17 |   517689 |   290832 |    58713      7 |     5339 |      289
1136.59/1136.97	c 1136s |      17 |   518034 |   291132 |    58713      7 |     5339 |      289
1139.19/1139.52	c 1138s |      17 |   518454 |   291432 |    58713      7 |     5339 |      289
1141.29/1141.69	c 1141s |      17 |   518818 |   291732 |    58713      7 |     5339 |      289
1143.59/1143.94	c 1143s |      17 |   519235 |   292032 |    58713      7 |     5339 |      289
1145.79/1146.12	c 1145s |      17 |   519589 |   292332 |    58713      7 |     5339 |      289
1148.19/1148.52	c 1147s |      17 |   519967 |   292632 |    58713      7 |     5339 |      289
1150.39/1150.73	c 1150s |      17 |   520313 |   292932 |    58713      7 |     5339 |      289
1152.68/1153.01	c 1152s |      17 |   520715 |   293232 |    58713      7 |     5339 |      289
1155.29/1155.60	c 1155s |      17 |   521077 |   293532 |    58713      7 |     5339 |      289
1157.38/1157.74	c 1157s |      17 |   521427 |   293832 |    58713      7 |     5339 |      289
1159.58/1159.94	c 1159s |      17 |   521827 |   294132 |    58713      7 |     5339 |      289
1161.68/1162.02	c 1161s |      17 |   522194 |   294432 |    64585      7 |     5339 |      289
1164.18/1164.52	c 1163s |      17 |   522559 |   294732 |    64585      7 |     5339 |      289
1166.18/1166.57	c 1166s |      17 |   522792 |   294932 |    64585      7 |     5339 |      289
1169.17/1169.57	c 1169s |      17 |   523194 |   295232 |    64585      7 |     5339 |      289
1171.87/1172.21	c 1171s |      17 |   523541 |   295532 |    64585      7 |     5339 |      289
1174.48/1174.82	c 1174s |      17 |   523918 |   295832 |    64585      7 |     5339 |      289
1176.87/1177.25	c 1176s |      17 |   524318 |   296132 |    64585      7 |     5339 |      289
1177.78/1178.15	c 1177s |      18 |   524462 |   296252 |    64585      7 |     5339 |      289
1180.38/1180.79	c 1180s |      18 |   525923 |   296352 |    64585      7 |     5339 |      289
1182.47/1182.82	c 1182s |      18 |   533037 |   299952 |    64585      7 |     5339 |      289
1184.48/1184.84	c 1184s |      18 |   536710 |   302752 |    64585      7 |     5339 |      289
1186.47/1186.88	c 1186s |      18 |   540257 |   305552 |    64585      7 |     5339 |      289
1188.57/1188.96	c 1188s |      18 |   542967 |   307752 |    64585      7 |     5339 |      289
1190.66/1191.02	c 1190s |      18 |   545220 |   309552 |    64585      7 |     5339 |      289
1192.66/1193.08	c 1192s |      18 |   550481 |   312152 |    64585      7 |     5339 |      289
1194.76/1195.12	c 1194s |      18 |   552930 |   314252 |    64585      7 |     5339 |      289
1199.36/1199.71	c 1199s |      18 |   553976 |   314752 |    64585      8 |     5340 |      290
1201.46/1201.84	c 1201s |      18 |   558560 |   315652 |    64585      8 |     5340 |      290
1203.57/1203.95	c 1203s |      18 |   563058 |   317252 |    64585      8 |     5340 |      290
1205.66/1206.01	c 1205s |      18 |   566533 |   319352 |    64585      8 |     5340 |      290
1207.66/1208.09	c 1207s |      18 |   568790 |   320852 |    64585      8 |     5340 |      290
1209.96/1210.39	c 1209s |      18 |   569950 |   321752 |    64585      8 |     5340 |      290
1212.06/1212.43	c 1211s |      18 |   571661 |   322852 |    64585      8 |     5340 |      290
1214.07/1214.47	c 1213s |      18 |   574804 |   324152 |    64585      8 |     5340 |      290
1216.16/1216.52	c 1215s |      18 |   579915 |   326252 |    64585      8 |     5340 |      290
1218.16/1218.57	c 1218s |      18 |   586611 |   327852 |    64585      8 |     5340 |      290
1220.25/1220.65	c 1220s |      18 |   593133 |   329452 |    64585      8 |     5340 |      290
1222.35/1222.76	c 1222s |      18 |   596082 |   330952 |    64585      8 |     5340 |      290
1224.45/1224.86	c 1224s |      18 |   597739 |   332152 |    64585      8 |     5340 |      290
1226.55/1226.98	c 1226s |      18 |   598728 |   332952 |    64585      8 |     5340 |      290
1228.75/1229.14	c 1228s |      18 |   599689 |   333652 |    64585      8 |     5340 |      290
1230.75/1231.16	c 1230s |      18 |   603836 |   335452 |    64585      8 |     5340 |      290
1232.85/1233.22	c 1232s |      18 |   606321 |   336952 |    64585      8 |     5340 |      290
1234.95/1235.37	c 1234s |      18 |   608008 |   338052 |    64585      8 |     5340 |      290
1237.04/1237.46	c 1236s |      18 |   610812 |   339752 |    64585      8 |     5340 |      290
1239.04/1239.48	c 1238s |      18 |   615681 |   341652 |    64585      8 |     5340 |      290
1241.14/1241.59	c 1241s |      18 |   617681 |   342952 |    64585      8 |     5340 |      290
1243.45/1243.83	c 1243s |      18 |   620239 |   344152 |    64585      8 |     5340 |      290
1245.55/1245.97	c 1245s |      18 |   623551 |   345752 |    64585      8 |     5340 |      290
1247.65/1248.06	c 1247s |      18 |   628463 |   347152 |    64585      8 |     5340 |      290
1249.84/1250.24	c 1249s |      18 |   633998 |   348652 |    64585      8 |     5340 |      290
1251.94/1252.33	c 1251s |      18 |   638380 |   349752 |    64585      8 |     5340 |      290
1253.94/1254.34	c 1253s |      18 |   645460 |   351152 |    64585      8 |     5340 |      290
1255.95/1256.39	c 1255s |      18 |   649376 |   353052 |    64585      8 |     5340 |      290
1257.94/1258.40	c 1257s |      18 |   651973 |   354452 |    64585      8 |     5340 |      290
1260.03/1260.44	c 1259s |      18 |   656433 |   355552 |    64585      8 |     5340 |      290
1262.23/1262.60	c 1262s |      18 |   660955 |   356752 |    64585      8 |     5340 |      290
1265.63/1266.05	c 1265s |      18 |   662696 |   357552 |    64585      9 |     5340 |      290
1267.83/1268.22	c 1267s |      18 |   670102 |   358952 |    64585      9 |     5340 |      290
1269.82/1270.28	c 1269s |      18 |   674047 |   360352 |    64585      9 |     5340 |      290
1271.92/1272.32	c 1271s |      18 |   677764 |   361652 |    64585      9 |     5340 |      290
1273.92/1274.34	c 1273s |      18 |   682451 |   363452 |    64585      9 |     5340 |      290
1276.02/1276.40	c 1275s |      18 |   684323 |   364752 |    64585      9 |     5340 |      290
1278.12/1278.52	c 1277s |      18 |   685938 |   366052 |    64585      9 |     5340 |      290
1280.13/1280.54	c 1279s |      18 |   688973 |   367252 |    64585      9 |     5340 |      290
1282.12/1282.54	c 1281s |      18 |   690295 |   368052 |    64585      9 |     5340 |      290
1284.22/1284.62	c 1284s |      18 |   695193 |   368952 |    64585      9 |     5340 |      290
1286.22/1286.63	c 1286s |      18 |   701993 |   370552 |    64585      9 |     5340 |      290
1288.22/1288.70	c 1288s |      18 |   704280 |   372352 |    64585      9 |     5340 |      290
1290.61/1291.02	c 1290s |      18 |   706077 |   373152 |    64585      9 |     5340 |      290
1292.61/1293.06	c 1292s |      18 |   706877 |   373652 |    64585      9 |     5340 |      290
1294.71/1295.19	c 1294s |      18 |   707701 |   374152 |    64585      9 |     5340 |      290
1296.91/1297.33	c 1296s |      18 |   708464 |   374652 |    64585      9 |     5340 |      290
1299.30/1299.70	c 1299s |      18 |   709315 |   375252 |    64585      9 |     5340 |      290
1301.61/1302.05	c 1301s |      18 |   709964 |   375752 |    64585      9 |     5340 |      290
1303.91/1304.32	c 1303s |      18 |   710442 |   376152 |    64585      9 |     5340 |      290
1306.21/1306.66	c 1306s |      18 |   711190 |   376652 |    64585      9 |     5340 |      290
1308.31/1308.70	c 1308s |      18 |   711725 |   377052 |    64585      9 |     5340 |      290
1310.70/1311.12	c 1310s |      18 |   712389 |   377552 |    64585      9 |     5340 |      290
1312.90/1313.40	c 1312s |      18 |   712895 |   377952 |    64585      9 |     5340 |      290
1315.10/1315.56	c 1315s |      18 |   713440 |   378352 |    64585      9 |     5340 |      290
1317.51/1317.96	c 1317s |      18 |   714021 |   378752 |    64585      9 |     5340 |      290
1319.80/1320.27	c 1319s |      18 |   714517 |   379152 |    64585      9 |     5340 |      290
1322.00/1322.44	c 1321s |      18 |   714898 |   379452 |    64585      9 |     5340 |      290
1324.10/1324.57	c 1324s |      18 |   715275 |   379752 |    64585      9 |     5340 |      290
1326.30/1326.77	c 1326s |      18 |   715663 |   380052 |    64585      9 |     5340 |      290
1328.59/1329.07	c 1328s |      18 |   716016 |   380352 |    64585      9 |     5340 |      290
1330.60/1331.07	c 1330s |      18 |   716362 |   380652 |    64585      9 |     5340 |      290
1332.69/1333.13	c 1332s |      18 |   716718 |   380952 |    64585      9 |     5340 |      290
1335.00/1335.44	c 1334s |      18 |   717213 |   381352 |    64585      9 |     5340 |      290
1337.59/1338.03	c 1337s |      18 |   717850 |   381852 |    64585      9 |     5340 |      290
1340.19/1340.61	c 1340s |      18 |   718338 |   382252 |    64585      9 |     5340 |      290
1342.79/1343.24	c 1342s |      18 |   718863 |   382652 |    64585      9 |     5340 |      290
1345.38/1345.88	c 1345s |      18 |   719437 |   383052 |    64585      9 |     5340 |      290
1348.08/1348.58	c 1348s |      18 |   719969 |   383452 |    64585      9 |     5340 |      290
1350.49/1350.91	c 1350s |      18 |   720327 |   383752 |    64585      9 |     5340 |      290
1352.69/1353.11	c 1352s |      18 |   720680 |   384052 |    64585      9 |     5340 |      290
1354.98/1355.42	c 1354s |      18 |   721059 |   384352 |    64585      9 |     5340 |      290
1357.48/1357.99	c 1357s |      18 |   721400 |   384652 |    64585      9 |     5340 |      290
1359.57/1360.08	c 1359s |      18 |   724011 |   385152 |    64585      9 |     5340 |      290
1361.57/1362.09	c 1361s |      18 |   728959 |   386552 |    64585      9 |     5340 |      290
1365.67/1366.16	c 1365s |      18 |   732234 |   387252 |    64585      9 |     5340 |      290
1367.67/1368.18	c 1367s |      18 |   736812 |   388852 |    64585      9 |     5340 |      290
1369.97/1370.43	c 1369s |      18 |   743281 |   390052 |    64585      9 |     5340 |      290
1372.07/1372.51	c 1371s |      18 |   746043 |   391052 |    64585      9 |     5340 |      290
1374.16/1374.64	c 1374s |      18 |   750105 |   392452 |    64585      9 |     5340 |      290
1376.26/1376.75	c 1376s |      18 |   752257 |   393552 |    64585      9 |     5340 |      290
1378.26/1378.79	c 1378s |      18 |   755411 |   394852 |    64585      9 |     5340 |      290
1380.36/1380.86	c 1380s |      18 |   756509 |   395552 |    64585      9 |     5340 |      290
1382.36/1382.87	c 1382s |      18 |   757385 |   396152 |    64585      9 |     5340 |      290
1384.47/1384.92	c 1384s |      18 |   758961 |   396952 |    64585      9 |     5340 |      290
1386.77/1387.26	c 1386s |      18 |   760400 |   397852 |    64585      9 |     5340 |      290
1388.97/1389.44	c 1388s |      18 |   761733 |   398652 |    64585      9 |     5340 |      290
1391.17/1391.69	c 1391s |      18 |   763540 |   399552 |    64585      9 |     5340 |      290
1393.27/1393.76	c 1393s |      18 |   763959 |   399852 |    64585     10 |     5340 |      290
1395.26/1395.79	c 1395s |      18 |   764749 |   400452 |    64585     10 |     5340 |      290
1397.46/1397.92	c 1397s |      18 |   765699 |   401052 |    64585     10 |     5340 |      290
1399.55/1400.00	c 1399s |      18 |   766523 |   401652 |    64585     10 |     5340 |      290
1401.55/1402.06	c 1401s |      18 |   767131 |   402152 |    64585     10 |     5340 |      290
1403.65/1404.13	c 1403s |      18 |   767761 |   402652 |    64585     10 |     5340 |      290
1405.75/1406.24	c 1405s |      18 |   771720 |   403452 |    64585     10 |     5340 |      290
1407.95/1408.40	c 1407s |      18 |   775343 |   404452 |    64585     10 |     5340 |      290
1410.14/1410.69	c 1410s |      18 |   776918 |   405352 |    64585     10 |     5340 |      290
1412.24/1412.76	c 1412s |      18 |   778290 |   406052 |    64585     10 |     5340 |      290
1414.55/1415.09	c 1414s |      18 |   779011 |   406552 |    64585     10 |     5340 |      290
1416.75/1417.24	c 1416s |      18 |   779831 |   407052 |    64585     10 |     5340 |      290
1418.95/1419.44	c 1418s |      18 |   780635 |   407652 |    64585     10 |     5340 |      290
1420.95/1421.44	c 1420s |      18 |   781174 |   408052 |    64585     10 |     5340 |      290
1423.34/1423.80	c 1423s |      18 |   781982 |   408552 |    64585     10 |     5340 |      290
1425.44/1425.96	c 1425s |      18 |   783101 |   409252 |    64585     10 |     5340 |      290
1427.54/1428.06	c 1427s |      18 |   784424 |   410152 |    64585     10 |     5340 |      290
1429.54/1430.07	c 1429s |      18 |   786398 |   411052 |    64585     10 |     5340 |      290
1431.74/1432.29	c 1431s |      18 |   787584 |   411752 |    64585     10 |     5340 |      290
1433.84/1434.38	c 1433s |      18 |   788688 |   412452 |    64585     10 |     5340 |      290
1436.14/1436.63	c 1436s |      18 |   790062 |   413252 |    64585     10 |     5340 |      290
1438.14/1438.69	c 1438s |      18 |   791267 |   413952 |    64585     10 |     5340 |      290
1440.43/1440.99	c 1440s |      18 |   792458 |   414552 |    64585     10 |     5340 |      290
1442.93/1443.40	c 1442s |      18 |   793454 |   415052 |    64585     10 |     5340 |      290
1445.04/1445.57	c 1445s |      18 |   794263 |   415552 |    64585     10 |     5340 |      290
1447.53/1448.01	c 1447s |      18 |   795146 |   416052 |    64585     10 |     5340 |      290
1449.73/1450.30	c 1449s |      18 |   795810 |   416452 |    64585     10 |     5340 |      290
1451.93/1452.49	c 1451s |      18 |   796600 |   416952 |    64585     10 |     5340 |      290
1454.14/1454.69	c 1454s |      18 |   797489 |   417552 |    64585     10 |     5340 |      290
1456.33/1456.86	c 1456s |      18 |   798400 |   418052 |    64585     10 |     5340 |      290
1458.63/1459.10	c 1458s |      18 |   799216 |   418552 |    64585     10 |     5340 |      290
1460.93/1461.41	c 1460s |      18 |   800009 |   419052 |    64585     10 |     5340 |      290
1463.23/1463.70	c 1463s |      18 |   801006 |   419652 |    64585     10 |     5340 |      290
1465.43/1465.94	c 1465s |      18 |   801863 |   420252 |    64585     10 |     5340 |      290
1467.73/1468.23	c 1467s |      18 |   802570 |   420752 |    64585     10 |     5340 |      290
1469.83/1470.39	c 1469s |      18 |   803172 |   421252 |    64585     10 |     5340 |      290
1472.03/1472.55	c 1471s |      18 |   803733 |   421652 |    64585     10 |     5340 |      290
1474.13/1474.68	c 1474s |      18 |   804219 |   422052 |    64585     10 |     5340 |      290
1476.83/1477.31	c 1476s |      18 |   804696 |   422452 |    64585     10 |     5340 |      290
1478.92/1479.42	c 1478s |      18 |   805089 |   422752 |    64585     10 |     5340 |      290
1481.02/1481.58	c 1481s |      18 |   805443 |   423052 |    64585     10 |     5340 |      290
1483.23/1483.74	c 1483s |      18 |   805847 |   423352 |    64585     10 |     5340 |      290
1485.53/1486.08	c 1485s |      18 |   806240 |   423652 |    64585     10 |     5340 |      290
1487.63/1488.15	c 1487s |      18 |   806616 |   423952 |    64585     10 |     5340 |      290
1490.13/1490.63	c 1490s |      18 |   807357 |   424452 |    64585     10 |     5340 |      290
1492.23/1492.78	c 1492s |      18 |   808070 |   424952 |    64585     10 |     5340 |      290
1494.43/1494.90	c 1494s |      18 |   809740 |   425452 |    64585     10 |     5340 |      290
1496.73/1497.26	c 1496s |      18 |   817991 |   426952 |    64585     10 |     5340 |      290
1498.83/1499.31	c 1498s |      18 |   826048 |   428152 |    64585     10 |     5340 |      290
1501.72/1502.21	c 1501s |      18 |   830011 |   428852 |    64585     11 |     5340 |      290
1503.82/1504.38	c 1503s |      18 |   836001 |   431352 |    64585     11 |     5340 |      290
1505.92/1506.43	c 1505s |      18 |   838472 |   432252 |    64585     11 |     5340 |      290
1507.92/1508.48	c 1507s |      18 |   842988 |   433452 |    64585     11 |     5340 |      290
1510.02/1510.55	c 1510s |      18 |   845612 |   434352 |    64585     11 |     5340 |      290
1512.13/1512.67	c 1512s |      18 |   849270 |   435152 |    64585     11 |     5340 |      290
1514.52/1515.00	c 1514s |      18 |   854190 |   436552 |    64585     11 |     5340 |      290
1516.52/1517.02	c 1516s |      18 |   859120 |   437752 |    64585     11 |     5340 |      290
1518.83/1519.30	c 1518s |      18 |   860872 |   438652 |    64585     11 |     5340 |      290
1520.93/1521.42	c 1520s |      18 |   861899 |   439252 |    64585     11 |     5340 |      290
1523.13/1523.65	c 1523s |      18 |   862635 |   439752 |    64585     11 |     5340 |      290
1525.62/1526.12	c 1525s |      18 |   863403 |   440252 |    64585     11 |     5340 |      290
1527.72/1528.24	c 1527s |      18 |   864719 |   440752 |    64585     11 |     5340 |      290
1530.12/1530.66	c 1530s |      18 |   865460 |   441252 |    64585     11 |     5340 |      290
1532.62/1533.19	c 1532s |      18 |   866217 |   441652 |    71044     11 |     5340 |      290
1535.13/1535.63	c 1535s |      18 |   866910 |   442152 |    71044     11 |     5340 |      290
1537.12/1537.65	c 1537s |      18 |   868349 |   442752 |    71044     11 |     5340 |      290
1539.12/1539.65	c 1539s |      18 |   871568 |   443952 |    71044     11 |     5340 |      290
1539.92/1540.47	c 1539s |      19 |   872310 |   444482 |    71044     11 |     5340 |      290
1542.02/1542.51	c 1541s |      19 |   876873 |   445282 |    71044     11 |     5340 |      290
1544.12/1544.61	c 1544s |      19 |   886588 |   446482 |    71044     11 |     5340 |      290
1546.42/1546.95	c 1546s |      19 |   890166 |   447182 |    71044     11 |     5341 |      291
1548.52/1549.05	c 1548s |      19 |   895229 |   449182 |    71044     11 |     5341 |      291
1550.62/1551.12	c 1550s |      19 |   896883 |   450382 |    71044     11 |     5341 |      291
1552.62/1553.14	c 1552s |      19 |   899318 |   451382 |    71044     11 |     5341 |      291
1554.62/1555.16	c 1554s |      19 |   903659 |   452882 |    71044     11 |     5341 |      291
1556.62/1557.18	c 1556s |      19 |   908058 |   454582 |    71044     11 |     5341 |      291
1558.72/1559.26	c 1558s |      19 |   915578 |   456482 |    71044     11 |     5341 |      291
1560.91/1561.42	c 1560s |      19 |   922467 |   458382 |    71044     11 |     5341 |      291
1562.91/1563.43	c 1562s |      19 |   928598 |   459482 |    71044     11 |     5341 |      291
1564.92/1565.50	c 1564s |      19 |   932272 |   461282 |    71044     11 |     5341 |      291
1567.02/1567.56	c 1567s |      19 |   935888 |   462982 |    71044     11 |     5341 |      291
1569.32/1569.82	c 1569s |      19 |   938137 |   464182 |    71044     11 |     5341 |      291
1571.42/1571.96	c 1571s |      19 |   939082 |   464782 |    71044     11 |     5341 |      291
1573.62/1574.19	c 1573s |      19 |   940895 |   465782 |    71044     11 |     5341 |      291
1575.92/1576.47	c 1575s |      19 |   942215 |   466482 |    71044     11 |     5341 |      291
1578.21/1578.79	c 1578s |      19 |   943390 |   467082 |    71044     11 |     5341 |      291
1580.51/1581.06	c 1580s |      19 |   944336 |   467582 |    71044     11 |     5341 |      291
1582.71/1583.20	c 1582s |      19 |   948438 |   468682 |    71044     11 |     5341 |      291
1584.72/1585.27	c 1584s |      19 |   950411 |   469782 |    71044     11 |     5341 |      291
1586.91/1587.48	c 1586s |      19 |   951848 |   470682 |    71044     11 |     5341 |      291
1589.11/1589.64	c 1589s |      19 |   952965 |   471482 |    71044     11 |     5341 |      291
1591.21/1591.73	c 1591s |      19 |   954225 |   472382 |    71044     11 |     5341 |      291
1593.41/1593.92	c 1593s |      19 |   955103 |   473082 |    71044     11 |     5341 |      291
1595.50/1596.02	c 1595s |      19 |   956172 |   473882 |    71044     11 |     5341 |      291
1597.70/1598.21	c 1597s |      19 |   956864 |   474482 |    71044     11 |     5341 |      291
1599.91/1600.48	c 1599s |      19 |   957642 |   475082 |    71044     11 |     5341 |      291
1602.01/1602.53	c 1601s |      19 |   958401 |   475682 |    71044     11 |     5341 |      291
1604.31/1604.89	c 1604s |      19 |   959028 |   476182 |    71044     11 |     5341 |      291
1606.62/1607.20	c 1606s |      19 |   959984 |   476882 |    71044     11 |     5341 |      291
1609.21/1609.70	c 1609s |      19 |   960714 |   477482 |    71044     11 |     5341 |      291
1611.31/1611.88	c 1611s |      19 |   961722 |   478182 |    71044     11 |     5341 |      291
1613.31/1613.89	c 1613s |      19 |   962297 |   478682 |    71044     11 |     5341 |      291
1615.41/1615.94	c 1615s |      19 |   962889 |   479182 |    71044     11 |     5341 |      291
1617.41/1617.94	c 1617s |      19 |   963515 |   479682 |    71044     11 |     5341 |      291
1619.61/1620.10	c 1619s |      19 |   964318 |   480282 |    71044     11 |     5341 |      291
1621.71/1622.26	c 1621s |      19 |   965377 |   480982 |    71044     11 |     5341 |      291
1624.71/1625.25	c 1624s |      19 |   965776 |   481282 |    71044     12 |     5341 |      291
1626.80/1627.39	c 1626s |      19 |   966879 |   482082 |    71044     12 |     5341 |      291
1628.90/1629.49	c 1628s |      19 |   968162 |   482982 |    71044     12 |     5341 |      291
1631.10/1631.65	c 1631s |      19 |   969334 |   483882 |    71044     12 |     5341 |      291
1633.40/1633.93	c 1633s |      19 |   970307 |   484682 |    71044     12 |     5341 |      291
1635.50/1636.01	c 1635s |      19 |   971124 |   485282 |    71044     12 |     5341 |      291
1637.80/1638.30	c 1637s |      19 |   971816 |   485882 |    71044     12 |     5341 |      291
1640.10/1640.66	c 1640s |      19 |   972491 |   486482 |    71044     12 |     5341 |      291
1642.20/1642.75	c 1642s |      19 |   973195 |   487082 |    71044     12 |     5341 |      291
1644.51/1645.03	c 1644s |      19 |   973874 |   487682 |    71044     12 |     5341 |      291
1646.80/1647.34	c 1646s |      19 |   974584 |   488282 |    71044     12 |     5341 |      291
1649.00/1649.58	c 1649s |      19 |   975165 |   488782 |    71044     12 |     5341 |      291
1651.40/1651.94	c 1651s |      19 |   975752 |   489282 |    71044     12 |     5341 |      291
1653.60/1654.11	c 1653s |      19 |   976346 |   489782 |    71044     12 |     5341 |      291
1655.80/1656.32	c 1655s |      19 |   976917 |   490282 |    71044     12 |     5341 |      291
1658.10/1658.66	c 1658s |      19 |   977489 |   490782 |    71044     12 |     5341 |      291
1660.30/1660.80	c 1660s |      19 |   977951 |   491182 |    71044     12 |     5341 |      291
1662.30/1662.83	c 1662s |      19 |   978401 |   491582 |    71044     12 |     5341 |      291
1664.40/1664.94	c 1664s |      19 |   978845 |   491982 |    71044     12 |     5341 |      291
1666.50/1667.01	c 1666s |      19 |   979551 |   492482 |    71044     12 |     5341 |      291
1668.50/1669.09	c 1668s |      19 |   980158 |   492982 |    71044     12 |     5341 |      291
1671.00/1671.51	c 1670s |      19 |   980764 |   493482 |    71044     12 |     5341 |      291
1673.20/1673.71	c 1673s |      19 |   981385 |   493982 |    71044     12 |     5341 |      291
1675.60/1676.10	c 1675s |      19 |   982153 |   494582 |    71044     12 |     5341 |      291
1677.80/1678.36	c 1677s |      19 |   982760 |   495082 |    71044     12 |     5341 |      291
1679.90/1680.44	c 1679s |      19 |   983399 |   495582 |    71044     12 |     5341 |      291
1682.00/1682.51	c 1681s |      19 |   983883 |   495982 |    71044     12 |     5341 |      291
1684.30/1684.83	c 1684s |      19 |   984457 |   496482 |    71044     12 |     5341 |      291
1686.79/1687.31	c 1686s |      19 |   985023 |   496982 |    71044     12 |     5341 |      291
1688.79/1689.33	c 1688s |      19 |   985513 |   497382 |    71044     12 |     5341 |      291
1690.89/1691.46	c 1690s |      19 |   986297 |   497982 |    71044     12 |     5341 |      291
1692.99/1693.59	c 1693s |      19 |   986961 |   498482 |    71044     12 |     5341 |      291
1695.29/1695.82	c 1695s |      19 |   987587 |   498982 |    71044     12 |     5341 |      291
1697.49/1698.05	c 1697s |      19 |   988375 |   499582 |    71044     12 |     5341 |      291
1699.89/1700.40	c 1699s |      19 |   989024 |   500082 |    71044     12 |     5341 |      291
1702.30/1702.84	c 1702s |      19 |   989638 |   500582 |    71044     12 |     5341 |      291
1704.30/1704.89	c 1704s |      19 |   990123 |   500982 |    71044     12 |     5341 |      291
1706.60/1707.13	c 1706s |      19 |   990851 |   501482 |    71044     12 |     5341 |      291
1708.90/1709.48	c 1708s |      19 |   991485 |   501982 |    71044     12 |     5341 |      291
1711.40/1711.99	c 1711s |      19 |   992065 |   502482 |    71044     12 |     5341 |      291
1713.69/1714.24	c 1713s |      19 |   992532 |   502882 |    71044     12 |     5341 |      291
1715.69/1716.29	c 1715s |      19 |   993029 |   503282 |    71044     12 |     5341 |      291
1717.99/1718.51	c 1717s |      19 |   993543 |   503682 |    71044     12 |     5341 |      291
1720.19/1720.73	c 1720s |      19 |  1002244 |   504582 |    71044     12 |     5341 |      291
1722.20/1722.78	c 1722s |      19 |  1006091 |   506082 |    71044     12 |     5341 |      291
1724.19/1724.79	c 1724s |      19 |  1008071 |   507482 |    71044     12 |     5341 |      291
1726.29/1726.84	c 1726s |      19 |  1010668 |   508782 |    71044     12 |     5341 |      291
1728.29/1728.85	c 1728s |      19 |  1012551 |   509982 |    71044     12 |     5341 |      291
1730.29/1730.89	c 1730s |      19 |  1013753 |   510782 |    71044     12 |     5341 |      291
1732.49/1733.09	c 1732s |      19 |  1015376 |   511682 |    71044     12 |     5341 |      291
1734.59/1735.17	c 1734s |      19 |  1016793 |   512582 |    71044     12 |     5341 |      291
1736.79/1737.38	c 1736s |      19 |  1018310 |   513382 |    71044     12 |     5341 |      291
1738.89/1739.42	c 1738s |      19 |  1019495 |   514082 |    71044     12 |     5341 |      291
1740.90/1741.46	c 1740s |      19 |  1020338 |   514682 |    71044     12 |     5341 |      291
1743.00/1743.56	c 1743s |      19 |  1021228 |   515282 |    71044     12 |     5341 |      291
1745.09/1745.67	c 1745s |      19 |  1022450 |   516082 |    71044     12 |     5341 |      291
1747.19/1747.76	c 1747s |      19 |  1023516 |   516782 |    71044     12 |     5341 |      291
1749.69/1750.26	c 1749s |      19 |  1024481 |   517382 |    71044     12 |     5341 |      291
1751.89/1752.42	c 1751s |      19 |  1025295 |   517882 |    71044     12 |     5341 |      291
1753.89/1754.47	c 1753s |      19 |  1026098 |   518482 |    71044     12 |     5341 |      291
1756.19/1756.70	c 1756s |      19 |  1026969 |   519082 |    71044     12 |     5341 |      291
1758.49/1759.01	c 1758s |      19 |  1027874 |   519682 |    71044     12 |     5341 |      291
1760.48/1761.03	c 1760s |      19 |  1028587 |   520182 |    71044     12 |     5341 |      291
1762.58/1763.14	c 1762s |      19 |  1029284 |   520682 |    71044     12 |     5341 |      291
1764.78/1765.30	c 1764s |      19 |  1030155 |   521282 |    71044     12 |     5341 |      291
1767.19/1767.74	c 1767s |      19 |  1030893 |   521782 |    71044     12 |     5341 |      291
1769.28/1769.82	c 1769s |      19 |  1031501 |   522182 |    71044     12 |     5341 |      291
1771.38/1771.98	c 1771s |      19 |  1032258 |   522682 |    71044     12 |     5341 |      291
1773.79/1774.32	c 1773s |      19 |  1033094 |   523282 |    71044     12 |     5341 |      291
1775.88/1776.49	c 1775s |      19 |  1033869 |   523782 |    71044     12 |     5341 |      291
1778.19/1778.71	c 1778s |      19 |  1034547 |   524282 |    71044     12 |     5341 |      291
1780.28/1780.88	c 1780s |      19 |  1035065 |   524682 |    71044     12 |     5341 |      291
1782.59/1783.15	c 1782s |      19 |  1035822 |   525282 |    71044     12 |     5341 |      291
1784.78/1785.31	c 1784s |      19 |  1036477 |   525782 |    71044     12 |     5341 |      291
1786.88/1787.49	c 1786s |      19 |  1036928 |   526182 |    71044     12 |     5341 |      291
1788.98/1789.53	c 1788s |      19 |  1037708 |   526682 |    71044     12 |     5341 |      291
1791.27/1791.83	c 1791s |      19 |  1038179 |   527082 |    71044     12 |     5341 |      291
1793.27/1793.87	c 1793s |      19 |  1038754 |   527482 |    71044     12 |     5341 |      291
1795.37/1795.91	c 1795s |      19 |  1039310 |   527882 |    71044     12 |     5341 |      291
1797.77/1798.34	c 1797s |      19 |  1039430 |   527982 |    71044     13 |     5341 |      291

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

pid=7475
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.07 2.16 2.16 3/179 7478
/proc/meminfo: memFree=29023640/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=612796 CPUtime=0 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 2268 0 0 0 0 0 0 0 20 0 4 0 109744010 627503104 2118 33554432000 4194304 16246674 140735156872208 140735156871632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7478/statm: 153711 2128 441 2943 0 150605 0
[pid=7478/tid=7479] ppid=7475 vsize=629180 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 644280320 2184 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=634300 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 649523200 2201 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109744010 655814656 2225 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.07 2.16 2.16 3/179 7478
/proc/meminfo: memFree=29023640/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 26110 0 0 0 6 3 0 0 20 0 4 0 109744010 1332285440 25898 33554432000 4194304 16246674 140735156872208 140735156871520 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7478/statm: 325265 25913 799 2943 0 322159 0
[pid=7478/tid=7479] ppid=7475 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1332285440 25925 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1332285440 25937 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1332285440 25947 33554432000 4194304 16246674 140735156872208 140558992395440 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.200533 s]
/proc/loadavg: 2.07 2.16 2.16 3/179 7478
/proc/meminfo: memFree=29023640/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 47274 0 0 0 13 5 0 0 20 0 4 0 109744010 1344868352 47572 33554432000 4194304 16246674 140735156872208 140735156855200 13753026 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 328337 47572 801 2943 0 325231 0
[pid=7478/tid=7479] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47572 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47572 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47572 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.07 2.16 2.16 3/179 7478
/proc/meminfo: memFree=29023640/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 47495 0 0 0 23 6 0 0 20 0 4 0 109744010 1344868352 47793 33554432000 4194304 16246674 140735156872208 140735156855200 6970551 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 328337 47793 837 2943 0 325231 0
[pid=7478/tid=7479] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47793 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47793 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 47793 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700417 s]
/proc/loadavg: 2.07 2.16 2.16 3/179 7478
/proc/meminfo: memFree=29023640/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 119609 0 0 0 53 16 0 0 20 0 4 0 109744010 1344868352 119907 33554432000 4194304 16246674 140735156872208 140735156854080 5829366 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 328337 119915 889 2943 0 325231 0
[pid=7478/tid=7479] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 119920 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 119924 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1344868352 119929 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.07 2.16 2.16 3/183 7482
/proc/meminfo: memFree=28310808/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=1.49 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 178252 0 0 0 125 24 0 0 20 0 4 0 109744010 1359548416 178550 33554432000 4194304 16246674 140735156872208 140735156854080 6837038 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 178550 892 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 178550 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 178550 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 178550 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+3.10042 s]
/proc/loadavg: 2.07 2.16 2.16 3/183 7482
/proc/meminfo: memFree=27981464/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=3.08 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272607 0 0 0 272 36 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140735156854080 5669575 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272905 896 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+6.30043 s]
/proc/loadavg: 2.06 2.15 2.16 3/183 7482
/proc/meminfo: memFree=27933592/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=6.28 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272607 0 0 0 592 36 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140735156854080 5723568 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272905 896 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.06 2.15 2.16 4/183 7482
/proc/meminfo: memFree=27933504/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=12.68 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272607 0 0 0 1232 36 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140735156854080 5522909 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272905 896 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272905 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.05 2.14 2.16 3/183 7482
/proc/meminfo: memFree=27934304/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=25.48 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272608 0 0 0 2512 36 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140735156854080 13192071 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272906 896 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.03 2.13 2.15 3/183 7482
/proc/meminfo: memFree=27934240/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272608 0 0 0 5072 36 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140735156871304 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272906 896 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272906 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1327684

[startup+102.301 s]
/proc/loadavg: 2.22 2.17 2.16 4/183 7483
/proc/meminfo: memFree=27934056/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 272609 0 0 0 10191 37 0 0 20 0 4 0 109744010 1359548416 272907 33554432000 4194304 16246674 140735156872208 140735156854080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 331921 272907 897 2943 0 328815 0
[pid=7478/tid=7479] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1359548416 272907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1710660

[startup+1302.3 s]
/proc/loadavg: 2.30 2.21 2.15 3/183 7537
/proc/meminfo: memFree=27473316/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1301.91 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368655 0 0 0 130079 112 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156871384 5723568 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1710660

[startup+1362.3 s]
/proc/loadavg: 2.84 2.38 2.21 4/183 7586
/proc/meminfo: memFree=25327368/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1361.87 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368691 0 0 0 136073 114 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 12477716 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 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) 1710660

[startup+1422.3 s]
/proc/loadavg: 2.66 2.40 2.22 3/183 7587
/proc/meminfo: memFree=19142132/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1421.85 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368724 0 0 0 142068 117 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 5546224 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1710660

[startup+1482.3 s]
/proc/loadavg: 2.37 2.36 2.21 3/183 7588
/proc/meminfo: memFree=13358984/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1481.82 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368736 0 0 0 148064 118 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 13950199 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1710660

[startup+1542.31 s]
/proc/loadavg: 2.28 2.33 2.21 4/183 7590
/proc/meminfo: memFree=13253152/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1541.83 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368737 0 0 0 154062 121 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 4220480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1710660

[startup+1602.3 s]
/proc/loadavg: 2.33 2.33 2.22 3/183 7640
/proc/meminfo: memFree=27650900/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1601.81 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368737 0 0 0 160059 122 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156871304 6012036 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1710660

[startup+1662.3 s]
/proc/loadavg: 2.21 2.30 2.21 3/183 7641
/proc/meminfo: memFree=27650072/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1661.8 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368740 0 0 0 166057 123 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1710660

[startup+1722.3 s]
/proc/loadavg: 2.23 2.30 2.21 4/184 7645
/proc/meminfo: memFree=27649288/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1721.79 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368741 0 0 0 172055 124 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 5822488 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1710660

[startup+1782.3 s]
/proc/loadavg: 2.25 2.29 2.21 3/183 7646
/proc/meminfo: memFree=27649236/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1781.78 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368741 0 0 0 178054 124 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 5667556 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1710660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.27 2.21 3/183 7646
/proc/meminfo: memFree=27648976/32872528 swapFree=15644/1722384
[pid=7478] ppid=7475 vsize=1710660 CPUtime=1800.07 cores=1,3,5,7
/proc/7478/stat : 7478 (toysat) R 7475 7478 4315 0 -1 4202496 368741 0 0 0 179883 124 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140735156854080 6021072 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7478/statm: 427665 368907 897 2943 0 424559 0
[pid=7478/tid=7479] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7479/stat : 7479 (toysat) S 7475 7478 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559013358832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7478/tid=7480] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7480/stat : 7480 (toysat) S 7475 7478 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140559002868976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7478/tid=7481] ppid=7475 vsize=1710660 CPUtime=0 cores=1,3,5,7
/proc/7478/task/7481/stat : 7481 (toysat) S 7475 7478 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109744010 1751715840 368907 33554432000 4194304 16246674 140735156872208 140558992395440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1710660

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 7478 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.61
CPU time (s): 1800.09
CPU user time (s): 1798.84
CPU system time (s): 1.24781
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1710660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.24781
maximum resident set size= 1475628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368741
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= 403
involuntary context switches= 2719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31934 second user time and 7.19091 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 07:41:44
IDJOB=4080012
IDBENCH=89848
IDSOLVER=2542
FILE ID=node120/4080012-1465278104
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080012-1465278104/watcher-4080012-1465278104 -o /tmp/evaluation-result-4080012-1465278104/solver-4080012-1465278104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080012-1465278104.opb

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

MD5SUM BENCH= cdfac8cd93d8a1de6ab1cef68bd1ac7c
RANDOM SEED=1104670817

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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.425
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.425
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.425
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.425
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.425
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:        29024200 kB
Buffers:          111396 kB
Cached:           142632 kB
SwapCached:         1476 kB
Active:          1237644 kB
Inactive:         135836 kB
Active(anon):    1118552 kB
Inactive(anon):     3248 kB
Active(file):     119092 kB
Inactive(file):   132588 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       2840792 kB
Mapped:            11852 kB
Shmem:                 0 kB
Slab:             615308 kB
SReclaimable:      59420 kB
SUnreclaim:       555888 kB
KernelStack:        1488 kB
PageTables:         9464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1714176 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= 71696 MiB
End job on node120 at 2016-06-07 08:11:45