Trace number 4100505

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.12 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb
MD5SUM99b260f11bc3e586ce78c7adccfe4295
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables41920
Total number of constraints2137
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2097
Minimum length of a constraint1
Maximum length of a constraint371
Number of terms in the objective function 22720
Biggest coefficient in the objective function 1634
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 336608
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524548
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T03:59:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100505-1466215158.opb"]
0.00/0.01	c use --random-gen="4172463871 1737954065 1793705691 3841116423 2756543356 3942175297 1646514515 3091322589 3599894125 4182078646 543885284 4227780708 1868142994 1259290808 2243934498 1426485317 2458307218 3116481504 3684297760 3875591798 3190928351 808680227 1155911250 2017813719 621661950 2283591361 1792813648 3860225699 1581306069 3187919369 1103993313 778070224 1525328851 2435302018 1032676000 359520707 2929338004 606159751 650564469 3743198779 3898412753 3627741902 3872951975 2293173702 2901869886 511964138 1383921959 3021265348 2054758041 3718357984 3435359515 3589829886 1191041118 1429999773 3564380608 2846180584 3464122131 3557846202 447174846 3585465432 559740130 2434712430 4003984558 4225056643 2982336903 1023419714 645371221 706624990 4074780945 3381187825 2836627738 458712789 1494498570 3216742765 1079174625 1394929464 2020996424 4082685878 2917928374 1442329431 279693987 3920001440 1847128044 3003941163 412051843 1201193919 4075861533 358474842 303353863 698246256 1781022115 1389732710 4079077560 1414302216 1477000559 1448967653 3427737963 2909927216 846766724 1170003525 464250697 404612523 157648313 1872944632 3024457253 2739034070 3844179207 3788921779 2497586126 1501894965 1335967905 1984574273 366203097 3379849078 3235412106 797849679 2931454069 1536440984 883072951 2212330953 4047067659 4091421161 1286576977 692339373 2707000205 2195597708 3956421306 4130095823 4009167092 1116860283 3944524076 2310537879 1123971813 1752903964 1066181943 1373348467 3508271391 2738502651 3733748599 3693267299 1525680290 2029148566 547476658 707095472 211396945 3314569422 2934971515 1369605283 4033810269 2505806875 1886741299 2532646836 4203027886 1889640038 1245961978 586246758 3739503423 3196366896 1669697378 2295629079 3840094454 2156896985 2720591437 2500716850 2755539612 916127032 3858243426 3535603321 3688569724 3542074857 2176123168 2830674202 993809094 1915759668 2678200878 2356340893 2883876679 2950707681 2525374204 1260952139 431960189 4053246351 2317062448 2514788597 683310162 3114005225 2840552569 3814171938 3895870391 2161826536 270175206 2121411996 3233664695 1394789605 1646780994 1851013903 3892396318 411834101 3887047222 1275480221 1361282781 1957798583 887069569 3553938049 3925039720 579996812 2577444769 721879289 3234890252 2593553280 3763493440 3771086388 1602509285 1394312663 555432845 23548685 3103241858 2215187811 963135227 207700264 3070834211 2388161147 4083229541 2560977398 3146343350 2942519204 538936814 2405114712 1528514887 3254802683 2949050409 1119634846 119285974 2984590023 2783485274 1613724635 740977364 3093838881 4113812178 4222027796 1315134582 1221710436 201064606 3920365124 265174952 2231158807 247906718 3228271775 1763876261 2405979890 497840126 2776176461 53687609 2784426304 2788363785 1319599883 255 362436" option to reproduce the execution
0.39/0.47	c #vars 41920
0.39/0.47	c #constraints 2137
2.30/2.34	c BCD2: Hardening is enabled.
2.30/2.34	c BCD2: BiasedSearch is enabled.
2.30/2.34	c Solving starts ...
2.30/2.34	c ============================[ Search Statistics ]============================
2.30/2.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.34	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.34	c =============================================================================
2.30/2.34	c  0.0s |       0 |        0 |        0 |    14885      0 |     7534 |        0
2.39/2.45	c  0.1s |       1 |     2187 |      100 |    14885      0 |     7534 |        0
2.79/2.85	c  0.5s |       2 |    11820 |      250 |    16374      0 |     7552 |        0
3.79/3.89	c  1.6s |       3 |    43790 |      475 |    18012      0 |     7611 |        0
3.99/4.08	c  1.7s |       4 |    48030 |      813 |    19814      0 |     7611 |        0
4.29/4.30	c  2.0s |       5 |    48681 |     1320 |    21796      0 |     7611 |        0
4.59/4.64	c  2.3s |       6 |    49603 |     2081 |    26374      0 |     7611 |        0
5.09/5.15	c  2.8s |       7 |    50870 |     3223 |    29012      0 |     7611 |        0
5.79/5.82	c  3.5s |       8 |    54640 |     4936 |    31914      0 |     7611 |        0
6.89/6.92	c  4.6s |       9 |    60476 |     7506 |    35106      0 |     7611 |        0
8.90/8.91	c  6.6s |      10 |    67460 |    11361 |    38617      0 |     7615 |        0
10.89/10.95	c  8.6s |      10 |    76181 |    14661 |    38617      0 |     7615 |        0
12.29/12.35	c 10.0s |      11 |    81084 |    17144 |    42479      0 |     7615 |        0
14.29/14.39	c 12.1s |      11 |    87678 |    20144 |    42479      0 |     7615 |        0
16.39/16.41	c 14.1s |      11 |    93996 |    22644 |    42479      0 |     7615 |        0
18.39/18.44	c 16.1s |      11 |    99177 |    24844 |    42479      0 |     7615 |        0
19.19/19.23	c 16.9s |      12 |   101552 |    25819 |    46727      0 |     7615 |        0
21.19/21.23	c 18.9s |      12 |   106590 |    27919 |    46727      0 |     7615 |        0
23.19/23.27	c 20.9s |      12 |   112102 |    30219 |    46727      0 |     7615 |        0
25.19/25.30	c 23.0s |      12 |   116939 |    32619 |    46727      0 |     7615 |        0
27.29/27.38	c 25.0s |      12 |   121582 |    34819 |    46727      0 |     7615 |        0
29.39/29.47	c 27.1s |      12 |   125797 |    37119 |    46727      0 |     7615 |        0
31.49/31.52	c 29.2s |      12 |   129877 |    38819 |    51400      0 |     7615 |        0
31.49/31.53	c 29.2s |      13 |   129890 |    38832 |    51400      0 |     7615 |        0
33.48/33.57	c 31.2s |      13 |   133633 |    40532 |    51400      0 |     7615 |        0
35.58/35.67	c 33.3s |      13 |   137112 |    42632 |    51400      0 |     7615 |        0
37.68/37.76	c 35.4s |      13 |   140906 |    44432 |    51400      0 |     7615 |        0
39.69/39.77	c 37.4s |      13 |   144051 |    46332 |    51400      0 |     7615 |        0
41.68/41.79	c 39.4s |      13 |   147183 |    48132 |    51400      0 |     7615 |        0
43.78/43.81	c 41.5s |      13 |   150061 |    49732 |    51400      0 |     7615 |        0
45.78/45.89	c 43.5s |      13 |   152932 |    51432 |    51400      0 |     7615 |        0
47.98/48.00	c 45.7s |      13 |   155938 |    53032 |    51400      0 |     7615 |        0
49.98/50.07	c 47.7s |      13 |   158611 |    54632 |    51400      0 |     7615 |        0
52.08/52.17	c 49.8s |      13 |   161998 |    56132 |    51400      0 |     7615 |        0
53.99/54.07	c 51.7s |      14 |   169630 |    58352 |    56541      0 |     7620 |        0
56.19/56.24	c 53.9s |      14 |   177713 |    64452 |    56541      1 |     7622 |        0
58.58/58.67	c 56.3s |      14 |   207202 |    65152 |    56541      1 |     7688 |        0
60.59/60.68	c 58.3s |      14 |   214759 |    70552 |    56541      1 |     7688 |        0
62.58/62.68	c 60.3s |      14 |   221456 |    74452 |    56541      1 |     7688 |        0
64.68/64.73	c 62.4s |      14 |   227319 |    78252 |    56541      1 |     7688 |        0
66.78/66.80	c 64.5s |      14 |   230403 |    80652 |    56541      1 |     7688 |        0
68.78/68.84	c 66.5s |      14 |   233363 |    82952 |    56541      1 |     7688 |        0
70.88/70.92	c 68.6s |      14 |   236417 |    85452 |    56541      1 |     7688 |        0
72.88/72.93	c 70.6s |      15 |   239524 |    87632 |    62196      1 |     7688 |        0
75.18/75.27	c 72.9s |      15 |   245487 |    89532 |    62196      1 |     7694 |        0
77.18/77.29	c 74.9s |      15 |   249645 |    91132 |    62196      1 |     7717 |        0
79.28/79.31	c 77.0s |      15 |   257659 |    97932 |    62196      1 |     7717 |        0
81.28/81.36	c 79.0s |      15 |   263876 |   102832 |    62196      1 |     7717 |        0
83.28/83.37	c 81.0s |      15 |   267529 |   105632 |    62196      2 |     7717 |        0
85.28/85.37	c 83.0s |      15 |   271795 |   109232 |    62196      2 |     7717 |        0
87.28/87.39	c 85.0s |      15 |   276506 |   113432 |    62196      2 |     7717 |        0
89.38/89.43	c 87.1s |      15 |   280111 |   116432 |    62196      2 |     7717 |        0
91.38/91.46	c 89.1s |      15 |   283072 |   119032 |    62196      2 |     7717 |        0
93.48/93.51	c 91.2s |      15 |   286361 |   121632 |    62196      2 |     7717 |        0
95.47/95.51	c 93.2s |      15 |   289320 |   123832 |    62196      2 |     7717 |        0
97.57/97.69	c 95.4s |      15 |   291328 |   125432 |    62196      2 |     7717 |        0
99.77/99.81	c 97.5s |      15 |   292639 |   126432 |    62196      2 |     7717 |        0
101.77/101.87	c 99.5s |      15 |   295206 |   128532 |    62196      2 |     7717 |        0
103.77/103.89	c  101s |      15 |   297206 |   130132 |    62196      2 |     7717 |        0
105.87/105.94	c  103s |      15 |   298516 |   131332 |    68416      2 |     7717 |        0
106.17/106.24	c  103s |      16 |   298779 |   131552 |    68416      2 |     7717 |        0
108.17/108.26	c  105s |      16 |   307224 |   137852 |    68416      2 |     7717 |        0
110.17/110.27	c  107s |      16 |   313905 |   143152 |    68416      2 |     7717 |        0
112.18/112.29	c  109s |      16 |   318810 |   146852 |    68416      3 |     7717 |        0
114.27/114.32	c  111s |      16 |   325153 |   149352 |    68416      3 |     7717 |        0
117.48/117.58	c  115s |      16 |   325515 |   149452 |    68416      3 |     7717 |        0
119.57/119.63	c  117s |      16 |   340821 |   154952 |    68416      3 |     7717 |        0
121.57/121.63	c  119s |      16 |   351630 |   158952 |    68416      3 |     7717 |        0
123.57/123.65	c  121s |      16 |   361546 |   162952 |    68416      3 |     7717 |        0
125.67/125.70	c  123s |      16 |   374946 |   167352 |    68416      3 |     7717 |        0
127.68/127.74	c  125s |      16 |   384898 |   170652 |    68416      3 |     7717 |        0
129.78/129.81	c  127s |      16 |   394136 |   173952 |    68416      3 |     7717 |        0
132.27/132.32	c  129s |      16 |   400810 |   176152 |    68416      3 |     7722 |        0
134.28/134.33	c  131s |      16 |   410310 |   179652 |    68416      3 |     7722 |        0
136.27/136.39	c  134s |      16 |   420198 |   183352 |    68416      3 |     7722 |        0
138.37/138.43	c  136s |      16 |   426427 |   186252 |    68416      4 |     7722 |        0
140.37/140.45	c  138s |      16 |   433125 |   189252 |    68416      4 |     7722 |        0
142.37/142.49	c  140s |      16 |   439003 |   193552 |    68416      4 |     7722 |        0
144.08/144.12	c  141s |      17 |   443692 |   197432 |    75258      4 |     7722 |        0
146.87/146.95	c  144s |      17 |   454432 |   199532 |    75258      4 |     7732 |        0
155.97/156.07	c  153s |      17 |   454849 |   199732 |    75258      4 |     7732 |        0
158.16/158.27	c  155s |      17 |   457769 |   201532 |    75258      4 |     7732 |        0
160.26/160.32	c  157s |      17 |   463394 |   205632 |    75258      4 |     7732 |        0
162.26/162.34	c  159s |      17 |   470561 |   209232 |    75258      4 |     7732 |        0
164.26/164.34	c  162s |      17 |   477949 |   212832 |    75258      4 |     7732 |        0
166.36/166.41	c  164s |      17 |   483765 |   215632 |    75258      4 |     7732 |        0
168.37/168.42	c  166s |      17 |   488876 |   218332 |    75258      4 |     7732 |        0
170.36/170.45	c  168s |      17 |   493929 |   220632 |    75258      4 |     7732 |        0
172.46/172.52	c  170s |      17 |   498761 |   222632 |    75258      4 |     7732 |        0
174.46/174.58	c  172s |      17 |   502455 |   224232 |    75258      4 |     7732 |        0
176.56/176.69	c  174s |      17 |   506298 |   226332 |    75258      4 |     7732 |        0
178.66/178.71	c  176s |      17 |   510185 |   228232 |    75258      4 |     7732 |        0
180.76/180.86	c  178s |      17 |   513691 |   229932 |    75258      5 |     7732 |        0
182.86/182.98	c  180s |      17 |   517207 |   231532 |    75258      5 |     7732 |        0
185.06/185.19	c  182s |      17 |   520578 |   233032 |    75258      5 |     7732 |        0
187.16/187.21	c  184s |      17 |   524030 |   234732 |    75258      5 |     7732 |        0
189.17/189.24	c  186s |      17 |   527285 |   236532 |    75258      5 |     7732 |        0
191.26/191.36	c  189s |      17 |   530627 |   238132 |    75258      5 |     7732 |        0
193.36/193.43	c  191s |      17 |   534077 |   239732 |    75258      5 |     7732 |        0
195.36/195.43	c  193s |      17 |   537447 |   241232 |    75258      5 |     7732 |        0
197.36/197.49	c  195s |      17 |   540374 |   242332 |    75258      5 |     7732 |        0
199.46/199.58	c  197s |      17 |   543112 |   243732 |    75258      5 |     7732 |        0
201.56/201.68	c  199s |      17 |   545520 |   244932 |    75258      5 |     7732 |        0
203.66/203.75	c  201s |      17 |   548097 |   246132 |    75258      5 |     7732 |        0
205.76/205.86	c  203s |      17 |   550613 |   247432 |    75258      5 |     7732 |        0
207.86/207.99	c  205s |      17 |   553140 |   248532 |    75258      5 |     7732 |        0
210.06/210.11	c  207s |      17 |   555642 |   249632 |    75258      5 |     7732 |        0
212.06/212.16	c  209s |      17 |   557902 |   250532 |    75258      5 |     7732 |        0
214.16/214.25	c  211s |      17 |   560135 |   251732 |    75258      5 |     7732 |        0
216.16/216.28	c  213s |      17 |   562233 |   252832 |    75258      5 |     7732 |        0
218.25/218.32	c  215s |      17 |   564845 |   254532 |    75258      5 |     7732 |        0
220.25/220.34	c  218s |      17 |   567174 |   255532 |    75258      5 |     7732 |        0
222.35/222.40	c  220s |      17 |   569210 |   256532 |    75258      5 |     7732 |        0
224.55/224.63	c  222s |      17 |   571633 |   257632 |    75258      5 |     7732 |        0
226.66/226.78	c  224s |      17 |   573289 |   258632 |    75258      5 |     7732 |        0
228.86/228.92	c  226s |      17 |   575511 |   259732 |    75258      5 |     7732 |        0
230.85/231.00	c  228s |      17 |   577380 |   260632 |    75258      5 |     7732 |        0
233.05/233.14	c  230s |      17 |   579253 |   261532 |    75258      5 |     7732 |        0
235.25/235.35	c  233s |      17 |   580922 |   262332 |    75258      5 |     7732 |        0
237.35/237.47	c  235s |      17 |   582717 |   263232 |    75258      5 |     7732 |        0
239.45/239.54	c  237s |      17 |   584554 |   264032 |    75258      5 |     7732 |        0
241.45/241.59	c  239s |      17 |   586323 |   264832 |    75258      5 |     7732 |        0
243.55/243.61	c  241s |      17 |   587824 |   265632 |    75258      5 |     7732 |        0
245.65/245.79	c  243s |      17 |   589514 |   266332 |    75258      5 |     7732 |        0
247.85/247.93	c  245s |      17 |   591223 |   267032 |    75258      5 |     7732 |        0
250.05/250.17	c  247s |      17 |   593131 |   267932 |    75258      5 |     7732 |        0
252.05/252.17	c  249s |      17 |   594299 |   268632 |    75258      5 |     7732 |        0
254.25/254.35	c  252s |      17 |   595436 |   269432 |    75258      5 |     7732 |        0
256.36/256.47	c  254s |      17 |   596865 |   270232 |    75258      5 |     7732 |        0
258.45/258.54	c  256s |      17 |   598036 |   270932 |    75258      6 |     7732 |        0
260.55/260.63	c  258s |      17 |   598415 |   271232 |    75258      6 |     7732 |        0
263.15/263.25	c  260s |      17 |   599870 |   271932 |    75258      6 |     7732 |        0
358.54/358.64	c  356s |      17 |   600044 |   272032 |    75258      6 |     7732 |        0
360.63/360.70	c  358s |      17 |   602497 |   273232 |    75258      6 |     7732 |        0
362.73/362.85	c  360s |      17 |   604959 |   274632 |    75258      6 |     7732 |        0
364.83/364.95	c  362s |      17 |   607427 |   276032 |    75258      6 |     7732 |        0
366.93/367.05	c  364s |      17 |   610298 |   277432 |    75258      6 |     7732 |        0
369.03/369.16	c  366s |      17 |   612948 |   278732 |    75258      6 |     7732 |        0
371.03/371.16	c  368s |      17 |   615693 |   280132 |    75258      6 |     7733 |        0
373.13/373.20	c  370s |      17 |   624396 |   283632 |    75258      6 |     7733 |        0
375.13/375.24	c  372s |      17 |   632480 |   287232 |    75258      6 |     7733 |        0
377.13/377.30	c  374s |      17 |   639560 |   290632 |    75258      6 |     7733 |        0
379.24/379.34	c  377s |      17 |   646182 |   293432 |    75258      6 |     7733 |        0
381.24/381.35	c  379s |      18 |   651676 |   296252 |    82784      6 |     7733 |        0
383.23/383.37	c  381s |      18 |   657057 |   298652 |    82784      6 |     7733 |        0
385.33/385.41	c  383s |      18 |   663034 |   301252 |    82784      6 |     7733 |        0
387.33/387.43	c  385s |      18 |   667999 |   303752 |    82784      6 |     7733 |        0
389.34/389.50	c  387s |      18 |   672457 |   306252 |    82784      6 |     7733 |        0
391.43/391.55	c  389s |      18 |   677107 |   308552 |    82784      6 |     7733 |        0
393.43/393.59	c  391s |      18 |   681338 |   310652 |    82784      6 |     7733 |        0
395.53/395.68	c  393s |      18 |   685878 |   312852 |    82784      6 |     7733 |        0
397.63/397.73	c  395s |      18 |   689660 |   314952 |    82784      6 |     7733 |        0
399.73/399.86	c  397s |      18 |   693078 |   316852 |    82784      6 |     7733 |        0
401.82/401.94	c  399s |      18 |   697122 |   318652 |    82784      6 |     7733 |        0
403.92/404.00	c  401s |      18 |   700340 |   320252 |    82784      7 |     7733 |        0
406.02/406.10	c  403s |      18 |   703359 |   322152 |    82784      7 |     7733 |        0
408.03/408.15	c  405s |      18 |   705720 |   323652 |    82784      7 |     7733 |        0
410.23/410.30	c  407s |      18 |   709537 |   325152 |    82784      7 |     7733 |        0
412.32/412.43	c  410s |      18 |   712885 |   326452 |    82784      7 |     7733 |        0
414.62/414.78	c  412s |      18 |   715662 |   327652 |    82784      7 |     7733 |        0
416.72/416.81	c  414s |      18 |   719175 |   329452 |    82784      7 |     7733 |        0
418.72/418.87	c  416s |      18 |   722320 |   331052 |    82784      7 |     7733 |        0
420.82/420.96	c  418s |      18 |   725423 |   332552 |    82784      7 |     7733 |        0
423.01/423.11	c  420s |      18 |   729016 |   334052 |    82784      7 |     7733 |        0
425.01/425.17	c  422s |      18 |   732171 |   335752 |    82784      7 |     7733 |        0
427.11/427.20	c  424s |      18 |   734966 |   337052 |    82784      7 |     7733 |        0
429.11/429.21	c  426s |      18 |   738214 |   338152 |    82784      7 |     7733 |        0
431.22/431.33	c  428s |      18 |   741927 |   339552 |    82784      7 |     7733 |        0
433.21/433.39	c  431s |      18 |   744848 |   340952 |    82784      7 |     7733 |        0
435.31/435.44	c  433s |      18 |   747226 |   342352 |    82784      7 |     7733 |        0
437.41/437.58	c  435s |      18 |   750250 |   343852 |    82784      7 |     7733 |        0
439.51/439.66	c  437s |      18 |   753350 |   345352 |    82784      7 |     7733 |        0
441.61/441.70	c  439s |      18 |   755387 |   346752 |    82784      7 |     7733 |        0
443.60/443.75	c  441s |      18 |   757656 |   348252 |    82784      7 |     7733 |        0
445.70/445.87	c  443s |      18 |   760014 |   349552 |    82784      7 |     7733 |        0
447.80/447.97	c  445s |      18 |   762776 |   350652 |    82784      7 |     7733 |        0
449.91/450.04	c  447s |      18 |   765616 |   351752 |    82784      7 |     7733 |        0
452.01/452.12	c  449s |      18 |   768452 |   352952 |    82784      7 |     7733 |        0
454.21/454.40	c  452s |      18 |   769821 |   353652 |    82784      7 |     7733 |        0
456.30/456.47	c  454s |      18 |   771369 |   354452 |    82784      7 |     7733 |        0
458.40/458.51	c  456s |      18 |   773848 |   355452 |    82784      7 |     7733 |        0
460.50/460.60	c  458s |      18 |   777003 |   356652 |    82784      7 |     7733 |        0
462.50/462.67	c  460s |      18 |   779681 |   357852 |    82784      7 |     7733 |        0
464.80/464.95	c  462s |      18 |   781545 |   359152 |    82784      7 |     7733 |        0
466.90/467.03	c  464s |      18 |   782326 |   359652 |    82784      7 |     7733 |        0
469.40/469.53	c  467s |      18 |   783352 |   360252 |    82784      7 |     7733 |        0
471.50/471.64	c  469s |      18 |   785017 |   361252 |    82784      7 |     7733 |        0
473.59/473.75	c  471s |      18 |   787114 |   362052 |    82784      7 |     7733 |        0
475.69/475.84	c  473s |      18 |   789529 |   363052 |    82784      7 |     7733 |        0
477.69/477.87	c  475s |      18 |   791645 |   363952 |    82784      7 |     7733 |        0
481.99/482.17	c  479s |      18 |   793446 |   364752 |    82784      8 |     7733 |        0
484.69/484.83	c  482s |      18 |   793981 |   364952 |    82784      8 |     7733 |        0
486.69/486.88	c  484s |      18 |   796903 |   366352 |    82784      8 |     7733 |        0
488.79/488.99	c  486s |      18 |   800552 |   367952 |    82784      8 |     7733 |        0
490.89/491.00	c  488s |      18 |   803742 |   369452 |    82784      8 |     7733 |        0
492.89/493.07	c  490s |      18 |   806740 |   370752 |    82784      8 |     7733 |        0
494.99/495.15	c  492s |      18 |   809947 |   372052 |    82784      8 |     7733 |        0
496.98/497.20	c  494s |      18 |   812820 |   373452 |    82784      8 |     7733 |        0
499.18/499.35	c  497s |      18 |   815916 |   375252 |    82784      8 |     7733 |        0
501.28/501.47	c  499s |      18 |   818796 |   376552 |    82784      8 |     7733 |        0
503.28/503.49	c  501s |      18 |   821987 |   377852 |    82784      8 |     7733 |        0
505.48/505.61	c  503s |      18 |   824773 |   379152 |    82784      8 |     7733 |        0
507.48/507.68	c  505s |      18 |   827444 |   380552 |    82784      8 |     7733 |        0
509.68/509.86	c  507s |      18 |   830027 |   381852 |    82784      8 |     7733 |        0
511.78/511.90	c  509s |      18 |   832949 |   383152 |    82784      8 |     7733 |        0
513.78/513.94	c  511s |      18 |   834740 |   384052 |    82784      8 |     7733 |        0
515.89/516.05	c  513s |      18 |   837494 |   385352 |    82784      8 |     7733 |        0
517.88/518.05	c  515s |      18 |   840267 |   386652 |    82784      8 |     7733 |        0
519.98/520.19	c  517s |      18 |   842371 |   387752 |    82784      8 |     7733 |        0
522.18/522.37	c  520s |      18 |   844438 |   388752 |    82784      8 |     7733 |        0
524.28/524.44	c  522s |      18 |   846833 |   389852 |    82784      8 |     7733 |        0
526.38/526.54	c  524s |      18 |   849007 |   391052 |    82784      8 |     7733 |        0
528.38/528.55	c  526s |      18 |   850641 |   392252 |    82784      8 |     7733 |        0
530.68/530.82	c  528s |      18 |   852231 |   393152 |    82784      8 |     7733 |        0
532.97/533.10	c  530s |      18 |   854540 |   394052 |    82784      8 |     7733 |        0
535.17/535.32	c  532s |      18 |   856853 |   395152 |    82784      8 |     7733 |        0
537.27/537.41	c  535s |      18 |   859295 |   396252 |    82784      8 |     7733 |        0
539.37/539.51	c  537s |      18 |   861997 |   397552 |    82784      8 |     7733 |        0
541.47/541.61	c  539s |      18 |   864293 |   398852 |    82784      8 |     7733 |        0
543.47/543.64	c  541s |      18 |   867463 |   400152 |    82784      8 |     7733 |        0
545.57/545.77	c  543s |      18 |   869803 |   401252 |    82784      8 |     7733 |        0
547.77/547.98	c  545s |      18 |   872213 |   402452 |    82784      8 |     7733 |        0
549.87/550.08	c  547s |      18 |   874698 |   403652 |    82784      8 |     7733 |        0
552.07/552.25	c  549s |      18 |   877178 |   405152 |    82784      8 |     7733 |        0
554.27/554.46	c  552s |      18 |   879221 |   406152 |    82784      8 |     7733 |        0
556.36/556.55	c  554s |      18 |   881561 |   407252 |    82784      8 |     7733 |        0
558.46/558.68	c  556s |      18 |   883198 |   408052 |    82784      8 |     7733 |        0
560.56/560.70	c  558s |      18 |   885346 |   409152 |    82784      8 |     7733 |        0
567.85/568.07	c  565s |      18 |   887291 |   410052 |    82784      9 |     7733 |        0
571.36/571.52	c  569s |      18 |   889544 |   411052 |    82784      9 |     7733 |        0
573.36/573.52	c  571s |      18 |   893335 |   412552 |    82784      9 |     7733 |        0
575.36/575.55	c  573s |      18 |   896977 |   414352 |    82784      9 |     7733 |        0
577.47/577.63	c  575s |      18 |   900752 |   416252 |    82784      9 |     7733 |        0
579.46/579.67	c  577s |      18 |   903981 |   417952 |    82784      9 |     7733 |        0
581.56/581.79	c  579s |      18 |   907026 |   419552 |    82784      9 |     7733 |        0
583.76/583.97	c  581s |      18 |   910155 |   421052 |    82784      9 |     7733 |        0
594.86/595.00	c  592s |      18 |   911408 |   421752 |    82784      9 |     7733 |        0
596.86/597.02	c  594s |      18 |   914955 |   423252 |    82784      9 |     7733 |        0
598.96/599.16	c  596s |      18 |   918663 |   424952 |    82784      9 |     7733 |        0
604.05/604.25	c  601s |      18 |   920987 |   425752 |    82784      9 |     7733 |        0
606.15/606.37	c  604s |      18 |   923733 |   427152 |    82784      9 |     7733 |        0
608.26/608.42	c  606s |      18 |   926641 |   428352 |    82784      9 |     7733 |        0
610.35/610.56	c  608s |      18 |   929683 |   429452 |    82784      9 |     7733 |        0
612.45/612.69	c  610s |      18 |   933084 |   430852 |    82784      9 |     7733 |        0
614.55/614.77	c  612s |      18 |   936134 |   432152 |    82784      9 |     7733 |        0
616.65/616.85	c  614s |      18 |   939120 |   433452 |    82784      9 |     7733 |        0
618.75/618.95	c  616s |      18 |   942491 |   434952 |    82784      9 |     7733 |        0
620.84/621.05	c  618s |      18 |   945748 |   436252 |    82784      9 |     7733 |        0
622.84/623.06	c  620s |      18 |   948425 |   437352 |    82784      9 |     7733 |        0
624.94/625.14	c  622s |      18 |   951207 |   438652 |    82784      9 |     7733 |        0
627.04/627.28	c  624s |      18 |   952942 |   439752 |    82784      9 |     7733 |        0
629.15/629.32	c  626s |      18 |   953934 |   440452 |    82784      9 |     7733 |        0
631.14/631.33	c  628s |      18 |   955194 |   441252 |    82784      9 |     7733 |        0
633.24/633.49	c  631s |      18 |   957952 |   442552 |    91063      9 |     7733 |        0
635.44/635.60	c  633s |      18 |   960361 |   443552 |    91063      9 |     7733 |        0
637.14/637.33	c  634s |      19 |   962254 |   444482 |    91063      9 |     7733 |        0
639.14/639.36	c  637s |      19 |   964341 |   445282 |    91063      9 |     7733 |        0
641.24/641.43	c  639s |      19 |   966026 |   446082 |    91063      9 |     7733 |        0
643.34/643.59	c  641s |      19 |   968373 |   447082 |    91063      9 |     7733 |        0
645.54/645.75	c  643s |      19 |   971274 |   448282 |    91063      9 |     7733 |        0
647.63/647.87	c  645s |      19 |   973260 |   449482 |    91063      9 |     7733 |        0
649.63/649.88	c  647s |      19 |   975018 |   450382 |    91063      9 |     7733 |        0
651.73/651.90	c  649s |      19 |   977554 |   451282 |    91063      9 |     7733 |        0
654.13/654.36	c  652s |      19 |   979943 |   452182 |    91063      9 |     7733 |        0
656.34/656.52	c  654s |      19 |   982480 |   453182 |    91063      9 |     7733 |        0
658.54/658.72	c  656s |      19 |   983783 |   453882 |    91063      9 |     7733 |        0
660.64/660.84	c  658s |      19 |   985804 |   454782 |    91063      9 |     7733 |        0
662.74/662.95	c  660s |      19 |   987318 |   455482 |    91063      9 |     7733 |        0
664.94/665.14	c  662s |      19 |   989072 |   456382 |    91063      9 |     7733 |        0
667.04/667.23	c  664s |      19 |   991688 |   457482 |    91063      9 |     7733 |        0
669.04/669.29	c  666s |      19 |   993999 |   458382 |    91063      9 |     7733 |        0
671.14/671.37	c  669s |      19 |   995938 |   459282 |    91063      9 |     7733 |        0
673.23/673.48	c  671s |      19 |   998177 |   460282 |    91063      9 |     7733 |        0
675.34/675.54	c  673s |      19 |  1000292 |   461282 |    91063      9 |     7733 |        0
677.44/677.61	c  675s |      19 |  1001810 |   462082 |    91063      9 |     7733 |        0
679.53/679.70	c  677s |      19 |  1003306 |   462782 |    91063      9 |     7733 |        0
681.53/681.73	c  679s |      19 |  1005165 |   463482 |    91063      9 |     7733 |        0
683.53/683.77	c  681s |      19 |  1005966 |   463882 |    91063     10 |     7733 |        0
693.32/693.59	c  691s |      19 |  1006285 |   464082 |    91063     10 |     7733 |        0
696.62/696.85	c  694s |      19 |  1008627 |   465482 |    91063     10 |     7733 |        0
704.33/704.52	c  702s |      19 |  1009510 |   465982 |    91063     10 |     7733 |        0
706.32/706.53	c  704s |      19 |  1010283 |   466382 |    91063     10 |     7733 |        0
708.42/708.63	c  706s |      19 |  1013274 |   467682 |    91063     10 |     7733 |        0
710.43/710.68	c  708s |      19 |  1016308 |   469082 |    91063     10 |     7733 |        0
712.42/712.68	c  710s |      19 |  1019234 |   470382 |    91063     10 |     7733 |        0
714.52/714.76	c  712s |      19 |  1022346 |   471782 |    91063     10 |     7733 |        0
716.62/716.83	c  714s |      19 |  1025281 |   473182 |    91063     10 |     7733 |        0
718.72/718.96	c  716s |      19 |  1029164 |   474682 |    91063     10 |     7733 |        0
720.72/720.99	c  718s |      19 |  1031149 |   475582 |    91063     10 |     7733 |        0
722.82/723.02	c  720s |      19 |  1033959 |   476982 |    91063     10 |     7733 |        0
724.82/725.06	c  722s |      19 |  1036229 |   478082 |    91063     10 |     7733 |        0
726.92/727.13	c  724s |      19 |  1039068 |   479482 |    91063     10 |     7733 |        0
728.91/729.17	c  726s |      19 |  1041865 |   480682 |    91063     10 |     7733 |        0
731.21/731.47	c  729s |      19 |  1044236 |   481782 |    91063     10 |     7733 |        0
733.31/733.54	c  731s |      19 |  1046182 |   482482 |    91063     10 |     7733 |        0
735.31/735.55	c  733s |      19 |  1048307 |   483282 |    91063     10 |     7733 |        0
737.41/737.68	c  735s |      19 |  1050503 |   484382 |    91063     10 |     7733 |        0
739.51/739.70	c  737s |      19 |  1052671 |   485482 |    91063     10 |     7733 |        0
741.51/741.75	c  739s |      19 |  1055110 |   486582 |    91063     10 |     7733 |        0
743.61/743.85	c  741s |      19 |  1057560 |   487882 |    91063     10 |     7733 |        0
745.61/745.86	c  743s |      19 |  1059580 |   488882 |    91063     10 |     7733 |        0
747.71/747.95	c  745s |      19 |  1061470 |   489782 |    91063     10 |     7733 |        0
749.81/750.09	c  747s |      19 |  1062739 |   490782 |    91063     10 |     7733 |        0
752.01/752.22	c  749s |      19 |  1064661 |   492182 |    91063     10 |     7733 |        0
754.00/754.23	c  751s |      19 |  1066862 |   493382 |    91063     10 |     7733 |        0
756.10/756.35	c  754s |      19 |  1068931 |   494682 |    91063     10 |     7733 |        0
758.20/758.41	c  756s |      19 |  1071074 |   495882 |    91063     10 |     7733 |        0
760.30/760.51	c  758s |      19 |  1072717 |   496882 |    91063     10 |     7733 |        0
762.40/762.63	c  760s |      19 |  1074424 |   498082 |    91063     10 |     7733 |        0
764.50/764.74	c  762s |      19 |  1075950 |   498982 |    91063     10 |     7733 |        0
766.51/766.77	c  764s |      19 |  1076804 |   499682 |    91063     10 |     7733 |        0
768.60/768.90	c  766s |      19 |  1078014 |   500382 |    91063     10 |     7733 |        0
770.91/771.10	c  768s |      19 |  1079445 |   501182 |    91063     10 |     7733 |        0
772.90/773.18	c  770s |      19 |  1081381 |   501982 |    91063     10 |     7733 |        0
775.00/775.27	c  772s |      19 |  1082733 |   502782 |    91063     10 |     7733 |        0
777.00/777.28	c  774s |      19 |  1083973 |   503582 |    91063     10 |     7733 |        0
779.10/779.33	c  776s |      19 |  1085137 |   504382 |    91063     10 |     7733 |        0
781.30/781.50	c  779s |      19 |  1086265 |   504982 |    91063     10 |     7733 |        0
783.40/783.65	c  781s |      19 |  1087776 |   505682 |    91063     10 |     7733 |        0
785.40/785.68	c  783s |      19 |  1089014 |   506282 |    91063     10 |     7733 |        0
787.50/787.79	c  785s |      19 |  1090137 |   506982 |    91063     10 |     7733 |        0
789.70/789.99	c  787s |      19 |  1091654 |   507882 |    91063     10 |     7733 |        0
791.80/792.08	c  789s |      19 |  1092937 |   508682 |    91063     10 |     7733 |        0
793.89/794.11	c  791s |      19 |  1094505 |   509582 |    91063     10 |     7733 |        0
795.89/796.13	c  793s |      19 |  1095980 |   510482 |    91063     10 |     7733 |        0
798.29/798.54	c  796s |      19 |  1096753 |   511182 |    91063     10 |     7733 |        0
800.39/800.64	c  798s |      19 |  1098170 |   511982 |    91063     10 |     7733 |        0
802.39/802.66	c  800s |      19 |  1099531 |   512782 |    91063     10 |     7733 |        0
807.59/807.82	c  805s |      19 |  1100115 |   513082 |    91063     11 |     7733 |        0
809.69/809.95	c  807s |      19 |  1100986 |   513582 |    91063     11 |     7733 |        0
811.79/812.05	c  809s |      19 |  1103668 |   515082 |    91063     11 |     7733 |        0
814.40/814.67	c  812s |      19 |  1104797 |   515782 |    91063     11 |     7733 |        0
816.59/816.82	c  814s |      19 |  1107320 |   516882 |    91063     11 |     7733 |        0
818.59/818.86	c  816s |      19 |  1109312 |   517982 |    91063     11 |     7733 |        0
820.69/820.99	c  818s |      19 |  1111333 |   519182 |    91063     11 |     7733 |        0
822.79/823.06	c  820s |      19 |  1113158 |   520182 |    91063     11 |     7733 |        0
824.90/825.13	c  822s |      19 |  1114362 |   520982 |    91063     11 |     7733 |        0
827.00/827.26	c  824s |      19 |  1116574 |   522182 |    91063     11 |     7733 |        0
829.19/829.45	c  827s |      19 |  1118566 |   523182 |    91063     11 |     7733 |        0
831.19/831.45	c  829s |      19 |  1120657 |   524382 |    91063     11 |     7733 |        0
833.18/833.48	c  831s |      19 |  1122726 |   525482 |    91063     11 |     7733 |        0
835.38/835.60	c  833s |      19 |  1124716 |   526482 |    91063     11 |     7733 |        0
837.48/837.73	c  835s |      19 |  1127100 |   527482 |    91063     11 |     7733 |        0
839.58/839.89	c  837s |      19 |  1129250 |   528382 |    91063     11 |     7733 |        0
841.68/841.92	c  839s |      19 |  1131402 |   529182 |    91063     11 |     7733 |        0
843.78/844.04	c  841s |      19 |  1132702 |   530082 |    91063     11 |     7733 |        0
845.98/846.20	c  843s |      19 |  1134391 |   531082 |    91063     11 |     7733 |        0
848.08/848.31	c  845s |      19 |  1136488 |   532082 |    91063     11 |     7733 |        0
850.19/850.44	c  848s |      19 |  1138529 |   532982 |    91063     11 |     7733 |        0
852.18/852.47	c  850s |      19 |  1140592 |   533982 |    91063     11 |     7733 |        0
854.28/854.59	c  852s |      19 |  1142759 |   535082 |    91063     11 |     7733 |        0
856.68/856.94	c  854s |      19 |  1144522 |   535882 |    91063     11 |     7733 |        0
858.68/858.99	c  856s |      19 |  1146770 |   536782 |    91063     11 |     7733 |        0
860.88/861.18	c  858s |      19 |  1148682 |   537682 |    91063     11 |     7733 |        0
863.08/863.34	c  860s |      19 |  1150365 |   538682 |    91063     11 |     7733 |        0
865.28/865.55	c  863s |      19 |  1151607 |   539482 |    91063     11 |     7733 |        0
867.38/867.62	c  865s |      19 |  1153101 |   540182 |    91063     11 |     7733 |        0
869.57/869.85	c  867s |      19 |  1155264 |   541082 |    91063     11 |     7733 |        0
871.67/871.97	c  869s |      19 |  1157340 |   541982 |    91063     11 |     7733 |        0
873.97/874.20	c  871s |      19 |  1159560 |   542982 |    91063     11 |     7733 |        0
875.97/876.24	c  873s |      19 |  1161357 |   543782 |    91063     11 |     7733 |        0
878.47/878.70	c  876s |      19 |  1163289 |   544582 |    91063     11 |     7733 |        0
880.47/880.78	c  878s |      19 |  1164412 |   545382 |    91063     11 |     7733 |        0
882.67/882.92	c  880s |      19 |  1165754 |   545982 |    91063     11 |     7733 |        0
884.67/884.98	c  882s |      19 |  1168230 |   546782 |    91063     11 |     7733 |        0
886.77/887.06	c  884s |      19 |  1170191 |   547582 |    91063     11 |     7733 |        0
888.87/889.13	c  886s |      19 |  1172406 |   548382 |    91063     11 |     7733 |        0
891.07/891.32	c  888s |      19 |  1174523 |   549182 |    91063     11 |     7733 |        0
893.07/893.32	c  890s |      19 |  1176389 |   549982 |    91063     11 |     7733 |        0
895.06/895.38	c  893s |      19 |  1177814 |   550782 |    91063     11 |     7733 |        0
897.16/897.43	c  895s |      19 |  1179880 |   551482 |    91063     11 |     7733 |        0
900.36/900.65	c  898s |      19 |  1181637 |   551982 |    91063     11 |     7755 |        0
902.36/902.68	c  900s |      19 |  1186687 |   556082 |    91063     11 |     7759 |        0
904.46/904.72	c  902s |      19 |  1191754 |   560782 |    91063     11 |     7759 |        0
906.46/906.75	c  904s |      19 |  1196473 |   564482 |    91063     12 |     7759 |        0
908.47/908.78	c  906s |      19 |  1200250 |   567882 |    91063     12 |     7759 |        0
910.57/910.86	c  908s |      19 |  1203289 |   570782 |    91063     12 |     7759 |        0
912.66/912.92	c  910s |      19 |  1205845 |   573182 |    91063     12 |     7759 |        0
914.66/914.98	c  912s |      19 |  1208046 |   575282 |    91063     12 |     7759 |        0
916.66/916.98	c  914s |      19 |  1210003 |   577182 |    91063     12 |     7759 |        0
918.76/919.04	c  916s |      19 |  1211999 |   579082 |    91063     12 |     7759 |        0
920.76/921.04	c  918s |      19 |  1213674 |   580682 |    91063     12 |     7759 |        0
922.85/923.10	c  920s |      19 |  1215255 |   582182 |    91063     12 |     7759 |        0
924.86/925.19	c  922s |      19 |  1216931 |   583782 |    91063     12 |     7759 |        0
927.06/927.34	c  925s |      19 |  1218621 |   585382 |    91063     12 |     7759 |        0
929.15/929.45	c  927s |      19 |  1220048 |   586682 |    91063     12 |     7759 |        0
931.25/931.58	c  929s |      19 |  1221241 |   587782 |    91063     12 |     7759 |        0
933.35/933.61	c  931s |      19 |  1222538 |   588982 |    91063     12 |     7759 |        0
935.45/935.78	c  933s |      19 |  1223813 |   590182 |    91063     12 |     7759 |        0
937.55/937.85	c  935s |      19 |  1225067 |   591382 |    91063     12 |     7759 |        0
939.55/939.87	c  937s |      19 |  1226228 |   592482 |    91063     12 |     7759 |        0
941.75/942.02	c  939s |      19 |  1227383 |   593582 |    91063     12 |     7759 |        0
943.84/944.12	c  941s |      19 |  1228417 |   594582 |    91063     12 |     7759 |        0
945.94/946.27	c  943s |      19 |  1229439 |   595582 |    91063     12 |     7759 |        0
947.95/948.29	c  945s |      19 |  1230290 |   596382 |    91063     12 |     7759 |        0
950.15/950.46	c  948s |      19 |  1231341 |   597382 |    91063     12 |     7759 |        0
952.24/952.50	c  950s |      19 |  1232382 |   598382 |    91063     12 |     7759 |        0
954.24/954.57	c  952s |      19 |  1233499 |   599482 |    91063     12 |     7759 |        0
956.34/956.63	c  954s |      19 |  1234635 |   600582 |    91063     12 |     7759 |        0
958.44/958.76	c  956s |      19 |  1235554 |   601482 |    91063     12 |     7759 |        0
960.64/960.94	c  958s |      19 |  1236618 |   602482 |    91063     12 |     7759 |        0
962.73/963.04	c  960s |      19 |  1237731 |   603482 |    91063     12 |     7759 |        0
964.73/965.05	c  962s |      19 |  1238926 |   604582 |    91063     12 |     7759 |        0
966.83/967.11	c  964s |      19 |  1240109 |   605682 |    91063     12 |     7759 |        0
968.94/969.27	c  966s |      19 |  1241130 |   606682 |    91063     12 |     7759 |        0
971.04/971.39	c  969s |      19 |  1242191 |   607682 |    91063     12 |     7759 |        0
973.13/973.41	c  971s |      19 |  1243126 |   608582 |    91063     12 |     7759 |        0
975.23/975.56	c  973s |      19 |  1244078 |   609482 |    91063     12 |     7759 |        0
977.43/977.77	c  975s |      19 |  1245022 |   610382 |    91063     12 |     7759 |        0
979.63/979.90	c  977s |      19 |  1245815 |   611082 |    91063     12 |     7759 |        0
981.83/982.13	c  979s |      19 |  1246776 |   611982 |    91063     12 |     7759 |        0
984.12/984.49	c  982s |      19 |  1247534 |   612682 |    91063     13 |     7759 |        0
986.43/986.77	c  984s |      19 |  1248461 |   613582 |    91063     13 |     7759 |        0
988.63/988.99	c  986s |      19 |  1249081 |   614182 |    91063     13 |     7759 |        0
990.73/991.00	c  988s |      19 |  1250065 |   615082 |    91063     13 |     7759 |        0
992.73/993.06	c  990s |      19 |  1251209 |   616182 |    91063     13 |     7759 |        0
994.82/995.13	c  992s |      19 |  1251823 |   616682 |    91063     13 |     7759 |        0
996.92/997.24	c  994s |      19 |  1252368 |   617182 |    91063     13 |     7759 |        0
999.02/999.31	c  996s |      19 |  1253300 |   618082 |    91063     13 |     7759 |        0
1001.12/1001.43	c  999s |      19 |  1254363 |   619082 |    91063     13 |     7759 |        0
1003.32/1003.63	c 1001s |      19 |  1255348 |   619982 |    91063     13 |     7759 |        0
1005.42/1005.72	c 1003s |      19 |  1256370 |   620982 |    91063     13 |     7759 |        0
1008.82/1009.19	c 1006s |      19 |  1256677 |   621282 |    91063     13 |     7759 |        0
1011.22/1011.59	c 1009s |      19 |  1257517 |   621982 |    91063     13 |     7759 |        0
1013.42/1013.76	c 1011s |      19 |  1258378 |   622782 |    91063     13 |     7759 |        0
1015.52/1015.80	c 1013s |      19 |  1259214 |   623582 |    91063     13 |     7759 |        0
1017.52/1017.84	c 1015s |      19 |  1260164 |   624482 |    91063     13 |     7759 |        0
1019.72/1020.03	c 1017s |      19 |  1261017 |   625282 |    91063     13 |     7759 |        0
1021.92/1022.23	c 1019s |      19 |  1261951 |   626182 |    91063     13 |     7759 |        0
1024.12/1024.40	c 1022s |      19 |  1262817 |   626982 |    91063     13 |     7759 |        0
1026.32/1026.63	c 1024s |      19 |  1263658 |   627782 |    91063     13 |     7759 |        0
1028.52/1028.80	c 1026s |      19 |  1264524 |   628582 |    91063     13 |     7759 |        0
1030.72/1031.03	c 1028s |      19 |  1265362 |   629382 |    91063     13 |     7759 |        0
1032.82/1033.14	c 1030s |      19 |  1266283 |   630282 |    91063     13 |     7759 |        0
1034.82/1035.14	c 1032s |      19 |  1267101 |   631082 |    91063     13 |     7759 |        0
1036.91/1037.29	c 1034s |      19 |  1267914 |   631882 |    91063     13 |     7759 |        0
1039.01/1039.30	c 1036s |      19 |  1268534 |   632482 |    91063     13 |     7759 |        0
1041.01/1041.35	c 1039s |      19 |  1269148 |   633082 |    91063     13 |     7759 |        0
1043.21/1043.58	c 1041s |      19 |  1269924 |   633782 |    91063     13 |     7759 |        0
1045.41/1045.72	c 1043s |      19 |  1271217 |   634982 |    91063     13 |     7759 |        0
1047.51/1047.85	c 1045s |      19 |  1272504 |   636182 |    91063     13 |     7759 |        0
1049.51/1049.87	c 1047s |      19 |  1273567 |   637182 |    91063     13 |     7759 |        0
1051.61/1051.96	c 1049s |      19 |  1275068 |   638582 |    91063     13 |     7759 |        0
1053.71/1054.01	c 1051s |      19 |  1276587 |   639982 |    91063     13 |     7759 |        0
1055.72/1056.04	c 1053s |      19 |  1278174 |   641382 |    91063     13 |     7759 |        0
1057.81/1058.18	c 1055s |      19 |  1278914 |   642082 |    91063     13 |     7759 |        0
1059.81/1060.19	c 1057s |      19 |  1279641 |   642782 |    91063     13 |     7759 |        0
1062.01/1062.31	c 1059s |      19 |  1280380 |   643482 |    91063     13 |     7759 |        0
1064.21/1064.58	c 1062s |      19 |  1281008 |   644082 |    91063     13 |     7759 |        0
1066.51/1066.86	c 1064s |      19 |  1281630 |   644682 |    91063     13 |     7759 |        0
1068.51/1068.89	c 1066s |      19 |  1282160 |   645182 |    91063     13 |     7759 |        0
1070.51/1070.89	c 1068s |      19 |  1282678 |   645682 |    91063     13 |     7759 |        0
1072.61/1072.91	c 1070s |      19 |  1283301 |   646282 |    91063     13 |     7759 |        0
1074.71/1075.04	c 1072s |      19 |  1284066 |   646982 |    91063     13 |     7759 |        0
1076.91/1077.23	c 1074s |      19 |  1285371 |   648182 |    91063     13 |     7759 |        0
1079.21/1079.54	c 1077s |      19 |  1286423 |   649182 |    91063     13 |     7759 |        0
1081.31/1081.65	c 1079s |      19 |  1287056 |   649782 |    91063     13 |     7759 |        0
1083.71/1084.01	c 1081s |      19 |  1287679 |   650382 |    91063     13 |     7759 |        0
1086.11/1086.40	c 1084s |      19 |  1288185 |   650882 |    91063     13 |     7759 |        0
1088.11/1088.43	c 1086s |      19 |  1288922 |   651582 |    91063     13 |     7759 |        0
1090.31/1090.63	c 1088s |      19 |  1290237 |   652782 |    91063     13 |     7759 |        0
1092.60/1092.93	c 1090s |      19 |  1291299 |   653782 |    91063     13 |     7759 |        0
1094.70/1095.01	c 1092s |      19 |  1291935 |   654382 |    91063     13 |     7759 |        0
1096.70/1097.01	c 1094s |      19 |  1292453 |   654882 |    91063     13 |     7759 |        0
1099.10/1099.42	c 1097s |      19 |  1292907 |   655282 |    91063     13 |     7759 |        0
1101.40/1101.79	c 1099s |      19 |  1293333 |   655682 |    91063     13 |     7759 |        0
1103.70/1104.07	c 1101s |      19 |  1293763 |   656082 |    91063     13 |     7759 |        0
1105.80/1106.13	c 1103s |      19 |  1294210 |   656482 |    91063     13 |     7759 |        0
1108.10/1108.41	c 1106s |      19 |  1294753 |   656982 |    91063     13 |     7759 |        0
1110.10/1110.43	c 1108s |      19 |  1295196 |   657382 |    91063     13 |     7759 |        0
1112.40/1112.78	c 1110s |      19 |  1295710 |   657882 |    91063     13 |     7759 |        0
1114.60/1114.97	c 1112s |      19 |  1296473 |   658582 |    91063     13 |     7759 |        0
1117.10/1117.41	c 1115s |      19 |  1297354 |   659382 |    91063     13 |     7759 |        0
1119.10/1119.49	c 1117s |      19 |  1297798 |   659782 |    91063     13 |     7759 |        0
1121.50/1121.82	c 1119s |      19 |  1298327 |   660282 |    91063     13 |     7759 |        0
1123.91/1124.22	c 1121s |      19 |  1298855 |   660782 |    91063     13 |     7759 |        0
1125.90/1126.29	c 1123s |      19 |  1299274 |   661182 |    91063     13 |     7759 |        0
1128.00/1128.30	c 1125s |      19 |  1299679 |   661582 |    91063     13 |     7759 |        0
1130.00/1130.38	c 1128s |      19 |  1300189 |   662082 |    91063     13 |     7759 |        0
1132.30/1132.60	c 1130s |      19 |  1300610 |   662482 |   100170     13 |     7759 |        0
1134.30/1134.60	c 1132s |      19 |  1301027 |   662882 |   100170     13 |     7759 |        0
1136.60/1136.96	c 1134s |      19 |  1301547 |   663382 |   100170     13 |     7759 |        0
1138.80/1139.16	c 1136s |      19 |  1302060 |   663882 |   100170     13 |     7759 |        0
1140.90/1141.29	c 1138s |      19 |  1302576 |   664382 |   100170     13 |     7759 |        0
1143.00/1143.34	c 1141s |      19 |  1303021 |   664782 |   100170     13 |     7759 |        0
1145.20/1145.60	c 1143s |      19 |  1303544 |   665282 |   100170     13 |     7759 |        0
1147.40/1147.76	c 1145s |      19 |  1304063 |   665782 |   100170     13 |     7759 |        0
1149.70/1150.05	c 1147s |      19 |  1304592 |   666282 |   100170     13 |     7759 |        0
1152.09/1152.45	c 1150s |      19 |  1305106 |   666782 |   100170     13 |     7759 |        0
1152.39/1152.74	c 1150s |      20 |  1305163 |   666827 |   100170     13 |     7759 |        0
1160.49/1160.82	c 1158s |      20 |  1313267 |   666927 |   100170     13 |     7759 |        0
1162.50/1162.85	c 1160s |      20 |  1321281 |   672427 |   100170     14 |     7759 |        0
1164.49/1164.85	c 1162s |      20 |  1328400 |   678627 |   100170     14 |     7759 |        0
1166.49/1166.88	c 1164s |      20 |  1333310 |   682927 |   100170     14 |     7759 |        0
1168.59/1168.93	c 1166s |      20 |  1336930 |   686127 |   100170     14 |     7759 |        0
1170.59/1170.95	c 1168s |      20 |  1340331 |   689027 |   100170     14 |     7759 |        0
1172.69/1173.01	c 1170s |      20 |  1342941 |   691427 |   100170     14 |     7759 |        0
1174.69/1175.05	c 1172s |      20 |  1345632 |   693927 |   100170     14 |     7759 |        0
1176.70/1177.07	c 1174s |      20 |  1348044 |   696127 |   100170     14 |     7759 |        0
1178.69/1179.07	c 1176s |      20 |  1350473 |   698327 |   100170     14 |     7759 |        0
1180.79/1181.14	c 1178s |      20 |  1352606 |   700327 |   100170     14 |     7759 |        0
1182.79/1183.17	c 1180s |      20 |  1354640 |   702227 |   100170     14 |     7759 |        0
1184.79/1185.18	c 1182s |      20 |  1356430 |   703827 |   100170     14 |     7759 |        0
1186.89/1187.20	c 1184s |      20 |  1358138 |   705327 |   100170     14 |     7759 |        0
1188.99/1189.30	c 1186s |      20 |  1359892 |   707027 |   100170     14 |     7759 |        0
1191.09/1191.41	c 1189s |      20 |  1361320 |   708427 |   100170     14 |     7759 |        0
1193.09/1193.49	c 1191s |      20 |  1362979 |   709927 |   100170     14 |     7759 |        0
1195.19/1195.53	c 1193s |      20 |  1364482 |   711327 |   100170     14 |     7759 |        0
1197.19/1197.53	c 1195s |      20 |  1365856 |   712627 |   100170     14 |     7759 |        0
1199.29/1199.60	c 1197s |      20 |  1367137 |   713827 |   100170     14 |     7759 |        0
1201.29/1201.66	c 1199s |      20 |  1368737 |   715227 |   100170     14 |     7759 |        0
1203.39/1203.72	c 1201s |      20 |  1370576 |   716827 |   100170     14 |     7759 |        0
1205.39/1205.76	c 1203s |      20 |  1372270 |   718427 |   100170     14 |     7759 |        0
1207.49/1207.86	c 1205s |      20 |  1373893 |   719927 |   100170     14 |     7759 |        0
1209.58/1209.99	c 1207s |      20 |  1375393 |   721327 |   100170     14 |     7759 |        0
1211.68/1212.04	c 1209s |      20 |  1376420 |   722327 |   100170     14 |     7759 |        0
1213.68/1214.05	c 1211s |      20 |  1377453 |   723327 |   100170     14 |     7759 |        0
1215.68/1216.09	c 1213s |      20 |  1378469 |   724327 |   100170     14 |     7759 |        0
1217.68/1218.09	c 1215s |      20 |  1379479 |   725327 |   100170     14 |     7759 |        0
1223.38/1223.73	c 1221s |      20 |  1380483 |   726327 |   100170     15 |     7759 |        0
1225.58/1225.93	c 1223s |      20 |  1381293 |   727127 |   100170     15 |     7759 |        0
1227.58/1227.98	c 1225s |      20 |  1382315 |   728127 |   100170     15 |     7759 |        0
1229.68/1230.08	c 1227s |      20 |  1383165 |   728927 |   100170     15 |     7759 |        0
1231.79/1232.11	c 1229s |      20 |  1384098 |   729827 |   100170     15 |     7759 |        0
1233.89/1234.21	c 1231s |      20 |  1385025 |   730727 |   100170     15 |     7759 |        0
1235.88/1236.23	c 1233s |      20 |  1386200 |   731827 |   100170     15 |     7759 |        0
1237.98/1238.38	c 1236s |      20 |  1387234 |   732827 |   100170     15 |     7759 |        0
1240.08/1240.48	c 1238s |      20 |  1388299 |   733827 |   100170     15 |     7759 |        0
1242.18/1242.56	c 1240s |      20 |  1389346 |   734827 |   100170     15 |     7759 |        0
1244.38/1244.74	c 1242s |      20 |  1390388 |   735827 |   100170     15 |     7759 |        0
1246.48/1246.85	c 1244s |      20 |  1391408 |   736827 |   100170     15 |     7759 |        0
1248.48/1248.85	c 1246s |      20 |  1392370 |   737727 |   100170     15 |     7759 |        0
1250.58/1250.95	c 1248s |      20 |  1393434 |   738727 |   100170     15 |     7759 |        0
1252.68/1253.08	c 1250s |      20 |  1394675 |   739827 |   100170     15 |     7759 |        0
1254.68/1255.08	c 1252s |      20 |  1395645 |   740727 |   100170     15 |     7759 |        0
1256.78/1257.18	c 1254s |      20 |  1396608 |   741627 |   100170     15 |     7759 |        0
1258.88/1259.22	c 1256s |      20 |  1397549 |   742527 |   100170     15 |     7759 |        0
1260.88/1261.23	c 1258s |      20 |  1398390 |   743327 |   100170     15 |     7759 |        0
1262.98/1263.35	c 1261s |      20 |  1399248 |   744127 |   100170     15 |     7759 |        0
1265.08/1265.46	c 1263s |      20 |  1399979 |   744827 |   100170     15 |     7759 |        0
1267.08/1267.47	c 1265s |      20 |  1400690 |   745527 |   100170     15 |     7759 |        0
1269.19/1269.57	c 1267s |      20 |  1401506 |   746327 |   100170     15 |     7759 |        0
1271.29/1271.68	c 1269s |      20 |  1402316 |   747127 |   100170     15 |     7759 |        0
1273.59/1273.93	c 1271s |      20 |  1403140 |   747927 |   100170     15 |     7759 |        0
1275.69/1276.10	c 1273s |      20 |  1403867 |   748627 |   100170     15 |     7759 |        0
1277.78/1278.19	c 1275s |      20 |  1404486 |   749227 |   100170     15 |     7759 |        0
1280.09/1280.46	c 1278s |      20 |  1405216 |   749927 |   100170     15 |     7759 |        0
1282.29/1282.67	c 1280s |      20 |  1405927 |   750627 |   100170     15 |     7759 |        0
1284.68/1285.03	c 1282s |      20 |  1406761 |   751427 |   100170     15 |     7759 |        0
1286.69/1287.08	c 1284s |      20 |  1407492 |   752127 |   100170     15 |     7759 |        0
1288.89/1289.26	c 1286s |      20 |  1408258 |   752827 |   100170     15 |     7759 |        0
1291.09/1291.44	c 1289s |      20 |  1409184 |   753627 |   100170     15 |     7759 |        0
1293.29/1293.69	c 1291s |      20 |  1410019 |   754427 |   100170     15 |     7759 |        0
1295.38/1295.73	c 1293s |      20 |  1410633 |   755027 |   100170     15 |     7759 |        0
1297.58/1297.94	c 1295s |      20 |  1411328 |   755727 |   100170     15 |     7759 |        0
1299.58/1299.96	c 1297s |      20 |  1412152 |   756427 |   100170     15 |     7759 |        0
1301.68/1302.09	c 1299s |      20 |  1412890 |   757127 |   100170     15 |     7759 |        0
1303.78/1304.15	c 1301s |      20 |  1413620 |   757827 |   100170     15 |     7759 |        0
1305.98/1306.35	c 1304s |      20 |  1414268 |   758427 |   100170     15 |     7759 |        0
1308.08/1308.45	c 1306s |      20 |  1414893 |   759027 |   100170     15 |     7759 |        0
1310.38/1310.72	c 1308s |      20 |  1415618 |   759727 |   100170     15 |     7759 |        0
1312.38/1312.77	c 1310s |      20 |  1416245 |   760327 |   100170     15 |     7759 |        0
1314.48/1314.81	c 1312s |      20 |  1416965 |   761027 |   100170     15 |     7759 |        0
1316.48/1316.88	c 1314s |      20 |  1417578 |   761627 |   100170     15 |     7759 |        0
1318.78/1319.15	c 1316s |      20 |  1418440 |   762427 |   100170     15 |     7759 |        0
1320.88/1321.29	c 1318s |      20 |  1419402 |   763327 |   100170     15 |     7759 |        0
1322.98/1323.34	c 1321s |      20 |  1420173 |   764027 |   100170     15 |     7759 |        0
1325.47/1325.82	c 1323s |      20 |  1420845 |   764627 |   100170     15 |     7759 |        0
1327.57/1327.97	c 1325s |      20 |  1421358 |   765127 |   100170     15 |     7759 |        0
1329.58/1329.99	c 1327s |      20 |  1421767 |   765527 |   100170     15 |     7759 |        0
1332.07/1332.47	c 1330s |      20 |  1422300 |   766027 |   100170     15 |     7759 |        0
1334.27/1334.63	c 1332s |      20 |  1422707 |   766427 |   100170     15 |     7759 |        0
1336.37/1336.72	c 1334s |      20 |  1423358 |   767027 |   100170     15 |     7759 |        0
1338.57/1338.90	c 1336s |      20 |  1423868 |   767527 |   100170     15 |     7759 |        0
1340.68/1341.03	c 1338s |      20 |  1424499 |   768127 |   100170     15 |     7759 |        0
1342.67/1343.04	c 1340s |      20 |  1425022 |   768627 |   100170     15 |     7759 |        0
1344.77/1345.10	c 1342s |      20 |  1425537 |   769127 |   100170     15 |     7759 |        0
1346.87/1347.22	c 1344s |      20 |  1426052 |   769627 |   100170     15 |     7759 |        0
1348.87/1349.28	c 1346s |      20 |  1426458 |   770027 |   100170     15 |     7759 |        0
1350.97/1351.37	c 1349s |      20 |  1426874 |   770427 |   100170     15 |     7759 |        0
1353.07/1353.41	c 1351s |      20 |  1427299 |   770827 |   100170     15 |     7759 |        0
1355.27/1355.67	c 1353s |      20 |  1427817 |   771327 |   100170     15 |     7759 |        0
1357.37/1357.71	c 1355s |      20 |  1428433 |   771927 |   100170     15 |     7759 |        0
1359.38/1359.73	c 1357s |      20 |  1429049 |   772527 |   100170     15 |     7759 |        0
1361.77/1362.11	c 1359s |      20 |  1429660 |   773127 |   100170     15 |     7759 |        0
1363.78/1364.12	c 1361s |      20 |  1430057 |   773527 |   100170     15 |     7759 |        0
1365.87/1366.21	c 1363s |      20 |  1430458 |   773927 |   100170     15 |     7759 |        0
1367.97/1368.33	c 1365s |      20 |  1430976 |   774427 |   100170     15 |     7759 |        0
1370.27/1370.61	c 1368s |      20 |  1431681 |   775127 |   100170     15 |     7759 |        0
1372.27/1372.62	c 1370s |      20 |  1432286 |   775727 |   100170     15 |     7759 |        0
1374.57/1374.94	c 1372s |      20 |  1432985 |   776427 |   100170     15 |     7759 |        0
1376.77/1377.17	c 1374s |      20 |  1433641 |   777027 |   100170     15 |     7759 |        0
1378.87/1379.28	c 1376s |      20 |  1434418 |   777727 |   100170     15 |     7759 |        0
1381.07/1381.41	c 1379s |      20 |  1435141 |   778427 |   100170     15 |     7759 |        0
1383.27/1383.63	c 1381s |      20 |  1435840 |   779127 |   100170     15 |     7759 |        0
1385.47/1385.84	c 1383s |      20 |  1436544 |   779827 |   100170     15 |     7759 |        0
1389.96/1390.36	c 1388s |      20 |  1437151 |   780427 |   100170     16 |     7759 |        0
1391.96/1392.38	c 1390s |      20 |  1437651 |   780927 |   100170     16 |     7759 |        0
1412.46/1412.83	c 1410s |      20 |  1438063 |   781327 |   100170     16 |     7759 |        0
1414.66/1415.05	c 1412s |      20 |  1438871 |   782127 |   100170     16 |     7759 |        0
1416.76/1417.18	c 1414s |      20 |  1439873 |   783127 |   100170     16 |     7759 |        0
1418.96/1419.35	c 1417s |      20 |  1440798 |   784027 |   100170     16 |     7759 |        0
1421.06/1421.49	c 1419s |      20 |  1441811 |   785027 |   100170     16 |     7759 |        0
1423.16/1423.53	c 1421s |      20 |  1442634 |   785827 |   100170     16 |     7759 |        0
1425.26/1425.62	c 1423s |      20 |  1443652 |   786827 |   100170     16 |     7759 |        0
1427.26/1427.69	c 1425s |      20 |  1444565 |   787727 |   100170     16 |     7759 |        0
1429.46/1429.87	c 1427s |      20 |  1445478 |   788627 |   100170     16 |     7759 |        0
1431.56/1431.97	c 1429s |      20 |  1446403 |   789527 |   100170     16 |     7759 |        0
1469.54/1469.96	c 1467s |      20 |  1446951 |   790027 |   100170     16 |     7759 |        0
1471.55/1471.98	c 1469s |      20 |  1447593 |   790627 |   100170     16 |     7759 |        0
1473.75/1474.12	c 1471s |      20 |  1448535 |   791527 |   100170     16 |     7759 |        0
1475.74/1476.17	c 1473s |      20 |  1449977 |   792827 |   100170     16 |     7759 |        0
1477.84/1478.20	c 1475s |      20 |  1450882 |   793627 |   100170     16 |     7759 |        0
1479.94/1480.31	c 1477s |      20 |  1452043 |   794727 |   100170     16 |     7759 |        0
1482.04/1482.45	c 1480s |      20 |  1452911 |   795527 |   100170     16 |     7759 |        0
1484.24/1484.67	c 1482s |      20 |  1454220 |   796727 |   100170     16 |     7759 |        0
1486.24/1486.67	c 1484s |      20 |  1455355 |   797827 |   100170     16 |     7759 |        0
1488.34/1488.74	c 1486s |      20 |  1456371 |   798727 |   100170     16 |     7759 |        0
1490.44/1490.84	c 1488s |      20 |  1457700 |   799827 |   100170     16 |     7759 |        0
1492.64/1493.00	c 1490s |      20 |  1458853 |   800827 |   100170     16 |     7759 |        0
1494.84/1495.20	c 1492s |      20 |  1460002 |   801927 |   100170     16 |     7759 |        0
1496.94/1497.30	c 1494s |      20 |  1461236 |   802927 |   100170     16 |     7759 |        0
1499.05/1499.45	c 1497s |      20 |  1462664 |   804227 |   100170     16 |     7759 |        0
1501.04/1501.47	c 1499s |      20 |  1463577 |   805127 |   100170     16 |     7759 |        0
1503.24/1503.63	c 1501s |      20 |  1464824 |   806227 |   100170     16 |     7759 |        0
1505.34/1505.72	c 1503s |      20 |  1465922 |   807327 |   100170     16 |     7759 |        0
1507.34/1507.77	c 1505s |      20 |  1466538 |   807927 |   100170     16 |     7759 |        0
1509.74/1510.11	c 1507s |      20 |  1467053 |   808427 |   100170     16 |     7759 |        0
1511.74/1512.16	c 1509s |      20 |  1467773 |   809127 |   100170     16 |     7759 |        0
1513.74/1514.17	c 1511s |      20 |  1468511 |   809827 |   100170     16 |     7759 |        0
1515.94/1516.33	c 1513s |      20 |  1469213 |   810527 |   100170     16 |     7759 |        0
1518.34/1518.73	c 1516s |      20 |  1469810 |   811127 |   100170     16 |     7759 |        0
1520.43/1520.85	c 1518s |      20 |  1470520 |   811827 |   100170     16 |     7759 |        0
1522.63/1523.05	c 1520s |      20 |  1471318 |   812527 |   100170     16 |     7759 |        0
1524.73/1525.19	c 1522s |      20 |  1472038 |   813227 |   100170     16 |     7759 |        0
1526.83/1527.27	c 1524s |      20 |  1472742 |   813927 |   100170     16 |     7759 |        0
1528.93/1529.31	c 1526s |      20 |  1473464 |   814627 |   100170     16 |     7759 |        0
1530.94/1531.38	c 1529s |      20 |  1474290 |   815427 |   100170     16 |     7759 |        0
1533.04/1533.49	c 1531s |      20 |  1474990 |   816127 |   100170     16 |     7759 |        0
1535.13/1535.60	c 1533s |      20 |  1475822 |   816927 |   100170     16 |     7759 |        0
1590.53/1590.94	c 1588s |      20 |  1475951 |   817027 |   100170     16 |     7759 |        0
1592.63/1593.03	c 1590s |      20 |  1476758 |   817727 |   100170     16 |     7759 |        0
1594.63/1595.04	c 1592s |      20 |  1477671 |   818527 |   100170     16 |     7759 |        0
1596.72/1597.15	c 1594s |      20 |  1478676 |   819427 |   100170     16 |     7759 |        0
1598.92/1599.33	c 1596s |      20 |  1479704 |   820327 |   100170     16 |     7759 |        0
1601.02/1601.45	c 1599s |      20 |  1480677 |   821227 |   100170     16 |     7759 |        0
1603.22/1603.66	c 1601s |      20 |  1481484 |   821927 |   100170     16 |     7759 |        0
1605.32/1605.73	c 1603s |      20 |  1482475 |   822827 |   100170     16 |     7759 |        0
1607.42/1607.81	c 1605s |      20 |  1483490 |   823727 |   100170     16 |     7759 |        0
1609.52/1609.95	c 1607s |      20 |  1484433 |   824627 |   100170     16 |     7759 |        0
1611.82/1612.20	c 1609s |      20 |  1485533 |   825527 |   100170     16 |     7759 |        0
1613.82/1614.24	c 1611s |      20 |  1486404 |   826327 |   100170     16 |     7759 |        0
1615.82/1616.28	c 1613s |      20 |  1487283 |   827127 |   100170     16 |     7759 |        0
1617.92/1618.31	c 1615s |      20 |  1488192 |   827927 |   100170     16 |     7759 |        0
1620.03/1620.44	c 1618s |      20 |  1489143 |   828827 |   100170     16 |     7759 |        0
1622.23/1622.67	c 1620s |      20 |  1490169 |   829727 |   100170     16 |     7759 |        0
1624.43/1624.81	c 1622s |      20 |  1490930 |   830427 |   100170     16 |     7759 |        0
1626.42/1626.87	c 1624s |      20 |  1491850 |   831227 |   100170     16 |     7759 |        0
1628.42/1628.87	c 1626s |      20 |  1492825 |   832127 |   100170     16 |     7759 |        0
1630.52/1630.95	c 1628s |      20 |  1493874 |   833027 |   100170     16 |     7759 |        0
1632.72/1633.12	c 1630s |      20 |  1495015 |   834027 |   100170     16 |     7759 |        0
1641.32/1641.72	c 1639s |      20 |  1495839 |   834727 |   100170     17 |     7759 |        0
1644.51/1644.91	c 1642s |      20 |  1495934 |   834827 |   100170     17 |     7759 |        0
1647.43/1647.83	c 1645s |      20 |  1496253 |   835127 |   100170     17 |     7759 |        0
1649.42/1649.84	c 1647s |      20 |  1496726 |   835527 |   100170     17 |     7759 |        0
1663.61/1664.07	c 1661s |      20 |  1498405 |   837027 |   100170     17 |     7759 |        0
1665.71/1666.18	c 1663s |      20 |  1499533 |   838127 |   100170     17 |     7759 |        0
1667.91/1668.36	c 1666s |      20 |  1501231 |   839727 |   100170     17 |     7759 |        0
1670.02/1670.47	c 1668s |      20 |  1502207 |   840527 |   100170     17 |     7759 |        0
1672.12/1672.52	c 1670s |      20 |  1503688 |   841827 |   100170     17 |     7759 |        0
1674.12/1674.53	c 1672s |      20 |  1504956 |   843027 |   100170     17 |     7759 |        0
1676.12/1676.53	c 1674s |      20 |  1506413 |   844427 |   100170     17 |     7759 |        0
1678.12/1678.56	c 1676s |      20 |  1507452 |   845427 |   100170     17 |     7759 |        0
1680.32/1680.74	c 1678s |      20 |  1508579 |   846527 |   100170     17 |     7759 |        0
1682.31/1682.78	c 1680s |      20 |  1509683 |   847627 |   100170     17 |     7759 |        0
1684.51/1684.91	c 1682s |      20 |  1510859 |   848727 |   100170     17 |     7759 |        0
1686.61/1687.00	c 1684s |      20 |  1512117 |   849927 |   100170     17 |     7759 |        0
1688.71/1689.10	c 1686s |      20 |  1513326 |   850927 |   100170     17 |     7759 |        0
1700.71/1701.10	c 1698s |      20 |  1513865 |   851427 |   100170     17 |     7759 |        0
1702.81/1703.28	c 1700s |      20 |  1514873 |   852327 |   100170     17 |     7759 |        0
1705.01/1705.42	c 1703s |      20 |  1515652 |   853027 |   100170     17 |     7759 |        0
1707.01/1707.43	c 1705s |      20 |  1516268 |   853627 |   100170     17 |     7759 |        0
1709.21/1709.67	c 1707s |      20 |  1516908 |   854227 |   100170     17 |     7759 |        0
1711.32/1711.76	c 1709s |      20 |  1517536 |   854827 |   100170     17 |     7759 |        0
1713.42/1713.82	c 1711s |      20 |  1518044 |   855327 |   100170     17 |     7759 |        0
1715.62/1716.07	c 1713s |      20 |  1518662 |   855927 |   100170     17 |     7759 |        0
1718.01/1718.41	c 1716s |      20 |  1519276 |   856527 |   100170     17 |     7759 |        0
1720.31/1720.73	c 1718s |      20 |  1519892 |   857127 |   100170     17 |     7759 |        0
1722.51/1722.99	c 1720s |      20 |  1520508 |   857727 |   100170     17 |     7759 |        0
1724.81/1725.23	c 1722s |      20 |  1521214 |   858427 |   100170     17 |     7759 |        0
1726.91/1727.35	c 1725s |      20 |  1521939 |   859127 |   100170     17 |     7759 |        0
1729.01/1729.45	c 1727s |      20 |  1522449 |   859627 |   100170     17 |     7759 |        0
1731.21/1731.63	c 1729s |      20 |  1523068 |   860227 |   100170     17 |     7759 |        0
1733.41/1733.81	c 1731s |      20 |  1523871 |   861027 |   100170     17 |     7759 |        0
1735.51/1735.94	c 1733s |      20 |  1524648 |   861727 |   100170     17 |     7759 |        0
1737.61/1738.07	c 1735s |      20 |  1525259 |   862327 |   100170     17 |     7759 |        0
1739.91/1740.33	c 1737s |      20 |  1526074 |   863127 |   100170     17 |     7759 |        0
1742.20/1742.64	c 1740s |      20 |  1526879 |   863927 |   100170     17 |     7759 |        0
1744.31/1744.71	c 1742s |      20 |  1527582 |   864627 |   100170     17 |     7759 |        0
1746.30/1746.75	c 1744s |      20 |  1528334 |   865327 |   100170     17 |     7759 |        0
1748.40/1748.90	c 1746s |      20 |  1529044 |   866027 |   100170     17 |     7759 |        0
1750.70/1751.17	c 1748s |      20 |  1529577 |   866527 |   100170     17 |     7759 |        0
1752.90/1753.40	c 1751s |      20 |  1530086 |   867027 |   100170     17 |     7759 |        0
1755.00/1755.48	c 1753s |      20 |  1530583 |   867527 |   100170     17 |     7759 |        0
1757.20/1757.61	c 1755s |      20 |  1531190 |   868127 |   100170     17 |     7759 |        0
1759.40/1759.84	c 1757s |      20 |  1531809 |   868727 |   100170     17 |     7759 |        0
1761.50/1761.98	c 1759s |      20 |  1532418 |   869327 |   100170     17 |     7759 |        0
1763.70/1764.19	c 1761s |      20 |  1532922 |   869827 |   100170     17 |     7759 |        0
1765.90/1766.30	c 1763s |      20 |  1533427 |   870327 |   100170     17 |     7759 |        0
1767.90/1768.30	c 1765s |      20 |  1533932 |   870827 |   100170     17 |     7759 |        0
1770.00/1770.44	c 1768s |      20 |  1534545 |   871427 |   100170     17 |     7759 |        0
1772.60/1773.05	c 1770s |      20 |  1535152 |   872027 |   100170     17 |     7759 |        0
1774.90/1775.36	c 1773s |      20 |  1535675 |   872527 |   100170     17 |     7759 |        0
1777.00/1777.42	c 1775s |      20 |  1536276 |   873127 |   100170     17 |     7759 |        0
1779.40/1779.82	c 1777s |      20 |  1536911 |   873727 |   100170     17 |     7759 |        0
1781.50/1781.99	c 1779s |      20 |  1537513 |   874327 |   100170     17 |     7759 |        0
1783.70/1784.14	c 1781s |      20 |  1538124 |   874927 |   100170     17 |     7759 |        0
1785.80/1786.21	c 1783s |      20 |  1538732 |   875527 |   100170     17 |     7759 |        0
1788.00/1788.47	c 1786s |      20 |  1539441 |   876227 |   100170     17 |     7759 |        0
1790.40/1790.82	c 1788s |      20 |  1540040 |   876827 |   100170     17 |     7759 |        0
1792.50/1792.92	c 1790s |      20 |  1540653 |   877427 |   100170     17 |     7759 |        0
1794.70/1795.18	c 1792s |      20 |  1541372 |   878127 |   100170     17 |     7759 |        0
1797.10/1797.55	c 1795s |      20 |  1541978 |   878727 |   100170     17 |     7759 |        0
1799.20/1799.68	c 1797s |      20 |  1542480 |   879227 |   100170     17 |     7759 |        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-4100505-1466215158/watcher-4100505-1466215158 -o /tmp/evaluation-result-4100505-1466215158/solver-4100505-1466215158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100505-1466215158.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 12737
/proc/meminfo: memFree=30254772/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=531900 CPUtime=0 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 1948 0 0 0 0 0 0 0 20 0 4 0 23561461 544665600 2819 33554432000 4194304 16246674 140737088832640 140737088832064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 133487 2829 441 2943 0 130381 0
[pid=12737/tid=12738] ppid=12734 vsize=549308 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 562491392 2889 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=553404 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 566685696 2904 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 574025728 2932 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 12737
/proc/meminfo: memFree=30254772/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 28597 0 0 0 5 4 0 0 20 0 4 0 23561461 1333334016 29407 33554432000 4194304 16246674 140737088832640 140737088815632 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 325521 29422 799 2943 0 322415 0
[pid=12737/tid=12738] ppid=12734 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1333334016 29433 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1333334016 29445 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1333334016 29455 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200501 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 12737
/proc/meminfo: memFree=30254772/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 46321 0 0 0 13 6 0 0 20 0 4 0 23561461 1343819776 47641 33554432000 4194304 16246674 140737088832640 140737088815632 7367752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 328081 47641 800 2943 0 324975 0
[pid=12737/tid=12738] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 47641 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 47641 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 47641 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300503 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 12737
/proc/meminfo: memFree=30254772/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 54073 0 0 0 22 7 0 0 20 0 4 0 23561461 1343819776 55393 33554432000 4194304 16246674 140737088832640 140737088815632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 328081 55393 801 2943 0 324975 0
[pid=12737/tid=12738] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 55393 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 55393 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1343819776 55393 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700403 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 12737
/proc/meminfo: memFree=30254772/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=0.69 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 68759 0 0 0 60 9 0 0 20 0 4 0 23561461 1357451264 70079 33554432000 4194304 16246674 140737088832640 140737088831952 13193738 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 70095 840 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 70103 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 70110 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 70119 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50039 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 12741
/proc/meminfo: memFree=29871768/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 219421 0 0 0 121 28 0 0 20 0 4 0 23561461 1357451264 220741 33554432000 4194304 16246674 140737088832640 140737088814528 12652021 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 220754 844 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 220763 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 220772 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 220781 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10039 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 12741
/proc/meminfo: memFree=29162488/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272090 0 0 0 274 35 0 0 20 0 4 0 23561461 1357451264 273410 33554432000 4194304 16246674 140737088832640 140737088814528 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273410 896 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273410 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273410 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273410 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30039 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 12741
/proc/meminfo: memFree=29162208/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=6.29 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272093 0 0 0 594 35 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140737088814528 5600267 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273413 899 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.01 3/183 12741
/proc/meminfo: memFree=29162040/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=12.69 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272093 0 0 0 1234 35 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140737088814528 5823013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273413 899 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 12741
/proc/meminfo: memFree=29162304/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=25.49 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272093 0 0 0 2514 35 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140737088814528 5823600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273413 899 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.09 2.04 2.02 3/184 12744
/proc/meminfo: memFree=29162420/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272093 0 0 0 5073 35 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140737088814528 5823694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273413 899 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273413 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/184 12745
/proc/meminfo: memFree=29162240/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1325636 CPUtime=102.28 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 272098 0 0 0 10193 35 0 0 20 0 4 0 23561461 1357451264 273418 33554432000 4194304 16246674 140737088832640 140737088814528 5546015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 331409 273418 902 2943 0 328303 0
[pid=12737/tid=12738] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273418 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273418 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1357451264 273418 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1513689088 311568 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1478212

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12849
/proc/meminfo: memFree=28721808/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1478212 CPUtime=1361.97 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 310485 0 0 0 136135 62 0 0 20 0 4 0 23561461 1513689088 311568 33554432000 4194304 16246674 140737088832640 140737088814528 5823975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 369553 311568 905 2943 0 366447 0
[pid=12737/tid=12738] ppid=12734 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1513689088 311568 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1513689088 311568 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1513689088 311568 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1478212

