Trace number 4078606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM887c74fdc5099423a97b443d1200370c
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.031994
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5500
Total number of constraints210
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
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-06T15:35:26+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.01	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.10
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.3
0.00/0.01	c   array-0.5.1.0
0.00/0.01	c   base-4.8.2.0
0.00/0.01	c   bytestring-0.10.6.0
0.00/0.01	c   bytestring-builder-0.10.6.0.0
0.00/0.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	c   pseudo-boolean-0.1.3.0
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   semigroups-0.18.1
0.00/0.02	c   sign-0.4.3
0.00/0.02	c   stm-2.4.4.1
0.00/0.02	c   template-haskell-2.10.0.0
0.00/0.02	c   temporary-1.2.0.4
0.00/0.02	c   time-1.5.0.1
0.00/0.02	c   transformers-0.4.2.0
0.00/0.02	c   transformers-compat-0.5.1.4
0.00/0.02	c   type-level-numbers-0.1.1.1
0.00/0.02	c   unbounded-delays-0.1.0.9
0.00/0.02	c   unordered-containers-0.2.6.0
0.00/0.02	c   vector-0.11.0.0
0.00/0.02	c   vector-space-0.10.3
0.00/0.02	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078606-1465220126.opb"]
0.00/0.02	c use --random-gen="1660563195 900903964 4263799060 2664317569 4127157466 1377545187 507462439 2086237150 3360629286 1656061842 268242671 1282310715 3896180740 3858734783 2439793901 3202009829 3286231225 1172272377 2655625754 3292060518 2203031182 489470571 4046639794 2587419305 2881251978 202817010 576633308 1346214266 772634739 3778972869 2323841231 2137120641 585270067 513272981 542456669 1968546870 3491814955 130164848 611474783 2283025291 1212757488 174065735 844824434 2462600555 4222627434 4157474884 1776995217 1991296061 565268770 3256620344 787921742 3439211140 3270811996 2665384688 2672420752 3937527318 2329867841 266166313 4009345942 1405062860 3824829457 2013207677 1308672963 3069575079 2227101940 4052340530 4204811535 674242235 1024841107 2137258392 3326403594 1419559832 2834573413 2114122435 2820377948 3594119568 3836068318 2991910219 165564079 1165255436 2929843116 2050799295 2451978825 869155937 1906801958 1841853175 874389846 2741376811 3058251617 316073102 3792728824 4181340366 4162330881 1282432672 1921223180 3848129847 592688612 2231658495 1995252501 1446316140 3770999109 3971134143 2219489371 1564466494 3121607963 310417574 106053772 3423898324 859105885 443205145 167938720 4108139822 1882101109 4009191159 2297868547 2849550928 4118323415 842757989 2172825485 2325897195 1198477372 310286688 1699400011 3829746710 4138113187 1841380069 269867962 1595426130 357363717 4278673122 155071118 2772636428 2719585520 2667126631 2118633434 198614059 1649966112 2701912080 2427217783 3439018263 429493276 3979234441 1850276069 2527769068 2814679352 3962905063 4288340030 4059141299 3439900158 1002949855 3369348549 3165305397 4159584392 502270872 707749540 2606407937 1293764536 3444274148 3470976977 129053415 3001950191 471158332 3735287436 683102158 1243225627 2514529032 1477761765 3525374287 4162312334 2841150252 1595206971 1060985457 1491392009 252813613 2335057615 3428418272 51629836 1327342124 4039175067 1175533554 1408343177 2845052516 462034326 1947670410 2149872623 678699963 1061952909 1520589784 3868927250 3795277835 1492570981 240031327 703544017 4071789625 2587995698 4058723958 3080713371 1939794246 1775317406 1516557951 2408075745 3214436819 7141738 2567661446 583167651 217113709 2245413522 568851313 1498705662 530567953 393621818 950008897 868867388 3551757578 177424042 3079858731 3481993448 1885293589 3947715498 652037633 2352488188 859782179 753370764 2011856060 3619850971 328088695 3517113771 3432610864 478263808 2888822614 586581879 2789077908 596348062 3768212927 261875618 3478604350 1285890610 3254465303 3826306779 1577977810 3917396739 2046605465 465106036 3781624667 41950622 1294884691 1185901036 282731712 1937431086 1668593146 3889009481 1380078204 4147317302 4226992169 3758677780 1151074628 255 362436" option to reproduce the execution
0.00/0.04	c #vars 5500
0.00/0.04	c #constraints 210
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1903      0 |        0 |        0
0.08/0.13	c  0.1s |       1 |      161 |      100 |     1903      0 |        0 |        0
0.18/0.26	c  0.2s |       2 |     1518 |      250 |     2094      0 |        0 |        0
0.38/0.43	c  0.4s |       3 |     3061 |      475 |     2304      0 |        0 |        0
0.78/0.83	c  0.8s |       4 |     4865 |      813 |     2535      0 |        0 |        0
1.19/1.24	c  1.2s |       5 |     6904 |     1320 |     2789      0 |        0 |        0
2.08/2.19	c  2.1s |       6 |     9355 |     2081 |     3375      0 |        0 |        0
3.78/3.88	c  3.8s |       7 |    12215 |     3223 |     3713      0 |        0 |        0
5.88/5.91	c  5.8s |       7 |    15485 |     4723 |     3713      0 |        0 |        0
6.18/6.25	c  6.2s |       8 |    15728 |     4936 |     4085      0 |        0 |        0
8.38/8.42	c  8.3s |       8 |    19073 |     6236 |     4085      1 |        0 |        0
10.58/10.64	c 10.6s |       8 |    20249 |     7236 |     4085      1 |        0 |        0
11.18/11.20	c 11.1s |       9 |    20557 |     7506 |     4494      1 |        0 |        0
13.19/13.24	c 13.2s |       9 |    26045 |     9206 |     4494      2 |        0 |        0
15.18/15.28	c 15.2s |       9 |    27624 |    10606 |     4494      2 |        0 |        0
16.49/16.55	c 16.5s |      10 |    28463 |    11361 |     4944      2 |        0 |        0
18.48/18.56	c 18.5s |      10 |    32473 |    13061 |     4944      3 |        0 |        0
20.58/20.67	c 20.6s |      10 |    34181 |    14561 |     4944      3 |        0 |        0
22.68/22.70	c 22.6s |      10 |    35418 |    15661 |     4944      3 |        0 |        0
24.68/24.73	c 24.7s |      10 |    36544 |    16661 |     4944      4 |        0 |        0
25.68/25.71	c 25.6s |      11 |    37059 |    17144 |     5439      4 |        0 |        0
27.68/27.76	c 27.7s |      11 |    41677 |    18944 |     5439      4 |        0 |        0
29.88/29.91	c 29.8s |      11 |    42899 |    20044 |     5439      4 |        0 |        0
31.98/32.07	c 32.0s |      11 |    43921 |    20944 |     5439      5 |        0 |        0
34.08/34.19	c 34.1s |      11 |    45583 |    22344 |     5439      5 |        0 |        0
36.28/36.34	c 36.3s |      11 |    46818 |    23444 |     5439      5 |        0 |        0
38.37/38.46	c 38.4s |      11 |    47833 |    24344 |     5439      6 |        0 |        0
40.47/40.51	c 40.4s |      11 |    48868 |    25244 |     5439      6 |        0 |        0
41.77/41.82	c 41.7s |      12 |    49490 |    25819 |     5983      6 |        0 |        0
43.77/43.85	c 43.8s |      12 |    53678 |    27319 |     5983      6 |        0 |        0
45.87/45.96	c 45.9s |      12 |    55111 |    28619 |     5983      6 |        0 |        0
48.07/48.15	c 48.1s |      12 |    56350 |    29719 |     5983      7 |        0 |        0
50.17/50.21	c 50.1s |      12 |    57447 |    30719 |     5983      7 |        0 |        0
52.27/52.31	c 52.2s |      12 |    58469 |    31619 |     5983      7 |        0 |        0
54.27/54.31	c 54.2s |      12 |    59355 |    32419 |     5983      7 |        0 |        0
56.27/56.35	c 56.3s |      12 |    60233 |    33219 |     5983      8 |        0 |        0
58.47/58.58	c 58.5s |      12 |    61305 |    34219 |     5983      8 |        0 |        0
60.58/60.69	c 60.6s |      12 |    62394 |    35219 |     5983      8 |        0 |        0
62.68/62.71	c 62.6s |      12 |    63366 |    36119 |     5983      8 |        0 |        0
64.77/64.87	c 64.8s |      12 |    64332 |    37019 |     5983      8 |        0 |        0
66.96/67.03	c 67.0s |      12 |    65092 |    37719 |     5983      9 |        0 |        0
69.06/69.13	c 69.1s |      12 |    66063 |    38619 |     6582      9 |        0 |        0
69.56/69.65	c 69.6s |      13 |    66289 |    38832 |     6582      9 |        0 |        0
71.66/71.76	c 71.7s |      13 |    72787 |    40232 |     6582      9 |        0 |        0
73.67/73.80	c 73.7s |      13 |    74682 |    41232 |     6582      9 |        0 |        0
75.97/76.00	c 75.9s |      13 |    76323 |    42332 |     6582      9 |        0 |        0
78.07/78.15	c 78.1s |      13 |    77662 |    43232 |     6582     10 |        0 |        0
80.37/80.41	c 80.3s |      13 |    79456 |    44332 |     6582     10 |        0 |        0
82.36/82.44	c 82.4s |      13 |    81002 |    45032 |     6582     10 |        0 |        0
84.46/84.54	c 84.5s |      13 |    81756 |    45632 |     6582     10 |        0 |        0
86.56/86.62	c 86.5s |      13 |    83179 |    46832 |     6582     10 |        0 |        0
88.66/88.73	c 88.7s |      13 |    84210 |    47732 |     6582     11 |        0 |        0
90.67/90.77	c 90.7s |      13 |    85297 |    48632 |     6582     11 |        0 |        0
92.76/92.88	c 92.8s |      13 |    86303 |    49432 |     6582     11 |        0 |        0
94.86/94.95	c 94.9s |      13 |    87218 |    50132 |     6582     11 |        0 |        0
97.06/97.13	c 97.1s |      13 |    88290 |    50832 |     6582     11 |        0 |        0
99.06/99.15	c 99.1s |      13 |    88942 |    51432 |     6582     11 |        0 |        0
101.17/101.28	c  101s |      13 |    89782 |    52132 |     6582     12 |        0 |        0
103.47/103.54	c  103s |      13 |    90701 |    52932 |     6582     12 |        0 |        0
105.76/105.82	c  105s |      13 |    91598 |    53632 |     6582     12 |        0 |        0
107.86/107.95	c  107s |      13 |    92389 |    54232 |     6582     12 |        0 |        0
109.97/110.03	c  109s |      13 |    92957 |    54732 |     6582     12 |        0 |        0
112.36/112.42	c  112s |      13 |    94093 |    55332 |     6582     12 |        0 |        0
114.37/114.45	c  114s |      13 |    94958 |    55832 |     6582     12 |        0 |        0
116.35/116.48	c  116s |      13 |    95797 |    56332 |     6582     13 |        0 |        0
118.66/118.72	c  118s |      13 |    96829 |    57032 |     6582     13 |        0 |        0
120.75/120.88	c  120s |      13 |    97784 |    57732 |     6582     13 |        0 |        0
122.85/122.90	c  122s |      14 |    98602 |    58352 |     7241     13 |        0 |        0
124.85/124.92	c  124s |      14 |   101853 |    60452 |     7241     14 |        0 |        0
126.86/126.95	c  126s |      14 |   103866 |    62252 |     7241     14 |        0 |        0
129.26/129.30	c  129s |      14 |   105451 |    63652 |     7241     15 |        0 |        0
131.36/131.41	c  131s |      14 |   107931 |    65652 |     7241     15 |        0 |        0
133.36/133.42	c  133s |      14 |   109721 |    67152 |     7241     15 |        0 |        0
135.45/135.54	c  135s |      14 |   111223 |    68452 |     7241     16 |        0 |        0
137.46/137.58	c  137s |      14 |   114992 |    69852 |     7241     16 |        0 |        0
139.55/139.64	c  139s |      14 |   116341 |    70952 |     7241     16 |        0 |        0
141.55/141.68	c  141s |      14 |   117373 |    71852 |     7241     16 |        0 |        0
143.56/143.68	c  143s |      14 |   118140 |    72552 |     7241     16 |        0 |        0
145.65/145.71	c  145s |      14 |   118793 |    73152 |     7241     16 |        0 |        0
147.85/147.98	c  147s |      14 |   119875 |    74052 |     7241     16 |        0 |        0
150.05/150.13	c  150s |      14 |   120667 |    74752 |     7241     16 |        0 |        0
152.25/152.34	c  152s |      14 |   121421 |    75452 |     7241     16 |        0 |        0
154.45/154.56	c  154s |      14 |   122105 |    76052 |     7241     17 |        0 |        0
156.65/156.70	c  156s |      14 |   122783 |    76652 |     7241     17 |        0 |        0
158.75/158.83	c  158s |      14 |   123765 |    77452 |     7241     17 |        0 |        0
160.85/160.97	c  160s |      14 |   124564 |    78152 |     7241     17 |        0 |        0
163.25/163.40	c  163s |      14 |   125237 |    78752 |     7241     17 |        0 |        0
165.45/165.55	c  165s |      14 |   126064 |    79452 |     7241     17 |        0 |        0
167.55/167.66	c  167s |      14 |   126732 |    80052 |     7241     17 |        0 |        0
169.65/169.74	c  169s |      14 |   127433 |    80652 |     7241     17 |        0 |        0
171.75/171.88	c  171s |      14 |   128163 |    81252 |     7241     17 |        0 |        0
173.85/173.92	c  173s |      14 |   128740 |    81752 |     7241     17 |        0 |        0
176.65/176.70	c  176s |      14 |   129319 |    82252 |     7241     18 |        0 |        0
178.84/178.96	c  178s |      14 |   129953 |    82852 |     7241     18 |        0 |        0
181.15/181.20	c  181s |      14 |   130623 |    83452 |     7241     18 |        0 |        0
183.25/183.40	c  183s |      14 |   131277 |    84052 |     7241     18 |        0 |        0
185.54/185.69	c  185s |      14 |   132066 |    84752 |     7241     18 |        0 |        0
187.74/187.87	c  187s |      14 |   132820 |    85452 |     7241     18 |        0 |        0
189.85/189.94	c  189s |      14 |   133495 |    86052 |     7241     18 |        0 |        0
191.85/191.98	c  191s |      14 |   134032 |    86552 |     7241     18 |        0 |        0
194.15/194.20	c  194s |      14 |   134559 |    87052 |     7966     18 |        0 |        0
196.24/196.30	c  196s |      14 |   135135 |    87552 |     7966     18 |        0 |        0
196.45/196.59	c  196s |      15 |   135222 |    87632 |     7966     18 |        0 |        0
198.55/198.64	c  198s |      15 |   138591 |    88032 |     7966     19 |        0 |        0
200.64/200.71	c  200s |      15 |   139885 |    89132 |     7966     19 |        0 |        0
202.64/202.77	c  202s |      15 |   141027 |    90132 |     7966     19 |        0 |        0
204.74/204.84	c  204s |      15 |   141918 |    90932 |     7966     19 |        0 |        0
206.85/206.99	c  206s |      15 |   142676 |    91632 |     7966     19 |        0 |        0
209.05/209.14	c  209s |      15 |   143579 |    92432 |     7966     19 |        0 |        0
211.15/211.26	c  211s |      15 |   144470 |    93232 |     7966     19 |        0 |        0
213.45/213.52	c  213s |      15 |   145383 |    94032 |     7966     19 |        0 |        0
215.55/215.61	c  215s |      15 |   146110 |    94632 |     7966     20 |        0 |        0
217.54/217.63	c  217s |      15 |   146914 |    95332 |     7966     20 |        0 |        0
219.74/219.83	c  219s |      15 |   147720 |    96032 |     7966     20 |        0 |        0
221.95/222.00	c  221s |      15 |   148566 |    96732 |     7966     20 |        0 |        0
224.24/224.32	c  224s |      15 |   149363 |    97432 |     7966     20 |        0 |        0
226.24/226.37	c  226s |      15 |   150049 |    98032 |     7966     20 |        0 |        0
228.35/228.45	c  228s |      15 |   150757 |    98632 |     7966     20 |        0 |        0
230.54/230.62	c  230s |      15 |   151418 |    99232 |     7966     20 |        0 |        0
232.84/232.99	c  232s |      15 |   152076 |    99832 |     7966     20 |        0 |        0
235.14/235.27	c  235s |      15 |   152618 |   100332 |     7966     21 |        0 |        0
237.44/237.54	c  237s |      15 |   153263 |   100932 |     7966     21 |        0 |        0
239.64/239.73	c  239s |      15 |   153945 |   101532 |     7966     21 |        0 |        0
241.74/241.89	c  241s |      15 |   154634 |   102132 |     7966     21 |        0 |        0
243.94/244.02	c  243s |      15 |   155404 |   102832 |     7966     21 |        0 |        0
246.13/246.24	c  246s |      15 |   156186 |   103532 |     7966     21 |        0 |        0
248.34/248.45	c  248s |      15 |   156818 |   104132 |     7966     21 |        0 |        0
250.75/250.81	c  250s |      15 |   157481 |   104732 |     7966     21 |        0 |        0
253.04/253.15	c  253s |      15 |   158134 |   105332 |     7966     21 |        0 |        0
255.04/255.15	c  255s |      15 |   158654 |   105832 |     7966     21 |        0 |        0
257.63/257.77	c  257s |      15 |   159187 |   106332 |     7966     22 |        0 |        0
260.04/260.12	c  260s |      15 |   159823 |   106932 |     7966     22 |        0 |        0
262.04/262.16	c  262s |      15 |   160350 |   107432 |     7966     22 |        0 |        0
264.14/264.20	c  264s |      15 |   160925 |   107932 |     7966     22 |        0 |        0
266.24/266.33	c  266s |      15 |   161584 |   108532 |     7966     22 |        0 |        0
268.54/268.62	c  268s |      15 |   162235 |   109132 |     7966     22 |        0 |        0
270.54/270.67	c  270s |      15 |   162825 |   109632 |     7966     22 |        0 |        0
272.64/272.73	c  272s |      15 |   163365 |   110132 |     7966     22 |        0 |        0
274.63/274.73	c  274s |      15 |   163909 |   110632 |     7966     22 |        0 |        0
276.73/276.86	c  276s |      15 |   164439 |   111132 |     7966     22 |        0 |        0
278.83/278.98	c  278s |      15 |   165233 |   111832 |     7966     22 |        0 |        0
281.34/281.47	c  281s |      15 |   165893 |   112432 |     7966     23 |        0 |        0
283.44/283.56	c  283s |      15 |   166451 |   112932 |     7966     23 |        0 |        0
285.53/285.65	c  285s |      15 |   167262 |   113632 |     7966     23 |        0 |        0
287.73/287.80	c  287s |      15 |   168050 |   114332 |     7966     23 |        0 |        0
290.03/290.14	c  290s |      15 |   168817 |   115032 |     7966     23 |        0 |        0
292.23/292.32	c  292s |      15 |   169465 |   115632 |     7966     23 |        0 |        0
294.43/294.59	c  294s |      15 |   170111 |   116232 |     7966     23 |        0 |        0
296.83/296.92	c  296s |      15 |   170780 |   116832 |     7966     23 |        0 |        0
299.24/299.32	c  299s |      15 |   171419 |   117432 |     7966     23 |        0 |        0
301.63/301.77	c  301s |      15 |   171968 |   117932 |     7966     23 |        0 |        0
304.03/304.12	c  304s |      15 |   172508 |   118432 |     7966     23 |        0 |        0
306.03/306.19	c  306s |      15 |   172940 |   118832 |     7966     24 |        0 |        0
308.43/308.54	c  308s |      15 |   173579 |   119432 |     7966     24 |        0 |        0
310.72/310.87	c  310s |      15 |   174228 |   120032 |     7966     24 |        0 |        0
312.72/312.89	c  312s |      15 |   174749 |   120532 |     7966     24 |        0 |        0
314.92/315.07	c  314s |      15 |   175286 |   121032 |     7966     24 |        0 |        0
317.12/317.25	c  317s |      15 |   175842 |   121532 |     7966     24 |        0 |        0
319.23/319.38	c  319s |      15 |   176495 |   122132 |     7966     24 |        0 |        0
321.33/321.42	c  321s |      15 |   177025 |   122632 |     7966     24 |        0 |        0
323.62/323.70	c  323s |      15 |   177701 |   123232 |     7966     24 |        0 |        0
325.83/325.94	c  325s |      15 |   178362 |   123832 |     7966     24 |        0 |        0
328.13/328.24	c  328s |      15 |   179024 |   124432 |     7966     24 |        0 |        0
330.13/330.26	c  330s |      15 |   179469 |   124832 |     7966     25 |        0 |        0
332.14/332.26	c  332s |      15 |   180128 |   125432 |     7966     25 |        0 |        0
334.22/334.30	c  334s |      15 |   180764 |   126032 |     7966     25 |        0 |        0
336.22/336.34	c  336s |      15 |   181433 |   126632 |     7966     25 |        0 |        0
338.92/339.08	c  339s |      15 |   181991 |   127132 |     7966     25 |        0 |        0
341.12/341.20	c  341s |      15 |   182660 |   127732 |     7966     25 |        0 |        0
343.42/343.52	c  343s |      15 |   183489 |   128432 |     7966     25 |        0 |        0
345.52/345.64	c  345s |      15 |   184163 |   129032 |     7966     25 |        0 |        0
347.72/347.84	c  347s |      15 |   184822 |   129632 |     7966     25 |        0 |        0
350.13/350.20	c  350s |      15 |   185487 |   130232 |     7966     25 |        0 |        0
352.32/352.42	c  352s |      15 |   186184 |   130832 |     8763     25 |        0 |        0
354.62/354.79	c  354s |      15 |   186868 |   131432 |     8763     25 |        0 |        0
355.53/355.67	c  355s |      16 |   186994 |   131552 |     8763     26 |        0 |        0
357.62/357.78	c  357s |      16 |   190132 |   132652 |     8763     26 |        0 |        0
359.73/359.83	c  359s |      16 |   191730 |   134052 |     8763     26 |        0 |        0
361.73/361.86	c  361s |      16 |   193073 |   135252 |     8763     26 |        0 |        0
363.72/363.86	c  363s |      16 |   194436 |   136452 |     8763     26 |        0 |        0
365.72/365.88	c  365s |      16 |   195447 |   137352 |     8763     27 |        0 |        0
367.82/367.98	c  367s |      16 |   196600 |   138352 |     8763     27 |        0 |        0
369.92/370.02	c  369s |      16 |   197608 |   139252 |     8763     27 |        0 |        0
372.02/372.17	c  372s |      16 |   198583 |   140152 |     8763     27 |        0 |        0
374.22/374.30	c  374s |      16 |   199732 |   141152 |     8763     27 |        0 |        0
376.23/376.32	c  376s |      16 |   200602 |   141952 |     8763     27 |        0 |        0
378.22/378.35	c  378s |      16 |   201467 |   142752 |     8763     27 |        0 |        0
380.42/380.53	c  380s |      16 |   202498 |   143652 |     8763     28 |        0 |        0
382.51/382.69	c  382s |      16 |   203860 |   144852 |     8763     28 |        0 |        0
384.81/384.90	c  384s |      16 |   204954 |   145852 |     8763     28 |        0 |        0
386.82/386.95	c  386s |      16 |   205936 |   146752 |     8763     28 |        0 |        0
389.02/389.13	c  389s |      16 |   206713 |   147452 |     8763     28 |        0 |        0
391.32/391.43	c  391s |      16 |   207630 |   148252 |     8763     28 |        0 |        0
394.22/394.32	c  394s |      16 |   208508 |   149052 |     8763     29 |        0 |        0
396.32/396.49	c  396s |      16 |   209517 |   149952 |     8763     29 |        0 |        0
398.62/398.73	c  398s |      16 |   210510 |   150852 |     8763     29 |        0 |        0
400.72/400.81	c  400s |      16 |   211381 |   151652 |     8763     29 |        0 |        0
402.82/402.96	c  402s |      16 |   212255 |   152452 |     8763     29 |        0 |        0
405.01/405.12	c  405s |      16 |   213134 |   153252 |     8763     29 |        0 |        0
407.11/407.24	c  407s |      16 |   214005 |   154052 |     8763     29 |        0 |        0
409.31/409.48	c  409s |      16 |   214909 |   154852 |     8763     29 |        0 |        0
411.61/411.75	c  411s |      16 |   215593 |   155452 |     8763     30 |        0 |        0
413.81/413.95	c  413s |      16 |   217003 |   156652 |     8763     30 |        0 |        0
415.91/416.04	c  415s |      16 |   218041 |   157552 |     8763     30 |        0 |        0
417.92/418.09	c  418s |      16 |   218943 |   158352 |     8763     30 |        0 |        0
420.22/420.38	c  420s |      16 |   219815 |   159152 |     8763     30 |        0 |        0
422.42/422.51	c  422s |      16 |   220607 |   159852 |     8763     30 |        0 |        0
424.62/424.74	c  424s |      16 |   221496 |   160652 |     8763     30 |        0 |        0
426.72/426.88	c  426s |      16 |   222311 |   161352 |     8763     31 |        0 |        0
428.81/428.92	c  428s |      16 |   223344 |   162252 |     8763     31 |        0 |        0
430.81/430.97	c  430s |      16 |   224150 |   162952 |     8763     31 |        0 |        0
433.11/433.22	c  433s |      16 |   225146 |   163852 |     8763     31 |        0 |        0
435.31/435.42	c  435s |      16 |   226024 |   164652 |     8763     31 |        0 |        0
437.41/437.59	c  437s |      16 |   226909 |   165452 |     8763     31 |        0 |        0
439.71/439.83	c  439s |      16 |   227709 |   166152 |     8763     31 |        0 |        0
441.71/441.88	c  441s |      16 |   228398 |   166752 |     8763     31 |        0 |        0
443.81/443.96	c  443s |      16 |   228943 |   167252 |     8763     32 |        0 |        0
446.11/446.23	c  446s |      16 |   229924 |   168152 |     8763     32 |        0 |        0
448.21/448.32	c  448s |      16 |   230804 |   168952 |     8763     32 |        0 |        0
450.20/450.34	c  450s |      16 |   231593 |   169652 |     8763     32 |        0 |        0
452.30/452.41	c  452s |      16 |   232365 |   170352 |     8763     32 |        0 |        0
454.40/454.50	c  454s |      16 |   233113 |   171052 |     8763     32 |        0 |        0
456.41/456.58	c  456s |      16 |   233919 |   171752 |     8763     32 |        0 |        0
458.51/458.69	c  458s |      16 |   234802 |   172552 |     8763     32 |        0 |        0
460.61/460.70	c  460s |      16 |   235449 |   173152 |     8763     33 |        0 |        0
462.71/462.84	c  462s |      16 |   236469 |   173952 |     8763     33 |        0 |        0
464.80/464.91	c  464s |      16 |   237749 |   175052 |     8763     33 |        0 |        0
466.80/466.93	c  466s |      16 |   238648 |   175852 |     8763     33 |        0 |        0
469.00/469.16	c  469s |      16 |   239585 |   176652 |     8763     33 |        0 |        0
471.00/471.19	c  471s |      16 |   240429 |   177352 |     8763     33 |        0 |        0
473.30/473.47	c  473s |      16 |   241317 |   178152 |     8763     33 |        0 |        0
475.30/475.48	c  475s |      16 |   242118 |   178852 |     8763     33 |        0 |        0
477.50/477.64	c  477s |      16 |   242907 |   179552 |     8763     34 |        0 |        0
479.61/479.80	c  479s |      16 |   243807 |   180352 |     8763     34 |        0 |        0
481.81/481.98	c  481s |      16 |   244671 |   181152 |     8763     34 |        0 |        0
484.11/484.22	c  484s |      16 |   245538 |   181852 |     8763     34 |        0 |        0
486.21/486.35	c  486s |      16 |   246332 |   182552 |     8763     34 |        0 |        0
488.50/488.62	c  488s |      16 |   247227 |   183352 |     8763     34 |        0 |        0
490.51/490.67	c  490s |      16 |   247928 |   183952 |     8763     34 |        0 |        0
492.60/492.70	c  492s |      16 |   248471 |   184452 |     8763     34 |        0 |        0
494.91/495.04	c  494s |      16 |   249121 |   185052 |     8763     35 |        0 |        0
496.90/497.08	c  497s |      16 |   249889 |   185752 |     8763     35 |        0 |        0
499.20/499.38	c  499s |      16 |   250776 |   186552 |     8763     35 |        0 |        0
501.50/501.66	c  501s |      16 |   251547 |   187252 |     8763     35 |        0 |        0
503.60/503.71	c  503s |      16 |   252335 |   187952 |     8763     35 |        0 |        0
505.60/505.77	c  505s |      16 |   253257 |   188752 |     8763     35 |        0 |        0
507.80/507.96	c  507s |      16 |   254063 |   189452 |     8763     35 |        0 |        0
509.80/509.99	c  509s |      16 |   254855 |   190152 |     8763     35 |        0 |        0
511.90/512.00	c  511s |      16 |   255532 |   190752 |     8763     35 |        0 |        0
514.10/514.23	c  514s |      16 |   256189 |   191352 |     8763     36 |        0 |        0
516.30/516.49	c  516s |      16 |   256973 |   192052 |     8763     36 |        0 |        0
518.50/518.69	c  518s |      16 |   257742 |   192752 |     8763     36 |        0 |        0
520.80/520.92	c  520s |      16 |   258634 |   193452 |     8763     36 |        0 |        0
523.00/523.10	c  523s |      16 |   259203 |   193952 |     8763     36 |        0 |        0
525.00/525.16	c  525s |      16 |   259785 |   194452 |     8763     36 |        0 |        0
527.10/527.25	c  527s |      16 |   260509 |   194952 |     8763     36 |        0 |        0
529.30/529.49	c  529s |      16 |   261693 |   195952 |     8763     36 |        0 |        0
531.40/531.56	c  531s |      16 |   262592 |   196752 |     9640     36 |        0 |        0
533.19/533.32	c  533s |      17 |   263337 |   197432 |     9640     36 |        0 |        0
535.20/535.38	c  535s |      17 |   266491 |   197932 |     9640     37 |        0 |        0
537.29/537.45	c  537s |      17 |   268391 |   199532 |     9640     37 |        0 |        0
539.30/539.46	c  539s |      17 |   269928 |   200832 |     9640     37 |        0 |        0
541.30/541.48	c  541s |      17 |   271149 |   201932 |     9640     37 |        0 |        0
543.40/543.52	c  543s |      17 |   272273 |   202932 |     9640     37 |        0 |        0
545.39/545.60	c  545s |      17 |   273392 |   203932 |     9640     37 |        0 |        0
547.49/547.65	c  547s |      17 |   274263 |   204732 |     9640     37 |        0 |        0
549.60/549.73	c  549s |      17 |   275129 |   205532 |     9640     37 |        0 |        0
551.69/551.80	c  551s |      17 |   275789 |   206132 |     9640     38 |        0 |        0
553.79/553.93	c  553s |      17 |   276827 |   207032 |     9640     38 |        0 |        0
555.89/556.03	c  555s |      17 |   277710 |   207832 |     9640     38 |        0 |        0
558.20/558.30	c  558s |      17 |   278472 |   208532 |     9640     38 |        0 |        0
560.39/560.54	c  560s |      17 |   279408 |   209332 |     9640     38 |        0 |        0
562.49/562.61	c  562s |      17 |   280316 |   210132 |     9640     38 |        0 |        0
564.69/564.88	c  564s |      17 |   281242 |   210932 |     9640     38 |        0 |        0
566.79/566.97	c  566s |      17 |   282011 |   211632 |     9640     38 |        0 |        0
568.89/569.02	c  568s |      17 |   282795 |   212332 |     9640     38 |        0 |        0
571.59/571.74	c  571s |      17 |   283854 |   213232 |     9640     39 |        0 |        0
573.79/573.91	c  573s |      17 |   285064 |   214232 |     9640     39 |        0 |        0
575.88/576.08	c  576s |      17 |   286056 |   215132 |     9640     39 |        0 |        0
578.29/578.49	c  578s |      17 |   286921 |   215932 |     9640     39 |        0 |        0
580.49/580.69	c  580s |      17 |   287968 |   216832 |     9640     39 |        0 |        0
582.69/582.85	c  582s |      17 |   288891 |   217632 |     9640     39 |        0 |        0
584.79/584.97	c  584s |      17 |   289751 |   218332 |     9640     39 |        0 |        0
586.89/587.09	c  587s |      17 |   290576 |   219032 |     9640     39 |        0 |        0
589.09/589.28	c  589s |      17 |   291390 |   219732 |     9640     39 |        0 |        0
591.79/591.95	c  591s |      17 |   292196 |   220432 |     9640     40 |        0 |        0
593.79/593.95	c  593s |      17 |   293010 |   221132 |     9640     40 |        0 |        0
595.89/596.03	c  595s |      17 |   293938 |   221932 |     9640     40 |        0 |        0
597.89/598.07	c  598s |      17 |   294934 |   222832 |     9640     40 |        0 |        0
600.09/600.25	c  600s |      17 |   295830 |   223632 |     9640     40 |        0 |        0
602.18/602.32	c  602s |      17 |   296611 |   224332 |     9640     40 |        0 |        0
604.28/604.49	c  604s |      17 |   297537 |   225132 |     9640     40 |        0 |        0
606.48/606.61	c  606s |      17 |   298324 |   225832 |     9640     40 |        0 |        0
608.68/608.86	c  608s |      17 |   299255 |   226632 |     9640     40 |        0 |        0
610.88/611.04	c  610s |      17 |   300048 |   227332 |     9640     40 |        0 |        0
613.28/613.41	c  613s |      17 |   300600 |   227832 |     9640     41 |        0 |        0
615.28/615.49	c  615s |      17 |   301485 |   228632 |     9640     41 |        0 |        0
617.38/617.50	c  617s |      17 |   302433 |   229432 |     9640     41 |        0 |        0
619.38/619.54	c  619s |      17 |   303227 |   230132 |     9640     41 |        0 |        0
621.49/621.64	c  621s |      17 |   304025 |   230832 |     9640     41 |        0 |        0
623.78/623.94	c  623s |      17 |   304852 |   231532 |     9640     41 |        0 |        0
626.08/626.20	c  626s |      17 |   305673 |   232232 |     9640     41 |        0 |        0
628.09/628.25	c  628s |      17 |   306331 |   232832 |     9640     41 |        0 |        0
630.19/630.32	c  630s |      17 |   306988 |   233432 |     9640     41 |        0 |        0
632.18/632.33	c  632s |      17 |   307545 |   233932 |     9640     41 |        0 |        0
634.47/634.68	c  634s |      17 |   308185 |   234532 |     9640     41 |        0 |        0
637.38/637.52	c  637s |      17 |   308918 |   235132 |     9640     42 |        0 |        0
639.38/639.52	c  639s |      17 |   310018 |   236032 |     9640     42 |        0 |        0
641.47/641.61	c  641s |      17 |   310938 |   236832 |     9640     42 |        0 |        0
643.78/643.92	c  643s |      17 |   311831 |   237632 |     9640     42 |        0 |        0
645.98/646.14	c  646s |      17 |   312574 |   238332 |     9640     42 |        0 |        0
648.17/648.37	c  648s |      17 |   313426 |   239032 |     9640     42 |        0 |        0
650.18/650.37	c  650s |      17 |   313994 |   239532 |     9640     42 |        0 |        0
652.29/652.42	c  652s |      17 |   314667 |   240132 |     9640     42 |        0 |        0
654.38/654.58	c  654s |      17 |   315340 |   240732 |     9640     42 |        0 |        0
656.38/656.58	c  656s |      17 |   315998 |   241332 |     9640     42 |        0 |        0
658.68/658.86	c  658s |      17 |   316648 |   241932 |     9640     42 |        0 |        0
660.67/660.90	c  660s |      17 |   317230 |   242432 |     9640     43 |        0 |        0
662.78/662.93	c  662s |      17 |   318142 |   243232 |     9640     43 |        0 |        0
664.78/664.96	c  664s |      17 |   319124 |   244132 |     9640     43 |        0 |        0
666.87/667.06	c  666s |      17 |   320003 |   244932 |     9640     43 |        0 |        0
668.87/669.07	c  668s |      17 |   320745 |   245632 |     9640     43 |        0 |        0
670.88/671.09	c  671s |      17 |   321528 |   246332 |     9640     43 |        0 |        0
672.98/673.17	c  673s |      17 |   322308 |   247032 |     9640     43 |        0 |        0
675.08/675.22	c  675s |      17 |   322963 |   247632 |     9640     43 |        0 |        0
677.08/677.29	c  677s |      17 |   323615 |   248232 |     9640     43 |        0 |        0
679.28/679.41	c  679s |      17 |   324385 |   248932 |     9640     43 |        0 |        0
682.07/682.24	c  682s |      17 |   325277 |   249732 |     9640     44 |        0 |        0
684.27/684.45	c  684s |      17 |   325967 |   250332 |     9640     44 |        0 |        0
686.27/686.48	c  686s |      17 |   326625 |   250932 |     9640     44 |        0 |        0
688.37/688.53	c  688s |      17 |   327506 |   251732 |     9640     44 |        0 |        0
690.37/690.57	c  690s |      17 |   328324 |   252432 |     9640     44 |        0 |        0
692.37/692.58	c  692s |      17 |   329122 |   253132 |     9640     44 |        0 |        0
694.57/694.75	c  694s |      17 |   329664 |   253632 |     9640     44 |        0 |        0
696.67/696.88	c  696s |      17 |   330467 |   254332 |     9640     44 |        0 |        0
698.87/699.07	c  698s |      17 |   331377 |   255132 |     9640     44 |        0 |        0
701.17/701.30	c  701s |      17 |   332130 |   255832 |     9640     44 |        0 |        0
703.27/703.49	c  703s |      17 |   332968 |   256532 |     9640     44 |        0 |        0
705.47/705.63	c  705s |      17 |   333519 |   257032 |     9640     45 |        0 |        0
707.57/707.77	c  707s |      17 |   334387 |   257832 |     9640     45 |        0 |        0
709.67/709.83	c  709s |      17 |   335171 |   258532 |     9640     45 |        0 |        0
711.67/711.88	c  711s |      17 |   336043 |   259332 |     9640     45 |        0 |        0
713.97/714.11	c  714s |      17 |   336948 |   260132 |     9640     45 |        0 |        0
716.08/716.25	c  716s |      17 |   337723 |   260832 |     9640     45 |        0 |        0
718.27/718.42	c  718s |      17 |   338516 |   261532 |     9640     45 |        0 |        0
720.26/720.49	c  720s |      17 |   339275 |   262232 |     9640     45 |        0 |        0
722.67/722.83	c  722s |      17 |   340049 |   262932 |     9640     45 |        0 |        0
724.67/724.87	c  724s |      17 |   340707 |   263532 |     9640     45 |        0 |        0
726.97/727.11	c  727s |      17 |   341360 |   264132 |     9640     45 |        0 |        0
729.17/729.37	c  729s |      17 |   341916 |   264632 |     9640     46 |        0 |        0
731.48/731.64	c  731s |      17 |   342843 |   265432 |     9640     46 |        0 |        0
733.58/733.77	c  733s |      17 |   343593 |   266132 |     9640     46 |        0 |        0
735.77/735.91	c  735s |      17 |   344242 |   266732 |     9640     46 |        0 |        0
737.86/738.06	c  737s |      17 |   345111 |   267532 |     9640     46 |        0 |        0
740.06/740.26	c  740s |      17 |   346001 |   268332 |     9640     46 |        0 |        0
742.37/742.51	c  742s |      17 |   346795 |   269032 |     9640     46 |        0 |        0
744.57/744.74	c  744s |      17 |   347712 |   269832 |     9640     46 |        0 |        0
746.56/746.74	c  746s |      17 |   348377 |   270432 |     9640     46 |        0 |        0
748.86/749.04	c  748s |      17 |   349139 |   271132 |     9640     46 |        0 |        0
751.06/751.29	c  751s |      17 |   349706 |   271632 |     9640     47 |        0 |        0
753.26/753.42	c  753s |      17 |   350630 |   272432 |     9640     47 |        0 |        0
755.26/755.49	c  755s |      17 |   351461 |   273132 |     9640     47 |        0 |        0
757.46/757.64	c  757s |      17 |   352378 |   273932 |     9640     47 |        0 |        0
759.76/759.93	c  759s |      17 |   353305 |   274732 |     9640     47 |        0 |        0
761.96/762.16	c  762s |      17 |   354137 |   275432 |     9640     47 |        0 |        0
764.26/764.43	c  764s |      17 |   354941 |   276132 |     9640     47 |        0 |        0
766.26/766.45	c  766s |      17 |   355611 |   276732 |     9640     47 |        0 |        0
768.26/768.46	c  768s |      17 |   356276 |   277332 |     9640     47 |        0 |        0
770.56/770.76	c  770s |      17 |   356963 |   277932 |     9640     47 |        0 |        0
772.85/773.06	c  772s |      17 |   357766 |   278632 |     9640     47 |        0 |        0
775.05/775.23	c  775s |      17 |   358208 |   279032 |     9640     48 |        0 |        0
777.36/777.54	c  777s |      17 |   358942 |   279732 |     9640     48 |        0 |        0
779.66/779.84	c  779s |      17 |   359847 |   280532 |     9640     48 |        0 |        0
781.86/782.09	c  782s |      17 |   360631 |   281232 |     9640     48 |        0 |        0
784.27/784.41	c  784s |      17 |   361410 |   281932 |     9640     48 |        0 |        0
786.37/786.55	c  786s |      17 |   362182 |   282632 |     9640     48 |        0 |        0
788.46/788.65	c  788s |      17 |   362814 |   283232 |     9640     48 |        0 |        0
790.66/790.86	c  790s |      17 |   363459 |   283832 |     9640     48 |        0 |        0
792.86/793.00	c  792s |      17 |   364115 |   284432 |     9640     48 |        0 |        0
795.05/795.20	c  795s |      17 |   364802 |   285032 |     9640     48 |        0 |        0
797.25/797.48	c  797s |      17 |   365453 |   285632 |     9640     48 |        0 |        0
800.06/800.28	c  800s |      17 |   366106 |   286232 |     9640     49 |        0 |        0
802.25/802.48	c  802s |      17 |   366540 |   286632 |     9640     49 |        0 |        0
804.35/804.51	c  804s |      17 |   367187 |   287232 |     9640     49 |        0 |        0
806.45/806.64	c  806s |      17 |   367822 |   287832 |     9640     49 |        0 |        0
808.46/808.65	c  808s |      17 |   368494 |   288432 |     9640     49 |        0 |        0
810.66/810.89	c  810s |      17 |   369391 |   289232 |     9640     49 |        0 |        0
812.76/812.99	c  812s |      17 |   370155 |   289932 |     9640     49 |        0 |        0
814.85/815.07	c  814s |      17 |   370943 |   290632 |     9640     49 |        0 |        0
817.05/817.24	c  817s |      17 |   371598 |   291232 |     9640     49 |        0 |        0
819.35/819.53	c  819s |      17 |   372361 |   291932 |     9640     49 |        0 |        0
821.36/821.57	c  821s |      17 |   373017 |   292532 |     9640     49 |        0 |        0
823.55/823.72	c  823s |      17 |   373688 |   293132 |     9640     49 |        0 |        0
825.65/825.85	c  825s |      17 |   374112 |   293532 |     9640     50 |        0 |        0
827.75/827.94	c  827s |      17 |   374766 |   294132 |     9640     50 |        0 |        0
829.95/830.19	c  830s |      17 |   375667 |   294932 |    10604     50 |        0 |        0
832.35/832.51	c  832s |      17 |   376435 |   295632 |    10604     50 |        0 |        0
834.45/834.69	c  834s |      17 |   377089 |   296232 |    10604     50 |        0 |        0
834.55/834.76	c  834s |      18 |   377117 |   296252 |    10604     50 |        0 |        0
836.55/836.76	c  836s |      18 |   380371 |   297452 |    10604     50 |        0 |        0
838.75/838.94	c  838s |      18 |   381870 |   298752 |    10604     50 |        0 |        0
840.95/841.12	c  841s |      18 |   383099 |   299852 |    10604     50 |        0 |        0
843.56/843.75	c  843s |      18 |   384361 |   300952 |    10604     51 |        0 |        0
845.65/845.85	c  845s |      18 |   385368 |   301852 |    10604     51 |        0 |        0
847.74/847.90	c  847s |      18 |   386374 |   302752 |    10604     51 |        0 |        0
849.74/849.93	c  849s |      18 |   387397 |   303652 |    10604     51 |        0 |        0
851.94/852.16	c  852s |      18 |   388375 |   304552 |    10604     51 |        0 |        0
854.05/854.29	c  854s |      18 |   389271 |   305352 |    10604     51 |        0 |        0
856.35/856.50	c  856s |      18 |   390065 |   306052 |    10604     51 |        0 |        0
858.65/858.81	c  858s |      18 |   390831 |   306752 |    10604     51 |        0 |        0
860.65/860.84	c  860s |      18 |   391480 |   307352 |    10604     51 |        0 |        0
862.85/863.06	c  862s |      18 |   392107 |   307952 |    10604     51 |        0 |        0
865.14/865.32	c  865s |      18 |   392654 |   308452 |    10604     52 |        0 |        0
867.24/867.43	c  867s |      18 |   393424 |   309152 |    10604     52 |        0 |        0
869.34/869.56	c  869s |      18 |   394217 |   309852 |    10604     52 |        0 |        0
871.55/871.74	c  871s |      18 |   395148 |   310652 |    10604     52 |        0 |        0
873.54/873.79	c  873s |      18 |   396054 |   311452 |    10604     52 |        0 |        0
875.64/875.87	c  875s |      18 |   396843 |   312152 |    10604     52 |        0 |        0
877.84/878.07	c  877s |      18 |   397614 |   312852 |    10604     52 |        0 |        0
879.84/880.10	c  880s |      18 |   398264 |   313452 |    10604     52 |        0 |        0
882.25/882.45	c  882s |      18 |   399033 |   314152 |    10604     52 |        0 |        0
884.25/884.49	c  884s |      18 |   399678 |   314752 |    10604     52 |        0 |        0
886.34/886.54	c  886s |      18 |   400332 |   315352 |    10604     52 |        0 |        0
888.54/888.77	c  888s |      18 |   400865 |   315852 |    10604     53 |        0 |        0
890.64/890.89	c  890s |      18 |   401603 |   316552 |    10604     53 |        0 |        0
892.84/893.04	c  892s |      18 |   401939 |   316852 |    10604     53 |        0 |        0
894.94/895.13	c  895s |      18 |   402567 |   317452 |    10604     53 |        0 |        0
897.04/897.23	c  897s |      18 |   403196 |   318052 |    10604     53 |        0 |        0
899.04/899.27	c  899s |      18 |   403742 |   318552 |    10604     53 |        0 |        0
901.34/901.58	c  901s |      18 |   404376 |   319152 |    10604     53 |        0 |        0
903.74/903.95	c  903s |      18 |   405014 |   319752 |    10604     53 |        0 |        0
905.94/906.15	c  906s |      18 |   405659 |   320352 |    10604     53 |        0 |        0
908.24/908.40	c  908s |      18 |   406186 |   320852 |    10604     53 |        0 |        0
910.44/910.65	c  910s |      18 |   406810 |   321452 |    10604     53 |        0 |        0
912.53/912.75	c  912s |      18 |   407356 |   321952 |    10604     53 |        0 |        0
914.54/914.79	c  914s |      18 |   408034 |   322552 |    10604     53 |        0 |        0
916.74/916.96	c  916s |      18 |   408489 |   322952 |    10604     54 |        0 |        0
918.84/919.07	c  918s |      18 |   409396 |   323752 |    10604     54 |        0 |        0
921.04/921.25	c  921s |      18 |   410159 |   324452 |    10604     54 |        0 |        0
923.34/923.57	c  923s |      18 |   410945 |   325152 |    10604     54 |        0 |        0
925.64/925.89	c  925s |      18 |   411744 |   325852 |    10604     54 |        0 |        0
927.94/928.19	c  928s |      18 |   412551 |   326552 |    10604     54 |        0 |        0
930.24/930.40	c  930s |      18 |   413216 |   327152 |    10604     54 |        0 |        0
932.24/932.48	c  932s |      18 |   413753 |   327652 |    10604     54 |        0 |        0
934.33/934.50	c  934s |      18 |   414315 |   328152 |    10604     54 |        0 |        0
936.64/936.81	c  936s |      18 |   414862 |   328652 |    10604     54 |        0 |        0
938.83/939.07	c  938s |      18 |   415402 |   329152 |    10604     54 |        0 |        0
941.23/941.46	c  941s |      18 |   416070 |   329752 |    10604     54 |        0 |        0
943.43/943.62	c  943s |      18 |   416523 |   330152 |    10604     55 |        0 |        0
945.63/945.88	c  945s |      18 |   417322 |   330852 |    10604     55 |        0 |        0
947.93/948.17	c  948s |      18 |   418107 |   331552 |    10604     55 |        0 |        0
949.93/950.19	c  950s |      18 |   418805 |   332152 |    10604     55 |        0 |        0
952.24/952.43	c  952s |      18 |   419591 |   332852 |    10604     55 |        0 |        0
954.43/954.62	c  954s |      18 |   420373 |   333552 |    10604     55 |        0 |        0
956.54/956.75	c  956s |      18 |   421154 |   334252 |    10604     55 |        0 |        0
958.53/958.75	c  958s |      18 |   421825 |   334852 |    10604     55 |        0 |        0
960.63/960.83	c  960s |      18 |   422514 |   335452 |    10604     55 |        0 |        0
962.83/963.04	c  962s |      18 |   423188 |   336052 |    10604     55 |        0 |        0
965.03/965.21	c  965s |      18 |   423996 |   336752 |    10604     55 |        0 |        0
967.03/967.27	c  967s |      18 |   424698 |   337352 |    10604     55 |        0 |        0
969.23/969.42	c  969s |      18 |   425378 |   337952 |    10604     56 |        0 |        0
971.32/971.51	c  971s |      18 |   426047 |   338552 |    10604     56 |        0 |        0
973.53/973.76	c  973s |      18 |   426833 |   339252 |    10604     56 |        0 |        0
975.83/976.01	c  975s |      18 |   427620 |   339952 |    10604     56 |        0 |        0
978.02/978.27	c  978s |      18 |   428536 |   340752 |    10604     56 |        0 |        0
980.23/980.43	c  980s |      18 |   429320 |   341452 |    10604     56 |        0 |        0
982.24/982.44	c  982s |      18 |   430016 |   342052 |    10604     56 |        0 |        0
984.43/984.67	c  984s |      18 |   430899 |   342852 |    10604     56 |        0 |        0
986.53/986.74	c  986s |      18 |   431676 |   343552 |    10604     56 |        0 |        0
988.62/988.82	c  988s |      18 |   432456 |   344252 |    10604     56 |        0 |        0
990.73/990.96	c  990s |      18 |   433014 |   344752 |    10604     57 |        0 |        0
993.03/993.28	c  993s |      18 |   433893 |   345552 |    10604     57 |        0 |        0
995.13/995.36	c  995s |      18 |   434555 |   346152 |    10604     57 |        0 |        0
997.22/997.45	c  997s |      18 |   435615 |   347052 |    10604     57 |        0 |        0
999.32/999.53	c  999s |      18 |   436530 |   347852 |    10604     57 |        0 |        0
1001.52/1001.78	c 1001s |      18 |   437300 |   348552 |    10604     57 |        0 |        0
1003.72/1003.90	c 1003s |      18 |   437973 |   349152 |    10604     57 |        0 |        0
1006.02/1006.25	c 1006s |      18 |   438742 |   349852 |    10604     57 |        0 |        0
1008.13/1008.34	c 1008s |      18 |   439429 |   350452 |    10604     57 |        0 |        0
1010.22/1010.42	c 1010s |      18 |   440099 |   351052 |    10604     57 |        0 |        0
1012.32/1012.56	c 1012s |      18 |   440861 |   351752 |    10604     57 |        0 |        0
1014.43/1014.67	c 1014s |      18 |   441411 |   352252 |    10604     58 |        0 |        0
1016.62/1016.80	c 1016s |      18 |   442307 |   353052 |    10604     58 |        0 |        0
1018.62/1018.88	c 1018s |      18 |   443067 |   353752 |    10604     58 |        0 |        0
1020.82/1021.06	c 1020s |      18 |   443841 |   354452 |    10604     58 |        0 |        0
1022.93/1023.17	c 1023s |      18 |   444620 |   355152 |    10604     58 |        0 |        0
1026.02/1026.24	c 1026s |      18 |   445394 |   355852 |    10604     58 |        0 |        0
1028.12/1028.33	c 1028s |      18 |   446360 |   356652 |    10604     58 |        0 |        0
1030.12/1030.34	c 1030s |      18 |   447132 |   357352 |    10604     58 |        0 |        0
1032.22/1032.47	c 1032s |      18 |   447886 |   358052 |    10604     58 |        0 |        0
1034.22/1034.49	c 1034s |      18 |   448554 |   358652 |    10604     58 |        0 |        0
1036.92/1037.13	c 1037s |      18 |   449223 |   359252 |    10604     59 |        0 |        0
1039.11/1039.36	c 1039s |      18 |   450267 |   360152 |    10604     59 |        0 |        0
1041.21/1041.42	c 1041s |      18 |   451114 |   360852 |    10604     59 |        0 |        0
1043.32/1043.52	c 1043s |      18 |   451876 |   361552 |    10604     59 |        0 |        0
1045.32/1045.54	c 1045s |      18 |   452658 |   362252 |    10604     59 |        0 |        0
1047.52/1047.76	c 1047s |      18 |   453418 |   362952 |    10604     59 |        0 |        0
1049.82/1050.06	c 1049s |      18 |   454195 |   363652 |    10604     59 |        0 |        0
1052.12/1052.33	c 1052s |      18 |   454956 |   364352 |    10604     59 |        0 |        0
1054.11/1054.37	c 1054s |      18 |   455605 |   364952 |    10604     59 |        0 |        0
1056.32/1056.50	c 1056s |      18 |   456243 |   365552 |    10604     59 |        0 |        0
1058.52/1058.75	c 1058s |      18 |   456913 |   366152 |    10604     59 |        0 |        0
1060.71/1060.92	c 1060s |      18 |   457354 |   366552 |    10604     60 |        0 |        0
1062.92/1063.17	c 1063s |      18 |   458109 |   367252 |    10604     60 |        0 |        0
1065.02/1065.29	c 1065s |      18 |   458868 |   367952 |    10604     60 |        0 |        0
1067.21/1067.40	c 1067s |      18 |   459632 |   368652 |    10604     60 |        0 |        0
1069.31/1069.59	c 1069s |      18 |   460393 |   369352 |    10604     60 |        0 |        0
1071.51/1071.70	c 1071s |      18 |   461074 |   369952 |    10604     60 |        0 |        0
1073.52/1073.73	c 1073s |      18 |   461714 |   370552 |    10604     60 |        0 |        0
1075.72/1075.94	c 1075s |      18 |   462364 |   371152 |    10604     60 |        0 |        0
1077.82/1078.02	c 1077s |      18 |   463019 |   371752 |    10604     60 |        0 |        0
1079.91/1080.12	c 1080s |      18 |   463693 |   372352 |    10604     60 |        0 |        0
1082.01/1082.27	c 1082s |      18 |   464346 |   372952 |    10604     60 |        0 |        0
1084.21/1084.43	c 1084s |      18 |   465010 |   373552 |    10604     60 |        0 |        0
1086.31/1086.57	c 1086s |      18 |   465345 |   373852 |    10604     61 |        0 |        0
1088.61/1088.85	c 1088s |      18 |   466104 |   374552 |    10604     61 |        0 |        0
1090.91/1091.18	c 1091s |      18 |   466762 |   375152 |    10604     61 |        0 |        0
1093.22/1093.44	c 1093s |      18 |   467516 |   375852 |    10604     61 |        0 |        0
1095.42/1095.66	c 1095s |      18 |   468286 |   376552 |    10604     61 |        0 |        0
1097.41/1097.69	c 1097s |      18 |   469085 |   377252 |    10604     61 |        0 |        0
1099.70/1099.91	c 1099s |      18 |   469971 |   378052 |    10604     61 |        0 |        0
1101.91/1102.20	c 1102s |      18 |   470753 |   378752 |    10604     61 |        0 |        0
1104.21/1104.50	c 1104s |      18 |   471516 |   379452 |    10604     61 |        0 |        0
1106.41/1106.64	c 1106s |      18 |   472158 |   380052 |    10604     61 |        0 |        0
1108.71/1108.95	c 1108s |      18 |   472794 |   380652 |    10604     61 |        0 |        0
1111.30/1111.54	c 1111s |      18 |   473322 |   381152 |    10604     62 |        0 |        0
1113.61/1113.85	c 1113s |      18 |   473970 |   381752 |    10604     62 |        0 |        0
1115.81/1116.05	c 1115s |      18 |   474718 |   382452 |    10604     62 |        0 |        0
1118.01/1118.28	c 1118s |      18 |   475484 |   383152 |    10604     62 |        0 |        0
1120.31/1120.54	c 1120s |      18 |   476121 |   383752 |    10604     62 |        0 |        0
1122.60/1122.86	c 1122s |      18 |   476759 |   384352 |    10604     62 |        0 |        0
1124.71/1124.97	c 1124s |      18 |   477400 |   384952 |    10604     62 |        0 |        0
1127.01/1127.25	c 1127s |      18 |   478032 |   385552 |    10604     62 |        0 |        0
1129.30/1129.53	c 1129s |      18 |   478662 |   386152 |    10604     62 |        0 |        0
1131.30/1131.54	c 1131s |      18 |   479225 |   386652 |    10604     62 |        0 |        0
1133.51/1133.75	c 1133s |      18 |   479751 |   387152 |    10604     62 |        0 |        0
1135.71/1135.93	c 1135s |      18 |   480282 |   387652 |    10604     62 |        0 |        0
1137.80/1138.06	c 1137s |      18 |   480806 |   388152 |    10604     62 |        0 |        0
1139.80/1140.08	c 1140s |      18 |   481234 |   388552 |    10604     63 |        0 |        0
1143.01/1143.25	c 1143s |      18 |   481882 |   389152 |    10604     63 |        0 |        0
1145.31/1145.52	c 1145s |      18 |   482764 |   389952 |    10604     63 |        0 |        0
1147.40/1147.61	c 1147s |      18 |   483401 |   390552 |    10604     63 |        0 |        0
1149.41/1149.62	c 1149s |      18 |   484057 |   391152 |    10604     63 |        0 |        0
1151.70/1151.90	c 1151s |      18 |   484707 |   391752 |    10604     63 |        0 |        0
1153.90/1154.18	c 1154s |      18 |   485338 |   392352 |    10604     63 |        0 |        0
1156.30/1156.56	c 1156s |      18 |   485960 |   392952 |    10604     63 |        0 |        0
1158.60/1158.82	c 1158s |      18 |   486770 |   393652 |    10604     63 |        0 |        0
1160.80/1161.01	c 1160s |      18 |   487468 |   394252 |    10604     63 |        0 |        0
1162.89/1163.18	c 1163s |      18 |   488137 |   394852 |    10604     63 |        0 |        0
1165.10/1165.38	c 1165s |      18 |   488804 |   395452 |    10604     63 |        0 |        0
1167.20/1167.40	c 1167s |      18 |   489238 |   395852 |    10604     64 |        0 |        0
1169.50/1169.70	c 1169s |      18 |   490115 |   396652 |    10604     64 |        0 |        0
1171.50/1171.73	c 1171s |      18 |   490766 |   397252 |    10604     64 |        0 |        0
1173.50/1173.76	c 1173s |      18 |   491430 |   397852 |    10604     64 |        0 |        0
1175.81/1176.03	c 1175s |      18 |   492201 |   398552 |    10604     64 |        0 |        0
1177.90/1178.14	c 1178s |      18 |   492866 |   399152 |    10604     64 |        0 |        0
1179.89/1180.16	c 1180s |      18 |   493498 |   399752 |    10604     64 |        0 |        0
1182.19/1182.46	c 1182s |      18 |   494152 |   400352 |    10604     64 |        0 |        0
1184.29/1184.54	c 1184s |      18 |   494602 |   400752 |    10604     64 |        0 |        0
1186.40/1186.60	c 1186s |      18 |   495145 |   401252 |    10604     64 |        0 |        0
1188.59/1188.87	c 1188s |      18 |   495815 |   401852 |    10604     64 |        0 |        0
1190.79/1191.04	c 1190s |      18 |   496467 |   402452 |    10604     64 |        0 |        0
1193.19/1193.48	c 1193s |      18 |   497006 |   402952 |    10604     65 |        0 |        0
1195.39/1195.68	c 1195s |      18 |   497762 |   403652 |    10604     65 |        0 |        0
1197.70/1197.92	c 1197s |      18 |   498526 |   404352 |    10604     65 |        0 |        0
1199.79/1200.00	c 1199s |      18 |   499170 |   404952 |    10604     65 |        0 |        0
1201.89/1202.18	c 1202s |      18 |   499824 |   405552 |    10604     65 |        0 |        0
1204.09/1204.32	c 1204s |      18 |   500474 |   406152 |    10604     65 |        0 |        0
1206.30/1206.51	c 1206s |      18 |   501122 |   406752 |    10604     65 |        0 |        0
1208.60/1208.81	c 1208s |      18 |   501777 |   407352 |    10604     65 |        0 |        0
1211.00/1211.21	c 1211s |      18 |   502337 |   407852 |    10604     65 |        0 |        0
1213.10/1213.35	c 1213s |      18 |   502998 |   408452 |    10604     65 |        0 |        0
1215.40/1215.63	c 1215s |      18 |   503675 |   409052 |    10604     65 |        0 |        0
1217.69/1217.95	c 1217s |      18 |   504297 |   409652 |    10604     65 |        0 |        0
1220.39/1220.63	c 1220s |      18 |   504944 |   410252 |    10604     66 |        0 |        0
1222.59/1222.88	c 1222s |      18 |   505684 |   410952 |    10604     66 |        0 |        0
1224.89/1225.17	c 1225s |      18 |   506437 |   411652 |    10604     66 |        0 |        0
1227.09/1227.30	c 1227s |      18 |   507075 |   412252 |    10604     66 |        0 |        0
1229.19/1229.45	c 1229s |      18 |   507719 |   412852 |    10604     66 |        0 |        0
1231.19/1231.47	c 1231s |      18 |   508191 |   413252 |    10604     66 |        0 |        0
1233.48/1233.72	c 1233s |      18 |   509072 |   414052 |    10604     66 |        0 |        0
1235.59/1235.80	c 1235s |      18 |   509823 |   414752 |    10604     66 |        0 |        0
1237.79/1238.03	c 1237s |      18 |   510602 |   415452 |    10604     66 |        0 |        0
1239.99/1240.24	c 1240s |      18 |   511383 |   416152 |    10604     66 |        0 |        0
1241.99/1242.26	c 1242s |      18 |   512153 |   416852 |    10604     66 |        0 |        0
1244.79/1245.02	c 1244s |      18 |   512892 |   417552 |    10604     67 |        0 |        0
1247.09/1247.32	c 1247s |      18 |   513759 |   418352 |    10604     67 |        0 |        0
1249.19/1249.43	c 1249s |      18 |   514315 |   418852 |    10604     67 |        0 |        0
1251.49/1251.70	c 1251s |      18 |   515178 |   419652 |    10604     67 |        0 |        0
1253.48/1253.79	c 1253s |      18 |   515961 |   420352 |    10604     67 |        0 |        0
1255.58/1255.87	c 1255s |      18 |   516620 |   420952 |    10604     67 |        0 |        0
1257.79/1258.06	c 1257s |      18 |   517267 |   421552 |    10604     67 |        0 |        0
1259.89/1260.12	c 1260s |      18 |   517912 |   422152 |    10604     67 |        0 |        0
1261.99/1262.28	c 1262s |      18 |   518557 |   422752 |    10604     67 |        0 |        0
1264.38/1264.60	c 1264s |      18 |   519217 |   423352 |    10604     67 |        0 |        0
1266.48/1266.71	c 1266s |      18 |   519868 |   423952 |    10604     67 |        0 |        0
1268.68/1268.95	c 1268s |      18 |   520520 |   424552 |    10604     67 |        0 |        0
1270.68/1270.96	c 1270s |      18 |   520842 |   424852 |    10604     68 |        0 |        0
1272.78/1273.08	c 1273s |      18 |   521481 |   425452 |    10604     68 |        0 |        0
1274.98/1275.26	c 1275s |      18 |   522122 |   426052 |    10604     68 |        0 |        0
1277.18/1277.45	c 1277s |      18 |   522772 |   426652 |    10604     68 |        0 |        0
1279.29/1279.53	c 1279s |      18 |   523415 |   427252 |    10604     68 |        0 |        0
1281.39/1281.69	c 1281s |      18 |   524062 |   427852 |    10604     68 |        0 |        0
1283.68/1283.90	c 1283s |      18 |   524697 |   428452 |    10604     68 |        0 |        0
1285.79/1286.06	c 1285s |      18 |   525346 |   429052 |    10604     68 |        0 |        0
1288.18/1288.40	c 1288s |      18 |   525867 |   429552 |    10604     68 |        0 |        0
1290.48/1290.79	c 1290s |      18 |   526417 |   430052 |    10604     68 |        0 |        0
1292.58/1292.88	c 1292s |      18 |   527188 |   430752 |    10604     68 |        0 |        0
1294.77/1295.05	c 1294s |      18 |   528063 |   431552 |    10604     68 |        0 |        0
1297.27/1297.56	c 1297s |      18 |   528733 |   432152 |    10604     69 |        0 |        0
1299.48/1299.75	c 1299s |      18 |   529599 |   432952 |    10604     69 |        0 |        0
1301.58/1301.89	c 1301s |      18 |   530476 |   433752 |    10604     69 |        0 |        0
1303.78/1304.00	c 1303s |      18 |   531239 |   434452 |    10604     69 |        0 |        0
1305.87/1306.18	c 1306s |      18 |   531975 |   435152 |    10604     69 |        0 |        0
1307.87/1308.18	c 1308s |      18 |   532612 |   435752 |    10604     69 |        0 |        0
1309.98/1310.25	c 1310s |      18 |   533261 |   436352 |    10604     69 |        0 |        0
1312.08/1312.32	c 1312s |      18 |   533912 |   436952 |    10604     69 |        0 |        0
1314.07/1314.36	c 1314s |      18 |   534564 |   437552 |    10604     69 |        0 |        0
1316.27/1316.50	c 1316s |      18 |   535082 |   438052 |    10604     69 |        0 |        0
1318.47/1318.79	c 1318s |      18 |   535756 |   438652 |    10604     69 |        0 |        0
1320.57/1320.88	c 1320s |      18 |   536396 |   439252 |    10604     69 |        0 |        0
1322.77/1323.07	c 1322s |      18 |   536931 |   439752 |    10604     70 |        0 |        0
1324.97/1325.26	c 1325s |      18 |   537577 |   440352 |    10604     70 |        0 |        0
1327.16/1327.49	c 1327s |      18 |   538215 |   440952 |    10604     70 |        0 |        0
1329.46/1329.70	c 1329s |      18 |   538969 |   441652 |    11665     70 |        0 |        0
1331.76/1332.02	c 1331s |      18 |   539606 |   442252 |    11665     70 |        0 |        0
1334.07/1334.36	c 1334s |      18 |   540254 |   442852 |    11665     70 |        0 |        0
1336.56/1336.80	c 1336s |      18 |   540795 |   443352 |    11665     70 |        0 |        0
1338.57/1338.86	c 1338s |      18 |   541682 |   444152 |    11665     70 |        0 |        0
1339.36/1339.63	c 1339s |      19 |   542043 |   444482 |    11665     70 |        0 |        0
1341.46/1341.70	c 1341s |      19 |   545756 |   445082 |    11665     71 |        0 |        0
1343.46/1343.77	c 1343s |      19 |   547518 |   446582 |    11665     71 |        0 |        0
1345.66/1345.96	c 1345s |      19 |   548849 |   447782 |    11665     71 |        0 |        0
1347.76/1348.04	c 1347s |      19 |   550206 |   448982 |    11665     71 |        0 |        0
1349.95/1350.21	c 1350s |      19 |   551314 |   449982 |    11665     71 |        0 |        0
1352.15/1352.43	c 1352s |      19 |   552458 |   450982 |    11665     71 |        0 |        0
1354.25/1354.59	c 1354s |      19 |   553559 |   451982 |    11665     71 |        0 |        0
1356.35/1356.68	c 1356s |      19 |   554569 |   452882 |    11665     71 |        0 |        0
1358.55/1358.81	c 1358s |      19 |   555589 |   453782 |    11665     71 |        0 |        0
1360.56/1360.87	c 1360s |      19 |   556495 |   454582 |    11665     71 |        0 |        0
1362.65/1362.91	c 1362s |      19 |   557030 |   455082 |    11665     72 |        0 |        0
1364.85/1365.10	c 1365s |      19 |   557939 |   455882 |    11665     72 |        0 |        0
1366.84/1367.14	c 1367s |      19 |   558843 |   456682 |    11665     72 |        0 |        0
1369.04/1369.32	c 1369s |      19 |   559743 |   457482 |    11665     72 |        0 |        0
1371.15/1371.46	c 1371s |      19 |   560549 |   458182 |    11665     72 |        0 |        0
1373.35/1373.61	c 1373s |      19 |   561204 |   458782 |    11665     72 |        0 |        0
1375.44/1375.77	c 1375s |      19 |   561869 |   459382 |    11665     72 |        0 |        0
1377.74/1378.06	c 1377s |      19 |   562535 |   459982 |    11665     72 |        0 |        0
1380.04/1380.33	c 1380s |      19 |   563206 |   460582 |    11665     72 |        0 |        0
1382.14/1382.41	c 1382s |      19 |   563899 |   461182 |    11665     72 |        0 |        0
1384.14/1384.47	c 1384s |      19 |   564576 |   461782 |    11665     72 |        0 |        0
1386.24/1386.56	c 1386s |      19 |   565265 |   462382 |    11665     72 |        0 |        0
1388.33/1388.60	c 1388s |      19 |   565941 |   462982 |    11665     72 |        0 |        0
1390.83/1391.14	c 1391s |      19 |   566511 |   463482 |    11665     73 |        0 |        0
1392.93/1393.28	c 1393s |      19 |   567367 |   464182 |    11665     73 |        0 |        0
1395.03/1395.34	c 1395s |      19 |   568145 |   464882 |    11665     73 |        0 |        0
1397.13/1397.43	c 1397s |      19 |   568947 |   465582 |    11665     73 |        0 |        0
1399.33/1399.62	c 1399s |      19 |   569738 |   466282 |    11665     73 |        0 |        0
1401.53/1401.89	c 1401s |      19 |   570513 |   466982 |    11665     73 |        0 |        0
1403.73/1404.07	c 1403s |      19 |   571279 |   467682 |    11665     73 |        0 |        0
1406.03/1406.31	c 1406s |      19 |   571922 |   468282 |    11665     73 |        0 |        0
1408.23/1408.55	c 1408s |      19 |   572558 |   468882 |    11665     73 |        0 |        0
1410.33/1410.67	c 1410s |      19 |   573226 |   469482 |    11665     73 |        0 |        0
1412.43/1412.77	c 1412s |      19 |   573891 |   470082 |    11665     73 |        0 |        0
1414.82/1415.16	c 1415s |      19 |   574567 |   470682 |    11665     73 |        0 |        0
1417.12/1417.46	c 1417s |      19 |   575336 |   471382 |    11665     73 |        0 |        0
1419.52/1419.85	c 1419s |      19 |   575898 |   471882 |    11665     74 |        0 |        0
1421.62/1421.95	c 1421s |      19 |   576685 |   472582 |    11665     74 |        0 |        0
1423.72/1424.03	c 1423s |      19 |   577458 |   473282 |    11665     74 |        0 |        0
1425.81/1426.10	c 1426s |      19 |   578103 |   473882 |    11665     74 |        0 |        0
1427.81/1428.13	c 1428s |      19 |   578742 |   474482 |    11665     74 |        0 |        0
1430.01/1430.37	c 1430s |      19 |   579523 |   475182 |    11665     74 |        0 |        0
1432.12/1432.44	c 1432s |      19 |   580056 |   475682 |    11665     74 |        0 |        0
1434.22/1434.52	c 1434s |      19 |   580719 |   476282 |    11665     74 |        0 |        0
1436.21/1436.55	c 1436s |      19 |   581412 |   476882 |    11665     74 |        0 |        0
1438.41/1438.72	c 1438s |      19 |   582175 |   477482 |    11665     74 |        0 |        0
1440.61/1441.00	c 1440s |      19 |   582840 |   478082 |    11665     74 |        0 |        0
1442.92/1443.25	c 1443s |      19 |   583550 |   478682 |    11665     74 |        0 |        0
1445.11/1445.50	c 1445s |      19 |   584222 |   479282 |    11665     74 |        0 |        0
1447.50/1447.83	c 1447s |      19 |   584878 |   479882 |    11665     74 |        0 |        0
1449.70/1450.08	c 1450s |      19 |   585323 |   480282 |    11665     75 |        0 |        0
1451.91/1452.29	c 1452s |      19 |   586084 |   480982 |    11665     75 |        0 |        0
1454.20/1454.52	c 1454s |      19 |   586833 |   481682 |    11665     75 |        0 |        0
1456.30/1456.65	c 1456s |      19 |   587625 |   482382 |    11665     75 |        0 |        0
1458.50/1458.88	c 1458s |      19 |   588388 |   483082 |    11665     75 |        0 |        0
1460.80/1461.15	c 1461s |      19 |   589031 |   483682 |    11665     75 |        0 |        0
1462.80/1463.18	c 1463s |      19 |   589707 |   484282 |    11665     75 |        0 |        0
1465.00/1465.32	c 1465s |      19 |   590653 |   485082 |    11665     75 |        0 |        0
1467.19/1467.54	c 1467s |      19 |   591533 |   485882 |    11665     75 |        0 |        0
1469.40/1469.80	c 1469s |      19 |   592446 |   486682 |    11665     75 |        0 |        0
1471.60/1471.92	c 1471s |      19 |   593020 |   487182 |    11665     75 |        0 |        0
1473.70/1474.08	c 1474s |      19 |   593897 |   487982 |    11665     75 |        0 |        0
1475.89/1476.25	c 1476s |      19 |   594762 |   488682 |    11665     75 |        0 |        0
1477.99/1478.38	c 1478s |      19 |   595324 |   489182 |    11665     76 |        0 |        0
1480.29/1480.66	c 1480s |      19 |   596225 |   489982 |    11665     76 |        0 |        0
1482.49/1482.85	c 1482s |      19 |   597105 |   490782 |    11665     76 |        0 |        0
1484.48/1484.88	c 1484s |      19 |   597906 |   491482 |    11665     76 |        0 |        0
1486.68/1487.08	c 1487s |      19 |   598655 |   492182 |    11665     76 |        0 |        0
1488.88/1489.23	c 1489s |      19 |   599448 |   492882 |    11665     76 |        0 |        0
1491.08/1491.41	c 1491s |      19 |   600232 |   493582 |    11665     76 |        0 |        0
1493.08/1493.45	c 1493s |      19 |   600984 |   494282 |    11665     76 |        0 |        0
1495.27/1495.64	c 1495s |      19 |   601789 |   494982 |    11665     76 |        0 |        0
1497.37/1497.70	c 1497s |      19 |   602422 |   495582 |    11665     76 |        0 |        0
1499.38/1499.75	c 1499s |      19 |   602965 |   496082 |    11665     76 |        0 |        0
1501.78/1502.11	c 1502s |      19 |   603635 |   496682 |    11665     76 |        0 |        0
1504.48/1504.89	c 1504s |      19 |   604222 |   497182 |    11665     77 |        0 |        0
1506.57/1506.90	c 1506s |      19 |   605167 |   497982 |    11665     77 |        0 |        0
1508.67/1509.09	c 1509s |      19 |   606191 |   498882 |    11665     77 |        0 |        0
1510.87/1511.25	c 1511s |      19 |   607128 |   499682 |    11665     77 |        0 |        0
1512.97/1513.39	c 1513s |      19 |   608113 |   500582 |    11665     77 |        0 |        0
1515.17/1515.59	c 1515s |      19 |   609145 |   501482 |    11665     77 |        0 |        0
1517.37/1517.76	c 1517s |      19 |   610038 |   502282 |    11665     77 |        0 |        0
1519.47/1519.86	c 1519s |      19 |   610932 |   503082 |    11665     77 |        0 |        0
1521.56/1521.98	c 1521s |      19 |   611685 |   503782 |    11665     77 |        0 |        0
1523.77/1524.19	c 1524s |      19 |   612455 |   504482 |    11665     77 |        0 |        0
1525.96/1526.33	c 1526s |      19 |   613125 |   505082 |    11665     77 |        0 |        0
1528.05/1528.42	c 1528s |      19 |   613564 |   505482 |    11665     78 |        0 |        0
1530.15/1530.53	c 1530s |      19 |   614449 |   506282 |    11665     78 |        0 |        0
1532.16/1532.55	c 1532s |      19 |   615332 |   507082 |    11665     78 |        0 |        0
1534.26/1534.63	c 1534s |      19 |   616207 |   507882 |    11665     78 |        0 |        0
1536.25/1536.64	c 1536s |      19 |   616973 |   508582 |    11665     78 |        0 |        0
1538.25/1538.68	c 1538s |      19 |   617728 |   509282 |    11665     78 |        0 |        0
1540.45/1540.82	c 1540s |      19 |   618484 |   509982 |    11665     78 |        0 |        0
1542.65/1543.04	c 1542s |      19 |   619364 |   510782 |    11665     78 |        0 |        0
1544.84/1545.21	c 1545s |      19 |   620164 |   511482 |    11665     78 |        0 |        0
1547.05/1547.42	c 1547s |      19 |   620924 |   512182 |    11665     78 |        0 |        0
1549.04/1549.48	c 1549s |      19 |   621722 |   512882 |    11665     78 |        0 |        0
1551.34/1551.77	c 1551s |      19 |   622515 |   513582 |    11665     78 |        0 |        0
1553.64/1554.00	c 1553s |      19 |   622977 |   513982 |    11665     79 |        0 |        0
1555.84/1556.21	c 1556s |      19 |   623848 |   514782 |    11665     79 |        0 |        0
1558.04/1558.41	c 1558s |      19 |   624658 |   515482 |    11665     79 |        0 |        0
1560.03/1560.48	c 1560s |      19 |   625458 |   516182 |    11665     79 |        0 |        0
1562.33/1562.72	c 1562s |      19 |   626261 |   516882 |    11665     79 |        0 |        0
1564.44/1564.82	c 1564s |      19 |   627064 |   517582 |    11665     79 |        0 |        0
1566.63/1567.04	c 1566s |      19 |   627845 |   518282 |    11665     79 |        0 |        0
1568.93/1569.34	c 1569s |      19 |   628642 |   518982 |    11665     79 |        0 |        0
1571.03/1571.45	c 1571s |      19 |   629453 |   519682 |    11665     79 |        0 |        0
1573.33/1573.75	c 1573s |      19 |   630262 |   520382 |    11665     79 |        0 |        0
1575.32/1575.79	c 1575s |      19 |   630942 |   520982 |    11665     79 |        0 |        0
1577.42/1577.88	c 1577s |      19 |   631602 |   521582 |    11665     79 |        0 |        0
1579.62/1580.08	c 1580s |      19 |   632262 |   522182 |    11665     79 |        0 |        0
1581.73/1582.17	c 1582s |      19 |   632704 |   522582 |    11665     80 |        0 |        0
1583.93/1584.33	c 1584s |      19 |   633598 |   523382 |    11665     80 |        0 |        0
1586.22/1586.61	c 1586s |      19 |   634464 |   524182 |    11665     80 |        0 |        0
1588.42/1588.84	c 1588s |      19 |   635228 |   524882 |    11665     80 |        0 |        0
1590.71/1591.15	c 1591s |      19 |   636008 |   525582 |    11665     80 |        0 |        0
1592.81/1593.26	c 1593s |      19 |   636796 |   526282 |    11665     80 |        0 |        0
1595.01/1595.40	c 1595s |      19 |   637442 |   526882 |    11665     80 |        0 |        0
1597.21/1597.63	c 1597s |      19 |   638090 |   527482 |    11665     80 |        0 |        0
1599.41/1599.80	c 1599s |      19 |   638739 |   528082 |    11665     80 |        0 |        0
1601.81/1602.22	c 1602s |      19 |   639389 |   528682 |    11665     80 |        0 |        0
1603.81/1604.30	c 1604s |      19 |   639955 |   529182 |    11665     80 |        0 |        0
1606.11/1606.55	c 1606s |      19 |   640778 |   529882 |    11665     80 |        0 |        0
1608.40/1608.83	c 1608s |      19 |   641598 |   530582 |    11665     80 |        0 |        0
1610.90/1611.36	c 1611s |      19 |   642074 |   530982 |    11665     81 |        0 |        0
1613.20/1613.61	c 1613s |      19 |   643112 |   531882 |    11665     81 |        0 |        0
1615.30/1615.78	c 1615s |      19 |   643897 |   532582 |    11665     81 |        0 |        0
1617.49/1617.97	c 1617s |      19 |   644676 |   533282 |    11665     81 |        0 |        0
1619.79/1620.23	c 1620s |      19 |   645443 |   533982 |    11665     81 |        0 |        0
1621.80/1622.24	c 1622s |      19 |   646122 |   534582 |    11665     81 |        0 |        0
1623.90/1624.31	c 1624s |      19 |   646772 |   535182 |    11665     81 |        0 |        0
1626.10/1626.54	c 1626s |      19 |   647552 |   535882 |    11665     81 |        0 |        0
1628.09/1628.59	c 1628s |      19 |   648219 |   536482 |    11665     81 |        0 |        0
1630.30/1630.71	c 1630s |      19 |   648895 |   537082 |    11665     81 |        0 |        0
1632.30/1632.76	c 1632s |      19 |   649576 |   537682 |    11665     81 |        0 |        0
1634.59/1635.06	c 1634s |      19 |   650257 |   538282 |    11665     81 |        0 |        0
1636.88/1637.31	c 1637s |      19 |   650931 |   538882 |    11665     81 |        0 |        0
1638.99/1639.48	c 1639s |      19 |   651370 |   539282 |    11665     82 |        0 |        0
1641.19/1641.63	c 1641s |      19 |   652165 |   539982 |    11665     82 |        0 |        0
1643.39/1643.81	c 1643s |      19 |   653101 |   540782 |    11665     82 |        0 |        0
1645.38/1645.82	c 1645s |      19 |   653903 |   541482 |    11665     82 |        0 |        0
1647.68/1648.12	c 1648s |      19 |   654806 |   542282 |    11665     82 |        0 |        0
1649.79/1650.28	c 1650s |      19 |   655658 |   542982 |    11665     82 |        0 |        0
1651.99/1652.48	c 1652s |      19 |   656406 |   543682 |    11665     82 |        0 |        0
1654.28/1654.70	c 1654s |      19 |   657167 |   544382 |    11665     82 |        0 |        0
1656.28/1656.77	c 1656s |      19 |   657860 |   544982 |    11665     82 |        0 |        0
1658.38/1658.82	c 1658s |      19 |   658415 |   545482 |    11665     82 |        0 |        0
1660.38/1660.89	c 1660s |      19 |   658956 |   545982 |    11665     82 |        0 |        0
1662.78/1663.23	c 1663s |      19 |   659635 |   546582 |    11665     82 |        0 |        0
1665.08/1665.55	c 1665s |      19 |   660302 |   547182 |    11665     82 |        0 |        0
1667.37/1667.82	c 1667s |      19 |   660722 |   547582 |    11665     83 |        0 |        0
1669.57/1670.00	c 1669s |      19 |   661532 |   548282 |    11665     83 |        0 |        0
1671.67/1672.19	c 1672s |      19 |   662538 |   549182 |    11665     83 |        0 |        0
1673.77/1674.26	c 1674s |      19 |   663431 |   549982 |    11665     83 |        0 |        0
1675.96/1676.45	c 1676s |      19 |   664475 |   550882 |    11665     83 |        0 |        0
1677.97/1678.48	c 1678s |      19 |   665250 |   551582 |    11665     83 |        0 |        0
1680.16/1680.69	c 1680s |      19 |   666216 |   552382 |    11665     83 |        0 |        0
1682.36/1682.87	c 1682s |      19 |   667012 |   553082 |    11665     83 |        0 |        0
1684.55/1685.03	c 1684s |      19 |   667698 |   553682 |    11665     83 |        0 |        0
1686.66/1687.17	c 1687s |      19 |   668391 |   554282 |    11665     83 |        0 |        0
1688.86/1689.38	c 1689s |      19 |   669060 |   554882 |    11665     83 |        0 |        0
1691.05/1691.59	c 1691s |      19 |   669735 |   555482 |    11665     83 |        0 |        0
1693.45/1693.94	c 1693s |      19 |   670181 |   555882 |    11665     84 |        0 |        0
1695.55/1696.08	c 1696s |      19 |   670856 |   556482 |    11665     84 |        0 |        0
1697.85/1698.37	c 1698s |      19 |   671639 |   557182 |    11665     84 |        0 |        0
1699.85/1700.39	c 1700s |      19 |   672298 |   557782 |    11665     84 |        0 |        0
1702.05/1702.50	c 1702s |      19 |   672984 |   558382 |    11665     84 |        0 |        0
1704.05/1704.51	c 1704s |      19 |   674056 |   559282 |    11665     84 |        0 |        0
1706.35/1706.81	c 1706s |      19 |   674975 |   560082 |    11665     84 |        0 |        0
1708.34/1708.87	c 1708s |      19 |   675799 |   560782 |    11665     84 |        0 |        0
1710.44/1710.93	c 1710s |      19 |   676596 |   561482 |    11665     84 |        0 |        0
1712.54/1713.03	c 1712s |      19 |   677286 |   562082 |    11665     84 |        0 |        0
1714.74/1715.20	c 1715s |      19 |   677971 |   562682 |    11665     84 |        0 |        0
1716.74/1717.26	c 1717s |      19 |   678658 |   563282 |    11665     84 |        0 |        0
1718.94/1719.44	c 1719s |      19 |   679309 |   563882 |    11665     84 |        0 |        0
1721.23/1721.71	c 1721s |      19 |   679769 |   564282 |    11665     85 |        0 |        0
1723.34/1723.81	c 1723s |      19 |   680555 |   564982 |    11665     85 |        0 |        0
1725.43/1725.95	c 1725s |      19 |   681334 |   565682 |    11665     85 |        0 |        0
1727.43/1727.98	c 1727s |      19 |   682020 |   566282 |    11665     85 |        0 |        0
1729.53/1730.00	c 1729s |      19 |   682683 |   566882 |    11665     85 |        0 |        0
1731.63/1732.19	c 1732s |      19 |   683364 |   567482 |    11665     85 |        0 |        0
1733.83/1734.35	c 1734s |      19 |   684013 |   568082 |    11665     85 |        0 |        0
1736.43/1736.99	c 1736s |      19 |   684705 |   568682 |    11665     85 |        0 |        0
1738.63/1739.19	c 1739s |      19 |   685507 |   569382 |    11665     85 |        0 |        0
1740.72/1741.23	c 1741s |      19 |   686211 |   569982 |    11665     85 |        0 |        0
1742.92/1743.50	c 1743s |      19 |   686913 |   570582 |    11665     85 |        0 |        0
1745.12/1745.60	c 1745s |      19 |   687623 |   571182 |    11665     85 |        0 |        0
1747.12/1747.64	c 1747s |      19 |   688305 |   571782 |    11665     85 |        0 |        0
1749.32/1749.86	c 1749s |      19 |   688967 |   572382 |    11665     85 |        0 |        0
1751.42/1751.94	c 1751s |      19 |   689292 |   572682 |    11665     86 |        0 |        0
1753.52/1754.00	c 1753s |      19 |   689936 |   573282 |    11665     86 |        0 |        0
1755.71/1756.28	c 1756s |      19 |   690719 |   573982 |    11665     86 |        0 |        0
1758.02/1758.51	c 1758s |      19 |   691531 |   574682 |    11665     86 |        0 |        0
1760.11/1760.66	c 1760s |      19 |   692221 |   575282 |    11665     86 |        0 |        0
1762.41/1762.99	c 1762s |      19 |   692906 |   575882 |    11665     86 |        0 |        0
1764.71/1765.21	c 1765s |      19 |   693583 |   576482 |    11665     86 |        0 |        0
1767.00/1767.55	c 1767s |      19 |   694255 |   577082 |    11665     86 |        0 |        0
1769.10/1769.63	c 1769s |      19 |   694838 |   577582 |    11665     86 |        0 |        0
1771.31/1771.88	c 1771s |      19 |   695639 |   578282 |    11665     86 |        0 |        0
1773.50/1774.07	c 1773s |      19 |   696347 |   578882 |    11665     86 |        0 |        0
1775.80/1776.37	c 1776s |      19 |   697175 |   579582 |    11665     86 |        0 |        0
1778.00/1778.59	c 1778s |      19 |   697859 |   580182 |    11665     86 |        0 |        0
1780.40/1780.97	c 1780s |      19 |   698521 |   580782 |    11665     86 |        0 |        0
1782.50/1783.07	c 1782s |      19 |   698833 |   581082 |    11665     87 |        0 |        0
1784.59/1785.19	c 1785s |      19 |   699502 |   581682 |    11665     87 |        0 |        0
1786.69/1787.28	c 1787s |      19 |   700154 |   582282 |    11665     87 |        0 |        0
1788.89/1789.40	c 1789s |      19 |   700930 |   582982 |    11665     87 |        0 |        0
1791.10/1791.60	c 1791s |      19 |   701707 |   583682 |    11665     87 |        0 |        0
1793.70/1794.26	c 1794s |      19 |   702293 |   584182 |    11665     87 |        0 |        0
1795.79/1796.32	c 1796s |      19 |   703215 |   584982 |    11665     87 |        0 |        0
1797.89/1798.48	c 1798s |      19 |   704117 |   585782 |    11665     87 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078606-1465220126/watcher-4078606-1465220126 -o /tmp/evaluation-result-4078606-1465220126/solver-4078606-1465220126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078606-1465220126.opb 

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

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