[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 12850
/proc/meminfo: memFree=28590252/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1609284 CPUtime=1421.96 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 343253 0 0 0 142127 69 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140737088814528 6021536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 402321 344336 905 2943 0 399215 0
[pid=12737/tid=12738] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1609284

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 12852
/proc/meminfo: memFree=28556484/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1609284 CPUtime=1481.94 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 343253 0 0 0 148121 73 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140737088814528 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 402321 344336 905 2943 0 399215 0
[pid=12737/tid=12738] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1609284 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1647906816 344336 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1609284

[startup+1542.31 s]
/proc/loadavg: 2.20 2.08 2.02 3/183 12853
/proc/meminfo: memFree=28447520/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1541.95 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 154120 75 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088831816 4220527 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1612356

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 12854
/proc/meminfo: memFree=28429996/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1601.92 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 160113 79 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088814528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1612356

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 12855
/proc/meminfo: memFree=28430140/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1661.91 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 166109 82 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088831816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1612356

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12856
/proc/meminfo: memFree=28429916/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1721.91 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 172107 84 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088814528 5823849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1612356

[startup+1782.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 12858
/proc/meminfo: memFree=28429652/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1781.9 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 178106 84 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088814528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1612356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 12858
/proc/meminfo: memFree=28429992/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1800.09 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 179925 84 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088814528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1612356

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 12858
/proc/meminfo: memFree=28429992/32872528 swapFree=534252/566956
[pid=12737] ppid=12734 vsize=1612356 CPUtime=1800.09 cores=0,2,4,6
/proc/12737/stat : 12737 (toysat) R 12734 12737 10353 0 -1 4202496 344021 0 0 0 179925 84 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140737088814528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12737/statm: 403089 345104 905 2943 0 399983 0
[pid=12737/tid=12738] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12738/stat : 12738 (toysat) S 12734 12737 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555111607536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=12737/tid=12739] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12739/stat : 12739 (toysat) S 12734 12737 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555101117680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=12737/tid=12740] ppid=12734 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/12737/task/12740/stat : 12740 (toysat) S 12734 12737 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23561461 1651052544 345104 33554432000 4194304 16246674 140737088832640 140555019349168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1612356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.12
CPU user time (s): 1799.26
CPU system time (s): 0.85487
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 1612356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.85487
maximum resident set size= 1380416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344021
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= 611
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64829 second user time and 6.84196 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 03:59:18
IDJOB=4100505
IDBENCH=1625
IDSOLVER=2542
FILE ID=node138/4100505-1466215158
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dg012142.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100505-1466215158/watcher-4100505-1466215158 -o /tmp/evaluation-result-4100505-1466215158/solver-4100505-1466215158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100505-1466215158.opb

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

MD5SUM BENCH= 99b260f11bc3e586ce78c7adccfe4295
RANDOM SEED=605833897

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30255680 kB
Buffers:           87944 kB
Cached:           118024 kB
SwapCached:         1060 kB
Active:          1206712 kB
Inactive:         107444 kB
Active(anon):    1108864 kB
Inactive(anon):     1228 kB
Active(file):      97848 kB
Inactive(file):   106216 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             19028 kB
Writeback:             0 kB
AnonPages:       1618832 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             602644 kB
SReclaimable:      46372 kB
SUnreclaim:       556272 kB
KernelStack:        1520 kB
PageTables:         7072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1816016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node138 at 2016-06-18 04:29:19