[startup+0 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 8941
/proc/meminfo: memFree=30529492/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/8941/stat : 8941 (runsolver) R 8938 8429 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 1 0 103946078 24911872 50 33554432000 4194304 4338465 140734242201936 140734242199472 242167212912 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/8941/statm: 6082 50 3 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100128 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 8941
/proc/meminfo: memFree=30529492/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 27219 0 0 0 4 4 0 0 20 0 4 0 103946078 1247350784 27569 33554432000 4194304 16246674 140736366534416 140736366533840 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 304529 27576 706 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200336 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 8941
/proc/meminfo: memFree=30529492/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1222212 CPUtime=0.18 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 40911 0 0 0 12 6 0 0 20 0 4 0 103946078 1251545088 41241 33554432000 4194304 16246674 140736366534416 140736366533728 13191638 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 305553 41255 784 2943 0 302447 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300324 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 8941
/proc/meminfo: memFree=30529492/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1222212 CPUtime=0.28 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 75918 0 0 0 17 11 0 0 20 0 4 0 103946078 1251545088 76249 33554432000 4194304 16246674 140736366534416 140736366533728 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 305553 76270 784 2943 0 302447 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.70026 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 8941
/proc/meminfo: memFree=30529492/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1222212 CPUtime=0.68 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 221888 0 0 0 37 31 0 0 20 0 4 0 103946078 1251545088 222219 33554432000 4194304 16246674 140736366534416 140736366533728 5516309 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 305553 222230 784 2943 0 302447 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1222212

[startup+1.50038 s]
/proc/loadavg: 2.00 2.05 2.02 3/183 8945
/proc/meminfo: memFree=29464112/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 267674 0 0 0 112 37 0 0 20 0 4 0 103946078 1338576896 268004 33554432000 4194304 16246674 140736366534416 140736366517408 5546233 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 326801 268004 785 2943 0 323695 0
[pid=8941/tid=8943] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268004 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268004 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268004 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.00 2.05 2.02 3/183 8945
/proc/meminfo: memFree=29456632/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 267822 0 0 0 271 37 0 0 20 0 4 0 103946078 1338576896 268152 33554432000 4194304 16246674 140736366534416 140736366516288 5553752 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 326801 268152 785 2943 0 323695 0
[pid=8941/tid=8943] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30037 s]
/proc/loadavg: 2.00 2.05 2.02 3/183 8945
/proc/meminfo: memFree=29457248/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 267822 0 0 0 591 37 0 0 20 0 4 0 103946078 1338576896 268152 33554432000 4194304 16246674 140736366534416 140736366517408 5530704 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 326801 268152 785 2943 0 323695 0
[pid=8941/tid=8943] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1338576896 268152 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.05 2.02 3/183 8945
/proc/meminfo: memFree=29456048/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 268101 0 0 0 1231 37 0 0 20 0 4 0 103946078 1340674048 268431 33554432000 4194304 16246674 140736366534416 140736366516288 13950230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 327313 268431 793 2943 0 324207 0
[pid=8941/tid=8943] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268431 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268431 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268431 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.00 2.05 2.02 3/183 8945
/proc/meminfo: memFree=29456040/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 268230 0 0 0 2511 37 0 0 20 0 4 0 103946078 1340674048 268560 33554432000 4194304 16246674 140736366534416 140736366516288 5546616 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 327313 268560 793 2943 0 324207 0
[pid=8941/tid=8943] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268560 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268560 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1340674048 268560 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 8945
/proc/meminfo: memFree=29358816/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1323588 CPUtime=51.07 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 271807 0 0 0 5069 38 0 0 20 0 4 0 103946078 1355354112 272137 33554432000 4194304 16246674 140736366534416 140736366516288 5722656 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8941/statm: 330897 272137 793 2943 0 327791 0
[pid=8941/tid=8943] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272137 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272137 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272137 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1323588

[startup+102.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 8946
/proc/meminfo: memFree=29272184/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1323588 CPUtime=102.27 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 271926 0 0 0 10172 55 0 0 20 0 4 0 103946078 1355354112 272256 33554432000 4194304 16246674 140736366534416 140736366533592 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 330897 272256 793 2943 0 327791 0
[pid=8941/tid=8943] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272256 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272256 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1355354112 272256 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1323588

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 8948
/proc/meminfo: memFree=29187512/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1327684 CPUtime=162.25 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 272737 0 0 0 16152 73 0 0 20 0 4 0 103946078 1359548416 273067 33554432000 4194304 16246674 140736366534416 140736366533592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 331921 273067 793 2943 0 328815 0
[pid=8941/tid=8943] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1327684

[startup+222.308 s]
/proc/loadavg: 2.02 2.04 2.01 3/183 8949
/proc/meminfo: memFree=29187980/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1327684 CPUtime=222.25 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 272737 0 0 0 22119 106 0 0 20 0 4 0 103946078 1359548416 273067 33554432000 4194304 16246674 140736366534416 140736366533592 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 331921 273067 793 2943 0 328815 0
[pid=8941/tid=8943] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1359548416 273067 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1327684


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

/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278658 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1349188

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/183 8976
/proc/meminfo: memFree=27989344/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1302.08 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278333 0 0 0 129726 482 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366533592 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/182 8977
/proc/meminfo: memFree=27953040/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1362.05 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278365 0 0 0 135719 486 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 8979
/proc/meminfo: memFree=27902204/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1422.03 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278404 0 0 0 141713 490 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/184 8983
/proc/meminfo: memFree=27871216/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1481.99 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278448 0 0 0 147675 524 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.12 2.08 2.01 3/184 9104
/proc/meminfo: memFree=29488204/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1541.95 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278492 0 0 0 153653 542 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/182 9202
/proc/meminfo: memFree=29468880/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1601.91 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278533 0 0 0 159627 564 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.19 2.10 2.02 3/183 9204
/proc/meminfo: memFree=29467008/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1661.87 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278577 0 0 0 165591 596 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366516288 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/183 9206
/proc/meminfo: memFree=29466816/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1721.84 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278620 0 0 0 171571 613 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366533592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/183 9207
/proc/meminfo: memFree=29466596/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1781.8 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278663 0 0 0 177540 640 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366533512 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.10 2.02 3/183 9208
/proc/meminfo: memFree=29466420/32872528 swapFree=11196/354588
[pid=8941] ppid=8938 vsize=1349188 CPUtime=1800.09 cores=0,2,4,6
/proc/8941/stat : 8941 (toysat) R 8938 8941 8429 0 -1 4202496 278675 0 0 0 179360 649 0 0 20 0 4 0 103946078 1381568512 278914 33554432000 4194304 16246674 140736366534416 140736366533592 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8941/statm: 337297 278914 794 2943 0 334191 0
[pid=8941/tid=8943] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8943/stat : 8943 (toysat) S 8938 8941 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380864490736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8941/tid=8944] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8944/stat : 8944 (toysat) S 8938 8941 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380854000880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8941/tid=8945] ppid=8938 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/8941/task/8945/stat : 8945 (toysat) S 8938 8941 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103946079 1381568512 278914 33554432000 4194304 16246674 140736366534416 140380737629360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1349188

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 8941 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.62
CPU time (s): 1800.11
CPU user time (s): 1793.61
CPU system time (s): 6.50201
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.61
system time used= 6.50201
maximum resident set size= 1115656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278675
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= 360
involuntary context switches= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5647 second user time and 19.82 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 15:35:26
IDJOB=4078606
IDBENCH=1396
IDSOLVER=2542
FILE ID=node126/4078606-1465220126
RUNJOBID= node126-1465218023-8445
PBS_JOBID= 19843210
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078606-1465220126/watcher-4078606-1465220126 -o /tmp/evaluation-result-4078606-1465220126/solver-4078606-1465220126 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078606-1465220126.opb

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

MD5SUM BENCH= 887c74fdc5099423a97b443d1200370c
RANDOM SEED=711342128

node126.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.500
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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:        30530012 kB
Buffers:            7340 kB
Cached:           128624 kB
SwapCached:         1924 kB
Active:          1242116 kB
Inactive:          42284 kB
Active(anon):    1148704 kB
Inactive(anon):     2036 kB
Active(file):      93412 kB
Inactive(file):    40248 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098520 kB
Dirty:             16408 kB
Writeback:             0 kB
AnonPages:       1508496 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             567280 kB
SReclaimable:      11280 kB
SUnreclaim:       556000 kB
KernelStack:        1488 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1649168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 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= 71700 MiB
End job on node126 at 2016-06-06 16:05:27