Trace number 4101161

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
MD5SUM7a90d6f729b5a7cbedbc2000a888cf36
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables46097
Total number of constraints1706
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1706
Minimum length of a constraint13
Maximum length of a constraint1432
Number of terms in the objective function 2309
Biggest coefficient in the objective function 19879
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525883
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525883
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:34:22+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-4101161-1466220861.opb"]
0.00/0.01	c use --random-gen="3489207489 1381745660 1002568175 4275230255 394446326 2689622240 2860293183 783911808 3031743735 131462021 1216455561 3261238693 4189543013 2960665606 1787056146 2724301513 3935734492 4071053472 2010729237 3130847137 1984544747 2938729165 2780096944 951098079 52910928 3159322886 1734480124 2682740463 3204443702 2611144027 1815360199 2080365741 3250050789 4146914545 1302374289 2534432804 2600912886 3283299554 890104854 2274145673 458703185 3369726937 4210310611 3361213085 637923786 3115947125 2274384512 1377910109 47828092 2769059647 82692407 1820740437 3288929934 2796943213 3624184834 2607415960 2657408644 288855090 2777781779 3308427138 3202692522 410633457 2376625630 444498777 395400711 718499106 191244556 1965271487 3824353427 1844867275 2774791326 3401268980 3544650303 3179820699 171134090 2409719527 3023111558 2843124088 1688359123 389831082 3529232965 1058952746 1998074345 3528768374 3700338293 2365774181 1245028874 2859362315 3726599749 3570835647 292358826 3536179603 403294224 3181669586 139085837 3829383105 2783372001 40494683 2824716388 426752645 2880415842 3708012804 1364864679 556833203 2846738754 3255506593 2922720699 3902522011 3995011373 1310791343 1746677490 3766392929 644990181 3761620734 950201132 3443771813 2524433968 445621767 795956586 780127008 2374088179 2127668208 800242775 140936476 2428132788 1783110663 3371981901 2422942061 1813153724 3767251568 2652089298 4274411515 2576981796 3095602105 32213629 1131158488 2087439804 2366677588 2849165005 1442573676 1093393315 3326767524 1394270121 1673347909 2607303920 3215633588 839557042 2807744290 603118818 2790374232 883093690 3134337891 2634704559 1453407107 2535365596 3291328786 3955494730 1962589142 127206725 1513390529 2053529734 4129880896 2204937895 2975685259 2384493724 1100059577 3335194328 2005575044 661855276 2745352978 916260165 2605435243 3263296342 2166534508 943309931 2275236990 3756230759 1401695236 4024404744 568429674 1119714136 764821423 3324876595 1014210984 1706531103 3039106246 2727796716 3942433564 2340153987 2811193163 3623495666 1272952639 955848962 3267620514 1775719781 3066164103 4160312541 1838757976 3260774569 573042498 3507141711 1255428743 196431896 1280831034 2965730413 317851459 4206523914 1792675999 173417429 1457289016 3585564070 2527371146 1010234532 3275328791 2191657828 1102449858 706440163 549571880 3428916719 3189208592 1755736374 262892109 2870682267 1135280907 170700358 3379200789 3272567461 570339634 2563332436 188547508 1701159306 1168299746 2367225662 3562046994 2943636547 1678819981 4102670302 2635094367 3019559456 305630401 2313201201 1360748303 271367623 1591191413 3269849322 1205539313 3051382045 3039542204 2290225797 1038495537 1243555528 4017452548 622092748 3903362355 879679505 4073505168 255 362436" option to reproduce the execution
0.29/0.32	c #vars 46097
0.29/0.32	c #constraints 1706
14.99/15.06	c BCD2: Hardening is enabled.
14.99/15.06	c BCD2: BiasedSearch is enabled.
14.99/15.06	c Solving starts ...
14.99/15.06	c ============================[ Search Statistics ]============================
14.99/15.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.99/15.06	c       |         |          |          |    Limit     GC | Var      | Constra 
14.99/15.06	c =============================================================================
14.99/15.06	c  0.0s |       0 |        0 |        0 |    16277      0 |    17245 |        0
15.19/15.22	c  0.2s |       1 |     9237 |      100 |    16277      0 |    17247 |      346
15.19/15.28	c  0.2s |       2 |    10450 |      250 |    17905      0 |    17247 |      346
15.40/15.41	c  0.4s |       3 |    18176 |      475 |    19696      0 |    17247 |      346
15.40/15.50	c  0.4s |       4 |    18548 |      813 |    21666      0 |    17247 |      346
15.59/15.68	c  0.6s |       5 |    25505 |     1320 |    23833      0 |    17247 |      346
15.79/15.87	c  0.8s |       6 |    30519 |     2081 |    28839      0 |    17248 |      346
15.99/16.08	c  1.0s |       7 |    31860 |     3223 |    31723      0 |    17248 |      346
16.79/16.80	c  1.7s |       8 |    50214 |     4936 |    34896      0 |    17257 |      346
18.29/18.32	c  3.3s |       9 |    57918 |     7506 |    38386      0 |    17257 |      346
20.29/20.35	c  5.3s |       9 |    62436 |    11006 |    38386      0 |    17263 |      352
20.49/20.51	c  5.5s |      10 |    62847 |    11361 |    42225      0 |    17263 |      352
22.49/22.53	c  7.5s |      10 |    67816 |    15561 |    42225      0 |    17263 |      352
23.69/23.70	c  8.6s |      11 |    69765 |    17144 |    46448      0 |    17263 |      352
25.69/25.72	c 10.7s |      11 |    73094 |    19944 |    46448      0 |    17263 |      352
27.69/27.73	c 12.7s |      11 |    75530 |    21944 |    46448      0 |    17263 |      352
29.69/29.75	c 14.7s |      11 |    78163 |    24244 |    46448      0 |    17263 |      352
31.09/31.16	c 16.1s |      12 |    80020 |    25819 |    51093      0 |    17263 |      352
33.19/33.23	c 18.2s |      12 |    82285 |    27619 |    51093      0 |    17263 |      352
35.19/35.25	c 20.2s |      12 |    84731 |    29619 |    51093      0 |    17263 |      352
37.28/37.31	c 22.2s |      12 |    87137 |    31619 |    51093      0 |    17263 |      352
39.28/39.32	c 24.3s |      12 |    89373 |    33519 |    51093      0 |    17263 |      352
41.38/41.43	c 26.4s |      12 |    91717 |    35419 |    51093      0 |    17263 |      352
43.38/43.45	c 28.4s |      12 |    93880 |    37119 |    51093      0 |    17263 |      352
45.38/45.46	c 30.4s |      13 |    95925 |    38832 |    56203      0 |    17263 |      352
47.58/47.61	c 32.6s |      13 |    97884 |    40332 |    56203      0 |    17263 |      352
49.68/49.73	c 34.7s |      13 |    99774 |    41832 |    56203      0 |    17263 |      352
51.79/51.81	c 36.8s |      13 |   101802 |    43532 |    56203      0 |    17263 |      352
53.89/53.91	c 38.8s |      13 |   103686 |    45132 |    56203      0 |    17263 |      352
55.98/56.04	c 41.0s |      13 |   105468 |    46632 |    56203      0 |    17263 |      352
58.08/58.14	c 43.1s |      13 |   107076 |    48032 |    56203      0 |    17263 |      352
60.08/60.19	c 45.1s |      13 |   108722 |    49432 |    56203      0 |    17263 |      352
62.28/62.31	c 47.3s |      13 |   110432 |    50832 |    56203      0 |    17263 |      352
64.28/64.38	c 49.3s |      13 |   111961 |    52132 |    56203      0 |    17263 |      352
66.48/66.50	c 51.4s |      13 |   113725 |    53632 |    56203      0 |    17263 |      352
68.58/68.61	c 53.6s |      13 |   115425 |    55032 |    56203      0 |    17263 |      352
70.58/70.68	c 55.6s |      13 |   117207 |    56532 |    56203      0 |    17263 |      352
72.69/72.78	c 57.7s |      13 |   119142 |    58132 |    61824      0 |    17263 |      352
72.98/73.06	c 58.0s |      14 |   119399 |    58352 |    61824      0 |    17263 |      352
75.08/75.17	c 60.1s |      14 |   120874 |    59552 |    61824      0 |    17263 |      352
77.18/77.26	c 62.2s |      14 |   122416 |    60852 |    61824      0 |    17263 |      352
79.28/79.36	c 64.3s |      14 |   123969 |    62152 |    61824      0 |    17263 |      352
81.38/81.48	c 66.4s |      14 |   125347 |    63352 |    61824      0 |    17263 |      352
83.58/83.67	c 68.6s |      14 |   126928 |    64652 |    61824      0 |    17263 |      352
85.58/85.69	c 70.6s |      14 |   128479 |    65952 |    61824      0 |    17263 |      352
87.68/87.77	c 72.7s |      14 |   129819 |    67052 |    61824      0 |    17263 |      352
89.78/89.89	c 74.8s |      14 |   131275 |    68252 |    61824      0 |    17263 |      352
91.88/91.93	c 76.9s |      14 |   132715 |    69452 |    61824      0 |    17263 |      352
93.88/93.94	c 78.9s |      14 |   134083 |    70552 |    61824      0 |    17263 |      352
95.98/96.09	c 81.0s |      14 |   135651 |    71852 |    61824      0 |    17263 |      352
98.08/98.12	c 83.1s |      14 |   136938 |    72952 |    61824      0 |    17263 |      352
100.18/100.24	c 85.2s |      14 |   138392 |    74152 |    61824      0 |    17263 |      352
102.17/102.26	c 87.2s |      14 |   139835 |    75352 |    61824      0 |    17263 |      352
104.27/104.32	c 89.3s |      14 |   141257 |    76552 |    61824      0 |    17263 |      352
106.27/106.35	c 91.3s |      14 |   142643 |    77752 |    61824      0 |    17263 |      352
108.27/108.36	c 93.3s |      14 |   144081 |    78952 |    61824      0 |    17263 |      352
110.37/110.40	c 95.3s |      14 |   144579 |    79352 |    61824      1 |    17263 |      352
112.47/112.51	c 97.5s |      14 |   145761 |    80352 |    61824      1 |    17263 |      352
114.48/114.51	c 99.5s |      14 |   147279 |    81652 |    61824      1 |    17263 |      352
116.47/116.60	c  101s |      14 |   148918 |    83052 |    61824      1 |    17263 |      352
118.67/118.72	c  103s |      14 |   150606 |    84452 |    61824      1 |    17263 |      352
120.67/120.78	c  105s |      14 |   152250 |    85852 |    61824      1 |    17263 |      352
122.77/122.86	c  107s |      14 |   153873 |    87252 |    68007      1 |    17263 |      352
123.28/123.38	c  108s |      15 |   154324 |    87632 |    68007      1 |    17263 |      352
125.38/125.48	c  110s |      15 |   155699 |    88732 |    68007      1 |    17263 |      352
127.47/127.60	c  112s |      15 |   157353 |    90132 |    68007      1 |    17263 |      352
129.57/129.65	c  114s |      15 |   159003 |    91532 |    68007      1 |    17263 |      352
131.57/131.67	c  116s |      15 |   160794 |    93032 |    68007      1 |    17263 |      352
133.57/133.69	c  118s |      15 |   162417 |    94432 |    68007      1 |    17263 |      352
135.67/135.71	c  120s |      15 |   164091 |    95832 |    68007      1 |    17263 |      352
137.77/137.81	c  122s |      15 |   165571 |    97132 |    68007      1 |    17263 |      352
139.78/139.86	c  124s |      15 |   167069 |    98432 |    68007      1 |    17263 |      352
141.98/142.03	c  126s |      15 |   168370 |    99532 |    68007      1 |    17263 |      352
143.97/144.10	c  129s |      15 |   169442 |   100432 |    68007      1 |    17263 |      352
146.27/146.31	c  131s |      15 |   170666 |   101432 |    68007      1 |    17263 |      352
148.37/148.43	c  133s |      15 |   171870 |   102432 |    68007      1 |    17263 |      352
150.37/150.47	c  135s |      15 |   173067 |   103432 |    68007      1 |    17263 |      352
152.47/152.59	c  137s |      15 |   174227 |   104432 |    68007      1 |    17263 |      352
154.57/154.69	c  139s |      15 |   175471 |   105432 |    68007      1 |    17263 |      352
156.67/156.70	c  141s |      15 |   176533 |   106332 |    68007      1 |    17263 |      352
158.67/158.78	c  143s |      15 |   177755 |   107332 |    68007      1 |    17263 |      352
160.87/160.93	c  145s |      15 |   179109 |   108432 |    68007      1 |    17263 |      352
162.97/163.06	c  148s |      15 |   180254 |   109432 |    68007      1 |    17263 |      352
164.97/165.10	c  150s |      15 |   181321 |   110332 |    68007      1 |    17263 |      352
167.17/167.25	c  152s |      15 |   182540 |   111332 |    68007      1 |    17263 |      352
169.16/169.28	c  154s |      15 |   183618 |   112232 |    68007      1 |    17263 |      352
171.36/171.49	c  156s |      15 |   184799 |   113232 |    68007      1 |    17263 |      352
173.46/173.57	c  158s |      15 |   186001 |   114232 |    68007      1 |    17263 |      352
175.66/175.73	c  160s |      15 |   187170 |   115232 |    68007      1 |    17263 |      352
177.76/177.87	c  162s |      15 |   188293 |   116232 |    68007      1 |    17263 |      352
179.86/179.95	c  164s |      15 |   189441 |   117232 |    68007      1 |    17263 |      352
181.96/182.08	c  167s |      15 |   190767 |   118332 |    68007      1 |    17263 |      352
184.16/184.22	c  169s |      15 |   191913 |   119332 |    68007      1 |    17263 |      352
186.26/186.38	c  171s |      15 |   193059 |   120332 |    68007      1 |    17263 |      352
188.36/188.45	c  173s |      15 |   194054 |   121232 |    68007      1 |    17263 |      352
190.46/190.56	c  175s |      15 |   195205 |   122232 |    68007      1 |    17263 |      352
192.66/192.76	c  177s |      15 |   196395 |   123232 |    68007      1 |    17263 |      352
194.86/194.93	c  179s |      15 |   197412 |   124132 |    68007      1 |    17263 |      352
196.87/196.99	c  181s |      15 |   198429 |   125032 |    68007      1 |    17263 |      352
198.96/199.09	c  184s |      15 |   199132 |   125632 |    68007      2 |    17263 |      352
201.16/201.21	c  186s |      15 |   200328 |   126632 |    68007      2 |    17263 |      352
203.16/203.22	c  188s |      15 |   201999 |   128032 |    68007      2 |    17263 |      352
205.26/205.33	c  190s |      15 |   203577 |   129332 |    68007      2 |    17263 |      352
207.26/207.37	c  192s |      15 |   204944 |   130532 |    68007      2 |    17263 |      352
208.96/209.06	c  194s |      16 |   206123 |   131552 |    74808      2 |    17263 |      352
210.96/211.06	c  196s |      16 |   206811 |   132052 |    74808      2 |    17263 |      352
226.95/227.01	c  211s |      16 |   206917 |   132152 |    74808      2 |    17263 |      352
229.05/229.15	c  214s |      16 |   208279 |   133252 |    74808      2 |    17263 |      352
243.16/243.27	c  228s |      16 |   208796 |   133652 |    74808      2 |    17263 |      352
245.15/245.29	c  230s |      16 |   211147 |   135452 |    74808      2 |    17263 |      352
247.25/247.33	c  232s |      16 |   213225 |   137052 |    74808      2 |    17263 |      352
249.25/249.35	c  234s |      16 |   215287 |   138752 |    74808      2 |    17263 |      352
251.25/251.35	c  236s |      16 |   217209 |   140352 |    74808      2 |    17263 |      352
253.35/253.42	c  238s |      16 |   218979 |   141852 |    74808      2 |    17263 |      352
255.35/255.44	c  240s |      16 |   220609 |   143252 |    74808      2 |    17263 |      352
257.36/257.44	c  242s |      16 |   222664 |   144752 |    74808      2 |    17263 |      352
259.35/259.45	c  244s |      16 |   224288 |   145852 |    74808      2 |    17263 |      352
261.45/261.52	c  246s |      16 |   225776 |   146952 |    74808      2 |    17263 |      352
263.95/264.02	c  248s |      16 |   226909 |   147752 |    74808      2 |    17263 |      352
266.15/266.27	c  251s |      16 |   228197 |   148752 |    74808      2 |    17263 |      352
268.95/269.09	c  254s |      16 |   229313 |   149652 |    74808      2 |    17263 |      352
271.15/271.25	c  256s |      16 |   230332 |   150452 |    74808      2 |    17263 |      352
273.15/273.27	c  258s |      16 |   231284 |   151252 |    74808      2 |    17263 |      352
275.25/275.31	c  260s |      16 |   232210 |   152052 |    74808      2 |    17263 |      352
277.35/277.41	c  262s |      16 |   233127 |   152852 |    74808      2 |    17263 |      352
279.46/279.51	c  264s |      16 |   234124 |   153652 |    74808      2 |    17263 |      352
281.66/281.73	c  266s |      16 |   235091 |   154452 |    74808      2 |    17263 |      352
283.76/283.85	c  268s |      16 |   236119 |   155252 |    74808      2 |    17263 |      352
285.75/285.85	c  270s |      16 |   237098 |   156052 |    74808      2 |    17263 |      352
288.05/288.10	c  273s |      16 |   238216 |   156952 |    74808      2 |    17263 |      352
290.15/290.20	c  275s |      16 |   239026 |   157652 |    74808      2 |    17263 |      352
292.35/292.49	c  277s |      16 |   239997 |   158452 |    74808      2 |    17263 |      352
294.45/294.51	c  279s |      16 |   240854 |   159152 |    74808      2 |    17263 |      352
296.65/296.72	c  281s |      16 |   241839 |   159952 |    74808      2 |    17263 |      352
298.75/298.87	c  283s |      16 |   242668 |   160652 |    74808      2 |    17263 |      352
300.95/301.05	c  285s |      16 |   243510 |   161352 |    74808      2 |    17263 |      352
303.15/303.22	c  288s |      16 |   244360 |   162052 |    74808      2 |    17263 |      352
305.45/305.54	c  290s |      16 |   245165 |   162752 |    74808      2 |    17263 |      352
307.45/307.56	c  292s |      16 |   245874 |   163352 |    74808      2 |    17263 |      352
309.75/309.81	c  294s |      16 |   246532 |   163952 |    74808      2 |    17263 |      352
311.85/311.91	c  296s |      16 |   247235 |   164552 |    74808      2 |    17263 |      352
313.95/314.03	c  298s |      16 |   247972 |   165152 |    74808      2 |    17263 |      352
315.95/316.04	c  300s |      16 |   248700 |   165752 |    74808      2 |    17263 |      352
318.14/318.29	c  303s |      16 |   249528 |   166452 |    74808      2 |    17263 |      352
320.44/320.54	c  305s |      16 |   250341 |   167152 |    74808      2 |    17263 |      352
322.74/322.80	c  307s |      16 |   251138 |   167752 |    74808      2 |    17263 |      352
324.84/324.99	c  309s |      16 |   251850 |   168352 |    74808      2 |    17263 |      352
327.04/327.19	c  312s |      16 |   252666 |   169052 |    74808      2 |    17263 |      352
329.34/329.48	c  314s |      16 |   253544 |   169752 |    74808      2 |    17263 |      352
331.54/331.66	c  316s |      16 |   254339 |   170452 |    74808      2 |    17263 |      352
333.54/333.66	c  318s |      16 |   255100 |   171052 |    74808      2 |    17263 |      352
335.55/335.67	c  320s |      16 |   255859 |   171652 |    74808      2 |    17263 |      352
337.65/337.71	c  322s |      16 |   256605 |   172252 |    74808      2 |    17263 |      352
340.14/340.21	c  325s |      16 |   257353 |   172752 |    74808      2 |    17264 |      352
342.34/342.40	c  327s |      16 |   258254 |   173352 |    74808      2 |    17264 |      352
344.54/344.65	c  329s |      16 |   259336 |   174052 |    74808      2 |    17264 |      352
346.74/346.86	c  331s |      16 |   260146 |   174652 |    74808      2 |    17264 |      352
348.94/349.08	c  334s |      16 |   260560 |   174952 |    74808      3 |    17264 |      352
351.04/351.10	c  336s |      16 |   261256 |   175452 |    74808      3 |    17264 |      352
353.34/353.44	c  338s |      16 |   261690 |   175752 |    74808      3 |    17264 |      352
355.54/355.66	c  340s |      16 |   262413 |   176352 |    74808      3 |    17264 |      352
357.84/357.93	c  342s |      16 |   263163 |   176952 |    74808      3 |    17264 |      352
359.84/359.98	c  344s |      16 |   263977 |   177552 |    74808      3 |    17264 |      352
361.94/362.06	c  347s |      16 |   264826 |   178152 |    74808      3 |    17264 |      352
364.14/364.28	c  349s |      16 |   265452 |   178652 |    74808      3 |    17264 |      352
366.24/366.32	c  351s |      16 |   266275 |   179252 |    74808      3 |    17264 |      352
368.44/368.55	c  353s |      16 |   267035 |   179852 |    74808      3 |    17264 |      352
370.74/370.87	c  355s |      16 |   267924 |   180452 |    74808      3 |    17264 |      352
372.73/372.89	c  357s |      16 |   268879 |   181052 |    74808      3 |    17264 |      352
375.04/375.11	c  360s |      16 |   269950 |   181652 |    74808      3 |    17264 |      352
377.24/377.35	c  362s |      16 |   270737 |   182252 |    74808      3 |    17264 |      352
379.33/379.45	c  364s |      16 |   271451 |   182852 |    74808      3 |    17264 |      352
381.43/381.53	c  366s |      16 |   272257 |   183452 |    74808      3 |    17264 |      352
383.43/383.55	c  368s |      16 |   273059 |   184052 |    74808      3 |    17264 |      352
385.73/385.90	c  370s |      16 |   273938 |   184752 |    74808      3 |    17264 |      352
388.03/388.16	c  373s |      16 |   274697 |   185352 |    74808      3 |    17264 |      352
390.33/390.47	c  375s |      16 |   275752 |   185952 |    74808      3 |    17264 |      352
392.53/392.60	c  377s |      16 |   276431 |   186452 |    74808      3 |    17264 |      352
395.73/395.84	c  380s |      16 |   277733 |   187252 |    74808      3 |    17264 |      352
397.83/397.91	c  382s |      16 |   279049 |   188252 |    74808      3 |    17264 |      352
400.03/400.11	c  385s |      16 |   280324 |   189252 |    74808      3 |    17264 |      352
402.03/402.18	c  387s |      16 |   281254 |   190052 |    74808      3 |    17264 |      352
404.23/404.39	c  389s |      16 |   282406 |   190952 |    74808      3 |    17264 |      352
406.33/406.44	c  391s |      16 |   283353 |   191752 |    74808      3 |    17264 |      352
408.43/408.51	c  393s |      16 |   284356 |   192552 |    74808      3 |    17264 |      352
410.63/410.73	c  395s |      16 |   285443 |   193352 |    74808      3 |    17264 |      352
412.73/412.81	c  397s |      16 |   286343 |   194052 |    74808      3 |    17264 |      352
414.82/414.97	c  399s |      16 |   287488 |   194952 |    74808      3 |    17264 |      352
417.02/417.16	c  402s |      16 |   288487 |   195752 |    74808      3 |    17264 |      352
419.13/419.23	c  404s |      16 |   289480 |   196552 |    82289      3 |    17264 |      352
421.23/421.33	c  406s |      16 |   290483 |   197352 |    82289      3 |    17264 |      352
421.42/421.56	c  406s |      17 |   290593 |   197432 |    82289      3 |    17264 |      352
423.43/423.57	c  408s |      17 |   291325 |   197832 |    82289      3 |    17264 |      352
425.42/425.59	c  410s |      17 |   292359 |   198632 |    82289      3 |    17264 |      352
427.72/427.80	c  412s |      17 |   293479 |   199432 |    82289      3 |    17264 |      352
429.72/429.81	c  414s |      17 |   294132 |   199932 |    82289      3 |    17264 |      352
431.82/431.91	c  416s |      17 |   294950 |   200632 |    82289      3 |    17264 |      352
434.02/434.16	c  419s |      17 |   295920 |   201432 |    82289      3 |    17264 |      352
436.12/436.24	c  421s |      17 |   297004 |   202232 |    82289      3 |    17264 |      352
438.32/438.41	c  423s |      17 |   297891 |   203032 |    82289      3 |    17264 |      352
440.32/440.46	c  425s |      17 |   298616 |   203632 |    82289      3 |    17264 |      352
442.42/442.53	c  427s |      17 |   299650 |   204332 |    82289      3 |    17264 |      352
444.62/444.70	c  429s |      17 |   300540 |   205032 |    82289      3 |    17264 |      352
446.72/446.84	c  431s |      17 |   301388 |   205732 |    82289      3 |    17264 |      352
449.02/449.15	c  434s |      17 |   302478 |   206432 |    82289      3 |    17264 |      352
451.12/451.24	c  436s |      17 |   303423 |   207132 |    82289      3 |    17264 |      352
453.31/453.40	c  438s |      17 |   304565 |   207932 |    82289      3 |    17264 |      352
455.51/455.64	c  440s |      17 |   305633 |   208632 |    82289      3 |    17264 |      352
457.81/457.92	c  442s |      17 |   306501 |   209332 |    82289      3 |    17264 |      352
459.91/460.02	c  444s |      17 |   307564 |   210132 |    82289      3 |    17264 |      352
462.02/462.11	c  447s |      17 |   308503 |   210832 |    82289      3 |    17264 |      352
464.12/464.30	c  449s |      17 |   309575 |   211532 |    82289      3 |    17264 |      352
466.42/466.56	c  451s |      17 |   310530 |   212232 |    82289      3 |    17264 |      352
468.61/468.79	c  453s |      17 |   311773 |   213132 |    82289      3 |    17264 |      352
470.61/470.80	c  455s |      17 |   312839 |   213932 |    82289      3 |    17264 |      352
472.80/472.94	c  457s |      17 |   313776 |   214732 |    82289      3 |    17264 |      352
475.00/475.16	c  460s |      17 |   314862 |   215632 |    82289      3 |    17264 |      352
477.20/477.33	c  462s |      17 |   315944 |   216532 |    82289      3 |    17264 |      352
479.20/479.35	c  464s |      17 |   316979 |   217332 |    82289      3 |    17264 |      352
481.40/481.55	c  466s |      17 |   318032 |   218132 |    82289      3 |    17264 |      352
483.60/483.79	c  468s |      17 |   318936 |   218832 |    82289      3 |    17264 |      352
485.90/486.03	c  470s |      17 |   320024 |   219632 |    82289      3 |    17264 |      352
487.90/488.08	c  473s |      17 |   321019 |   220432 |    82289      3 |    17264 |      352
490.10/490.22	c  475s |      17 |   321970 |   221132 |    82289      3 |    17264 |      352
492.20/492.33	c  477s |      17 |   322958 |   221932 |    82289      3 |    17264 |      352
494.39/494.51	c  479s |      17 |   323798 |   222632 |    82289      3 |    17264 |      352
496.39/496.54	c  481s |      17 |   324691 |   223332 |    82289      3 |    17264 |      352
498.59/498.73	c  483s |      17 |   325643 |   224032 |    82289      3 |    17264 |      352
500.59/500.76	c  485s |      17 |   326872 |   225032 |    82289      3 |    17264 |      352
502.89/503.00	c  487s |      17 |   328105 |   226032 |    82289      3 |    17264 |      352
504.89/505.04	c  489s |      17 |   329064 |   226832 |    82289      3 |    17264 |      352
506.99/507.16	c  492s |      17 |   330132 |   227632 |    82289      3 |    17264 |      352
509.09/509.20	c  494s |      17 |   331001 |   228332 |    82289      3 |    17264 |      352
511.19/511.37	c  496s |      17 |   331395 |   228632 |    82289      4 |    17264 |      352
513.60/513.74	c  498s |      17 |   332499 |   229532 |    82289      4 |    17264 |      352
515.80/515.91	c  500s |      17 |   333620 |   230532 |    82289      4 |    17264 |      352
517.89/518.07	c  503s |      17 |   334816 |   231532 |    82289      4 |    17264 |      352
519.99/520.13	c  505s |      17 |   335746 |   232332 |    82289      4 |    17264 |      352
522.19/522.32	c  507s |      17 |   336681 |   233132 |    82289      4 |    17264 |      352
524.38/524.53	c  509s |      17 |   337622 |   233932 |    82289      4 |    17264 |      352
526.48/526.65	c  511s |      17 |   338555 |   234732 |    82289      4 |    17264 |      352
528.88/529.08	c  514s |      17 |   339130 |   235232 |    82289      4 |    17264 |      352
530.98/531.14	c  516s |      17 |   340112 |   236032 |    82289      4 |    17264 |      352
533.18/533.37	c  518s |      17 |   341174 |   236932 |    82289      4 |    17264 |      352
535.37/535.55	c  520s |      17 |   342250 |   237832 |    82289      4 |    17264 |      352
537.37/537.57	c  522s |      17 |   343306 |   238632 |    82289      4 |    17264 |      352
539.47/539.65	c  524s |      17 |   344213 |   239432 |    82289      4 |    17264 |      352
541.57/541.70	c  526s |      17 |   345157 |   240232 |    82289      4 |    17264 |      352
543.77/543.92	c  528s |      17 |   346237 |   241132 |    82289      4 |    17264 |      352
545.77/545.99	c  530s |      17 |   347154 |   241932 |    82289      4 |    17264 |      352
547.97/548.10	c  533s |      17 |   348185 |   242732 |    82289      4 |    17264 |      352
550.17/550.38	c  535s |      17 |   349272 |   243632 |    82289      4 |    17264 |      352
552.46/552.60	c  537s |      17 |   350364 |   244532 |    82289      4 |    17264 |      352
554.56/554.70	c  539s |      17 |   351335 |   245332 |    82289      4 |    17264 |      352
556.76/556.90	c  541s |      17 |   352418 |   246232 |    82289      4 |    17264 |      352
558.77/558.91	c  543s |      17 |   353273 |   246932 |    82289      4 |    17264 |      352
560.97/561.12	c  546s |      17 |   354099 |   247632 |    82289      4 |    17264 |      352
563.06/563.22	c  548s |      17 |   354956 |   248332 |    82289      4 |    17264 |      352
565.26/565.41	c  550s |      17 |   355892 |   249132 |    82289      4 |    17264 |      352
567.35/567.59	c  552s |      17 |   356808 |   249932 |    82289      4 |    17264 |      352
569.45/569.68	c  554s |      17 |   357770 |   250732 |    82289      4 |    17264 |      352
571.55/571.73	c  556s |      17 |   358564 |   251432 |    82289      4 |    17264 |      352
573.75/573.92	c  558s |      17 |   359678 |   252332 |    82289      4 |    17264 |      352
575.85/576.01	c  560s |      17 |   360585 |   253132 |    82289      4 |    17264 |      352
577.95/578.10	c  563s |      17 |   361625 |   254032 |    82289      4 |    17264 |      352
579.95/580.18	c  565s |      17 |   362712 |   254932 |    82289      4 |    17264 |      352
582.24/582.44	c  567s |      17 |   363855 |   255932 |    82289      4 |    17264 |      352
584.34/584.56	c  569s |      17 |   364773 |   256732 |    82289      4 |    17264 |      352
586.44/586.66	c  571s |      17 |   365721 |   257532 |    82289      4 |    17264 |      352
588.64/588.85	c  573s |      17 |   366764 |   258432 |    82289      4 |    17264 |      352
590.74/590.95	c  575s |      17 |   367588 |   259132 |    82289      4 |    17264 |      352
592.74/592.96	c  577s |      17 |   368438 |   259832 |    82289      4 |    17264 |      352
594.94/595.16	c  580s |      17 |   369387 |   260632 |    82289      4 |    17264 |      352
597.04/597.27	c  582s |      17 |   370277 |   261332 |    82289      4 |    17264 |      352
599.34/599.51	c  584s |      17 |   371263 |   262132 |    82289      4 |    17264 |      352
601.43/601.64	c  586s |      17 |   372100 |   262832 |    82289      4 |    17264 |      352
603.63/603.80	c  588s |      17 |   373105 |   263632 |    82289      4 |    17264 |      352
605.73/605.94	c  590s |      17 |   374038 |   264432 |    82289      4 |    17264 |      352
607.93/608.11	c  593s |      17 |   375046 |   265232 |    82289      4 |    17264 |      352
610.13/610.37	c  595s |      17 |   375995 |   266032 |    82289      4 |    17264 |      352
612.42/612.64	c  597s |      17 |   376820 |   266732 |    82289      4 |    17264 |      352
614.62/614.83	c  599s |      17 |   377634 |   267432 |    82289      4 |    17264 |      352
616.82/617.10	c  602s |      17 |   378452 |   268132 |    82289      4 |    17264 |      352
618.92/619.12	c  604s |      17 |   379226 |   268832 |    82289      4 |    17264 |      352
621.12/621.33	c  606s |      17 |   380190 |   269632 |    82289      4 |    17264 |      352
623.11/623.34	c  608s |      17 |   380950 |   270332 |    82289      4 |    17264 |      352
625.21/625.40	c  610s |      17 |   381740 |   271032 |    82289      4 |    17264 |      352
627.31/627.59	c  612s |      17 |   382506 |   271732 |    82289      4 |    17264 |      352
629.61/629.85	c  614s |      17 |   383437 |   272532 |    82289      4 |    17264 |      352
631.61/631.88	c  616s |      17 |   384259 |   273232 |    82289      4 |    17264 |      352
633.81/634.01	c  618s |      17 |   385067 |   273932 |    82289      4 |    17264 |      352
635.81/636.03	c  620s |      17 |   385893 |   274632 |    82289      4 |    17264 |      352
637.81/638.10	c  623s |      17 |   386636 |   275332 |    82289      4 |    17264 |      352
640.01/640.29	c  625s |      17 |   387404 |   276032 |    82289      4 |    17264 |      352
642.21/642.41	c  627s |      17 |   388207 |   276732 |    82289      4 |    17264 |      352
644.41/644.68	c  629s |      17 |   389165 |   277532 |    82289      4 |    17264 |      352
646.50/646.78	c  631s |      17 |   389928 |   278232 |    82289      4 |    17264 |      352
649.10/649.30	c  634s |      17 |   390133 |   278432 |    82289      5 |    17264 |      352
651.80/652.02	c  636s |      17 |   390907 |   279132 |    82289      5 |    17264 |      352
653.89/654.10	c  639s |      17 |   391631 |   279732 |    82289      5 |    17264 |      352
655.99/656.27	c  641s |      17 |   392446 |   280332 |    82289      5 |    17264 |      352
658.29/658.52	c  643s |      17 |   393455 |   281132 |    82289      5 |    17264 |      352
660.29/660.59	c  645s |      17 |   394319 |   281832 |    82289      5 |    17264 |      352
662.49/662.75	c  647s |      17 |   395367 |   282632 |    82289      5 |    17264 |      352
664.69/665.00	c  649s |      17 |   396415 |   283432 |    82289      5 |    17264 |      352
666.79/667.04	c  651s |      17 |   397226 |   284132 |    82289      5 |    17264 |      352
668.89/669.10	c  654s |      17 |   398098 |   284832 |    82289      5 |    17264 |      352
671.09/671.38	c  656s |      17 |   398967 |   285532 |    82289      5 |    17264 |      352
673.18/673.47	c  658s |      17 |   399813 |   286232 |    82289      5 |    17264 |      352
675.58/675.80	c  660s |      17 |   400745 |   287032 |    82289      5 |    17264 |      352
678.08/678.32	c  663s |      17 |   401536 |   287632 |    82289      5 |    17264 |      352
680.28/680.55	c  665s |      17 |   402333 |   288232 |    82289      5 |    17264 |      352
682.58/682.82	c  667s |      17 |   403245 |   288932 |    82289      5 |    17264 |      352
684.58/684.87	c  669s |      17 |   403974 |   289532 |    82289      5 |    17264 |      352
686.68/686.93	c  671s |      17 |   404695 |   290132 |    82289      5 |    17264 |      352
688.88/689.17	c  674s |      17 |   405636 |   290832 |    82289      5 |    17264 |      352
691.18/691.44	c  676s |      17 |   406401 |   291332 |    82289      5 |    17264 |      352
693.27/693.52	c  678s |      17 |   407165 |   291932 |    82289      5 |    17264 |      352
695.37/695.64	c  680s |      17 |   407973 |   292532 |    82289      5 |    17264 |      352
697.57/697.86	c  682s |      17 |   408742 |   293132 |    82289      5 |    17264 |      352
699.67/699.92	c  684s |      17 |   409694 |   293832 |    82289      5 |    17264 |      352
701.77/702.08	c  687s |      17 |   410676 |   294532 |    90518      5 |    17264 |      352
704.17/704.42	c  689s |      17 |   411746 |   295332 |    90518      5 |    17264 |      352
706.17/706.42	c  691s |      17 |   412640 |   296032 |    90518      5 |    17264 |      352
707.17/707.41	c  692s |      18 |   412926 |   296252 |    90518      5 |    17264 |      352
709.37/709.61	c  694s |      18 |   413476 |   296552 |    90518      5 |    17264 |      352
714.67/715.00	c  699s |      18 |   414116 |   296952 |    90518      5 |    17264 |      352
717.07/717.37	c  702s |      18 |   414525 |   297252 |    90518      5 |    17264 |      352
719.47/719.77	c  704s |      18 |   415321 |   297752 |    90518      5 |    17264 |      352
721.67/721.91	c  706s |      18 |   415997 |   298252 |    90518      5 |    17264 |      352
723.96/724.20	c  709s |      18 |   416717 |   298752 |    90518      5 |    17264 |      352
726.06/726.31	c  711s |      18 |   417357 |   299252 |    90518      5 |    17264 |      352
728.36/728.67	c  713s |      18 |   417997 |   299752 |    90518      5 |    17264 |      352
730.56/730.88	c  715s |      18 |   418961 |   300552 |    90518      5 |    17264 |      352
732.65/732.90	c  717s |      18 |   420095 |   301552 |    90518      5 |    17264 |      352
734.66/734.93	c  719s |      18 |   421224 |   302552 |    90518      5 |    17264 |      352
736.86/737.12	c  722s |      18 |   422506 |   303652 |    90518      5 |    17264 |      352
738.96/739.26	c  724s |      18 |   423746 |   304752 |    90518      5 |    17264 |      352
741.16/741.43	c  726s |      18 |   425069 |   305852 |    90518      5 |    17264 |      352
743.24/743.53	c  728s |      18 |   426199 |   306852 |    90518      5 |    17264 |      352
745.34/745.63	c  730s |      18 |   427393 |   307852 |    90518      5 |    17264 |      352
747.54/747.80	c  732s |      18 |   428648 |   308852 |    90518      5 |    17264 |      352
749.54/749.86	c  734s |      18 |   429712 |   309752 |    90518      5 |    17264 |      352
751.74/752.05	c  736s |      18 |   430960 |   310752 |    90518      5 |    17264 |      352
753.94/754.27	c  739s |      18 |   432106 |   311752 |    90518      5 |    17264 |      352
756.14/756.46	c  741s |      18 |   433121 |   312652 |    90518      5 |    17264 |      352
758.14/758.48	c  743s |      18 |   434218 |   313552 |    90518      5 |    17264 |      352
760.24/760.55	c  745s |      18 |   435176 |   314352 |    90518      5 |    17264 |      352
762.33/762.60	c  747s |      18 |   436254 |   315252 |    90518      5 |    17264 |      352
764.53/764.86	c  749s |      18 |   437175 |   316052 |    90518      5 |    17264 |      352
766.73/767.05	c  751s |      18 |   438255 |   316952 |    90518      5 |    17264 |      352
768.93/769.24	c  754s |      18 |   439299 |   317852 |    90518      5 |    17264 |      352
771.13/771.43	c  756s |      18 |   440352 |   318752 |    90518      5 |    17264 |      352
773.32/773.60	c  758s |      18 |   441450 |   319652 |    90518      5 |    17264 |      352
775.52/775.81	c  760s |      18 |   442548 |   320552 |    90518      5 |    17264 |      352
777.53/777.83	c  762s |      18 |   443622 |   321452 |    90518      5 |    17264 |      352
779.63/779.95	c  764s |      18 |   444721 |   322352 |    90518      5 |    17264 |      352
781.62/781.98	c  766s |      18 |   445696 |   323152 |    90518      5 |    17264 |      352
783.82/784.13	c  769s |      18 |   446602 |   323952 |    90518      5 |    17264 |      352
786.12/786.44	c  771s |      18 |   447523 |   324752 |    90518      5 |    17264 |      352
788.22/788.50	c  773s |      18 |   448351 |   325452 |    90518      5 |    17264 |      352
790.32/790.60	c  775s |      18 |   449328 |   326252 |    90518      5 |    17264 |      352
792.31/792.65	c  777s |      18 |   450284 |   327052 |    90518      5 |    17264 |      352
794.31/794.69	c  779s |      18 |   451214 |   327852 |    90518      5 |    17264 |      352
796.51/796.83	c  781s |      18 |   452317 |   328752 |    90518      5 |    17264 |      352
798.61/798.99	c  783s |      18 |   453364 |   329652 |    90518      5 |    17264 |      352
800.81/801.11	c  786s |      18 |   454345 |   330452 |    90518      5 |    17264 |      352
802.90/803.22	c  788s |      18 |   455336 |   331252 |    90518      5 |    17264 |      352
804.91/805.30	c  790s |      18 |   456293 |   332052 |    90518      5 |    17264 |      352
807.11/807.44	c  792s |      18 |   457248 |   332852 |    90518      5 |    17264 |      352
809.20/809.55	c  794s |      18 |   458071 |   333552 |    90518      5 |    17264 |      352
811.40/811.71	c  796s |      18 |   459128 |   334452 |    90518      5 |    17264 |      352
813.50/813.81	c  798s |      18 |   460138 |   335252 |    90518      5 |    17264 |      352
815.50/815.85	c  800s |      18 |   461051 |   335952 |    90518      5 |    17264 |      352
818.29/818.66	c  803s |      18 |   461621 |   336452 |    90518      6 |    17264 |      352
820.59/820.96	c  805s |      18 |   462581 |   337252 |    90518      6 |    17264 |      352
824.09/824.41	c  809s |      18 |   463571 |   338052 |    90518      6 |    17264 |      352
826.29/826.65	c  811s |      18 |   463679 |   338152 |    90518      6 |    17264 |      352
828.49/828.88	c  813s |      18 |   464378 |   338752 |    90518      6 |    17264 |      352
830.59/830.97	c  815s |      18 |   465089 |   339352 |    90518      6 |    17264 |      352
832.89/833.29	c  818s |      18 |   466046 |   340152 |    90518      6 |    17264 |      352
834.99/835.35	c  820s |      18 |   466732 |   340752 |    90518      6 |    17264 |      352
837.09/837.44	c  822s |      18 |   467441 |   341352 |    90518      6 |    17264 |      352
839.18/839.59	c  824s |      18 |   468503 |   342152 |    90518      6 |    17264 |      352
841.48/841.83	c  826s |      18 |   469613 |   343052 |    90518      6 |    17264 |      352
843.68/844.01	c  828s |      18 |   470626 |   343852 |    90518      6 |    17264 |      352
845.78/846.10	c  831s |      18 |   471536 |   344652 |    90518      6 |    17264 |      352
847.89/848.24	c  833s |      18 |   472397 |   345352 |    90518      6 |    17264 |      352
850.08/850.45	c  835s |      18 |   473184 |   346052 |    90518      6 |    17264 |      352
852.08/852.47	c  837s |      18 |   473959 |   346752 |    90518      6 |    17264 |      352
854.18/854.59	c  839s |      18 |   474883 |   347552 |    90518      6 |    17264 |      352
856.27/856.63	c  841s |      18 |   476042 |   348452 |    90518      6 |    17264 |      352
858.27/858.69	c  843s |      18 |   477200 |   349352 |    90518      6 |    17264 |      352
860.58/860.93	c  845s |      18 |   477781 |   349852 |    90518      6 |    17264 |      352
862.57/862.99	c  847s |      18 |   478567 |   350552 |    90518      6 |    17264 |      352
864.67/865.00	c  849s |      18 |   479376 |   351252 |    90518      6 |    17264 |      352
866.87/867.28	c  852s |      18 |   480059 |   351852 |    90518      6 |    17264 |      352
868.97/869.39	c  854s |      18 |   480706 |   352452 |    90518      6 |    17264 |      352
871.07/871.41	c  856s |      18 |   481502 |   353152 |    90518      6 |    17264 |      352
873.27/873.66	c  858s |      18 |   482436 |   353952 |    90518      6 |    17264 |      352
875.38/875.73	c  860s |      18 |   483253 |   354652 |    90518      6 |    17264 |      352
877.67/878.03	c  862s |      18 |   484337 |   355552 |    90518      6 |    17264 |      352
879.78/880.19	c  865s |      18 |   485138 |   356252 |    90518      6 |    17264 |      352
881.88/882.26	c  867s |      18 |   485948 |   356952 |    90518      6 |    17264 |      352
883.96/884.34	c  869s |      18 |   486779 |   357652 |    90518      6 |    17264 |      352
886.06/886.46	c  871s |      18 |   487587 |   358352 |    90518      6 |    17264 |      352
888.36/888.70	c  873s |      18 |   488409 |   359052 |    90518      6 |    17264 |      352
890.46/890.89	c  875s |      18 |   489210 |   359752 |    90518      6 |    17264 |      352
892.87/893.21	c  878s |      18 |   489994 |   360452 |    90518      6 |    17264 |      352
894.96/895.35	c  880s |      18 |   490636 |   361052 |    90518      6 |    17264 |      352
897.06/897.49	c  882s |      18 |   491423 |   361752 |    90518      6 |    17264 |      352
899.16/899.59	c  884s |      18 |   492105 |   362352 |    90518      6 |    17264 |      352
901.46/901.89	c  886s |      18 |   492764 |   362952 |    90518      6 |    17264 |      352
903.66/904.07	c  889s |      18 |   493605 |   363652 |    90518      6 |    17264 |      352
907.27/907.67	c  892s |      18 |   494565 |   364252 |    90518      6 |    17265 |      352
909.56/909.94	c  894s |      18 |   495225 |   364752 |    90518      6 |    17265 |      352
911.67/912.02	c  896s |      18 |   495995 |   365452 |    90518      6 |    17265 |      352
913.65/914.04	c  898s |      18 |   496658 |   366052 |    90518      6 |    17265 |      352
915.65/916.08	c  901s |      18 |   497428 |   366752 |    90518      6 |    17265 |      352
917.75/918.11	c  903s |      18 |   498216 |   367452 |    90518      6 |    17265 |      352
919.75/920.14	c  905s |      18 |   498988 |   368152 |    90518      6 |    17265 |      352
921.95/922.40	c  907s |      18 |   499866 |   368952 |    90518      6 |    17265 |      352
924.05/924.47	c  909s |      18 |   500645 |   369652 |    90518      6 |    17265 |      352
926.25/926.62	c  911s |      18 |   501433 |   370352 |    90518      6 |    17265 |      352
928.35/928.77	c  913s |      18 |   502217 |   371052 |    90518      6 |    17265 |      352
930.55/930.96	c  915s |      18 |   503032 |   371752 |    90518      6 |    17265 |      352
932.74/933.17	c  918s |      18 |   503728 |   372352 |    90518      6 |    17265 |      352
934.94/935.31	c  920s |      18 |   504517 |   373052 |    90518      6 |    17265 |      352
937.14/937.52	c  922s |      18 |   505438 |   373852 |    90518      6 |    17265 |      352
939.44/939.80	c  924s |      18 |   506236 |   374552 |    90518      6 |    17265 |      352
941.54/941.91	c  926s |      18 |   507025 |   375252 |    90518      6 |    17265 |      352
943.54/943.92	c  928s |      18 |   507695 |   375852 |    90518      6 |    17265 |      352
945.64/946.04	c  930s |      18 |   508539 |   376552 |    90518      6 |    17265 |      352
947.73/948.19	c  933s |      18 |   509250 |   377152 |    90518      6 |    17265 |      352
950.04/950.42	c  935s |      18 |   510079 |   377852 |    90518      6 |    17265 |      352
952.13/952.59	c  937s |      18 |   510751 |   378452 |    90518      6 |    17265 |      352
954.23/954.66	c  939s |      18 |   511474 |   379052 |    90518      6 |    17265 |      352
956.53/956.92	c  941s |      18 |   512163 |   379652 |    90518      6 |    17265 |      352
958.84/959.29	c  944s |      18 |   512860 |   380252 |    90518      6 |    17265 |      352
960.93/961.38	c  946s |      18 |   513481 |   380752 |    90518      6 |    17265 |      352
963.13/963.50	c  948s |      18 |   514211 |   381352 |    90518      6 |    17265 |      352
965.54/965.98	c  950s |      18 |   514685 |   381752 |    90518      6 |    17265 |      352
975.33/975.78	c  960s |      18 |   515276 |   382252 |    90518      6 |    17265 |      352
977.42/977.86	c  962s |      18 |   515924 |   382852 |    90518      6 |    17265 |      352
979.62/980.02	c  964s |      18 |   516600 |   383452 |    90518      6 |    17265 |      352
981.62/982.04	c  966s |      18 |   517266 |   384052 |    90518      6 |    17265 |      352
983.82/984.24	c  969s |      18 |   518043 |   384752 |    90518      6 |    17265 |      352
986.12/986.54	c  971s |      18 |   518865 |   385452 |    90518      6 |    17265 |      352
988.22/988.60	c  973s |      18 |   519579 |   386052 |    90518      6 |    17265 |      352
990.22/990.67	c  975s |      18 |   520276 |   386652 |    90518      6 |    17265 |      352
992.41/992.82	c  977s |      18 |   520947 |   387152 |    90518      6 |    17265 |      352
994.51/994.95	c  979s |      18 |   522130 |   388052 |    90518      6 |    17265 |      352
998.81/999.20	c  984s |      18 |   523073 |   388952 |    90518      6 |    17265 |      352
1000.91/1001.32	c  986s |      18 |   524226 |   390052 |    90518      6 |    17265 |      352
1003.61/1004.01	c  988s |      18 |   524756 |   390552 |    90518      7 |    17265 |      352
1005.71/1006.12	c  991s |      18 |   525304 |   391052 |    90518      7 |    17265 |      352
1007.91/1008.38	c  993s |      18 |   526317 |   392052 |    90518      7 |    17265 |      352
1010.11/1010.55	c  995s |      18 |   527462 |   393152 |    90518      7 |    17265 |      352
1012.21/1012.69	c  997s |      18 |   528494 |   394152 |    90518      7 |    17265 |      352
1014.40/1014.87	c  999s |      18 |   529604 |   395252 |    90518      7 |    17265 |      352
1016.50/1016.97	c 1001s |      18 |   530628 |   396252 |    90518      7 |    17265 |      352
1018.70/1019.10	c 1004s |      18 |   531471 |   397052 |    90518      7 |    17265 |      352
1021.30/1021.70	c 1006s |      18 |   531695 |   397252 |    90518      7 |    17265 |      352
1023.50/1023.97	c 1008s |      18 |   532495 |   397952 |    90518      7 |    17265 |      352
1025.70/1026.11	c 1011s |      18 |   533324 |   398652 |    90518      7 |    17265 |      352
1028.00/1028.40	c 1013s |      18 |   534188 |   399452 |    90518      7 |    17265 |      352
1030.00/1030.40	c 1015s |      18 |   534707 |   399952 |    90518      7 |    17265 |      352
1032.00/1032.47	c 1017s |      18 |   535458 |   400652 |    90518      7 |    17265 |      352
1034.09/1034.52	c 1019s |      18 |   536224 |   401352 |    90518      7 |    17265 |      352
1036.39/1036.82	c 1021s |      18 |   536951 |   402052 |    90518      7 |    17265 |      352
1038.69/1039.13	c 1024s |      18 |   538016 |   403052 |    90518      7 |    17265 |      352
1042.50/1042.91	c 1027s |      18 |   539115 |   403952 |    90518      7 |    17269 |      352
1044.49/1044.94	c 1029s |      18 |   539973 |   404552 |    90518      7 |    17269 |      352
1046.69/1047.15	c 1032s |      18 |   540910 |   405252 |    90518      7 |    17269 |      352
1049.00/1049.42	c 1034s |      18 |   541717 |   405952 |    90518      7 |    17269 |      352
1059.29/1059.73	c 1044s |      18 |   542209 |   406352 |    90518      7 |    17269 |      352
1061.39/1061.87	c 1046s |      18 |   543081 |   407052 |    90518      7 |    17269 |      352
1063.49/1063.99	c 1048s |      18 |   543885 |   407752 |    90518      7 |    17269 |      352
1065.60/1066.06	c 1051s |      18 |   544739 |   408452 |    90518      7 |    17269 |      352
1067.70/1068.19	c 1053s |      18 |   545568 |   409152 |    90518      7 |    17269 |      352
1070.39/1070.84	c 1055s |      18 |   546309 |   409852 |    90518      7 |    17269 |      352
1072.69/1073.13	c 1058s |      18 |   547219 |   410652 |    90518      7 |    17269 |      352
1074.89/1075.38	c 1060s |      18 |   548141 |   411452 |    90518      7 |    17269 |      352
1077.09/1077.58	c 1062s |      18 |   548939 |   412152 |    90518      7 |    17269 |      352
1079.19/1079.69	c 1064s |      18 |   549723 |   412852 |    90518      7 |    17269 |      352
1081.39/1081.84	c 1066s |      18 |   550509 |   413552 |    90518      7 |    17269 |      352
1083.59/1084.04	c 1068s |      18 |   551304 |   414252 |    90518      7 |    17269 |      352
1085.79/1086.29	c 1071s |      18 |   552136 |   414952 |    90518      7 |    17269 |      352
1087.99/1088.44	c 1073s |      18 |   553013 |   415652 |    90518      7 |    17269 |      352
1090.29/1090.70	c 1075s |      18 |   554127 |   416452 |    90518      7 |    17269 |      352
1092.29/1092.78	c 1077s |      18 |   554985 |   417152 |    90518      7 |    17269 |      352
1094.48/1094.93	c 1079s |      18 |   555955 |   417852 |    90518      7 |    17269 |      352
1096.78/1097.24	c 1082s |      18 |   556897 |   418652 |    90518      7 |    17269 |      352
1098.88/1099.30	c 1084s |      18 |   557728 |   419352 |    90518      7 |    17269 |      352
1100.88/1101.38	c 1086s |      18 |   558569 |   420052 |    90518      7 |    17269 |      352
1102.89/1103.39	c 1088s |      18 |   559365 |   420752 |    90518      7 |    17269 |      352
1105.19/1105.64	c 1090s |      18 |   560230 |   421552 |    90518      7 |    17269 |      352
1107.39/1107.84	c 1092s |      18 |   561086 |   422252 |    90518      7 |    17269 |      352
1109.68/1110.10	c 1095s |      18 |   561909 |   422952 |    90518      7 |    17269 |      352
1111.88/1112.32	c 1097s |      18 |   562655 |   423652 |    90518      7 |    17269 |      352
1113.98/1114.41	c 1099s |      18 |   563332 |   424252 |    90518      7 |    17269 |      352
1116.18/1116.64	c 1101s |      18 |   564091 |   424952 |    90518      7 |    17269 |      352
1118.48/1118.92	c 1103s |      18 |   564970 |   425652 |    90518      7 |    17269 |      352
1120.48/1121.00	c 1105s |      18 |   565863 |   426252 |    90518      7 |    17269 |      352
1122.78/1123.28	c 1108s |      18 |   566656 |   426952 |    90518      7 |    17269 |      352
1124.88/1125.39	c 1110s |      18 |   567342 |   427552 |    90518      7 |    17269 |      352
1126.97/1127.49	c 1112s |      18 |   568005 |   428152 |    90518      7 |    17269 |      352
1129.28/1129.73	c 1114s |      18 |   568640 |   428752 |    90518      7 |    17269 |      352
1131.37/1131.90	c 1116s |      18 |   569316 |   429352 |    90518      7 |    17269 |      352
1133.57/1134.03	c 1118s |      18 |   570013 |   429952 |    90518      7 |    17269 |      352
1135.67/1136.19	c 1121s |      18 |   570804 |   430652 |    90518      7 |    17269 |      352
1137.97/1138.49	c 1123s |      18 |   571592 |   431352 |    90518      7 |    17269 |      352
1140.17/1140.62	c 1125s |      18 |   572299 |   431952 |    90518      7 |    17269 |      352
1142.48/1142.96	c 1127s |      18 |   572997 |   432552 |    90518      7 |    17269 |      352
1144.68/1145.12	c 1130s |      18 |   573688 |   433152 |    90518      7 |    17269 |      352
1146.67/1147.16	c 1132s |      18 |   574409 |   433652 |    90518      7 |    17269 |      352
1148.77/1149.26	c 1134s |      18 |   575014 |   434152 |    90518      7 |    17269 |      352
1150.77/1151.27	c 1136s |      18 |   575577 |   434652 |    90518      7 |    17269 |      352
1153.17/1153.63	c 1138s |      18 |   576254 |   435252 |    90518      7 |    17269 |      352
1155.17/1155.67	c 1140s |      18 |   576838 |   435752 |    90518      7 |    17269 |      352
1157.27/1157.76	c 1142s |      18 |   577492 |   436252 |    90518      7 |    17269 |      352
1159.26/1159.76	c 1144s |      18 |   578085 |   436752 |    90518      7 |    17269 |      352
1161.56/1162.09	c 1147s |      18 |   578788 |   437352 |    90518      7 |    17269 |      352
1163.96/1164.43	c 1149s |      18 |   579464 |   437952 |    90518      7 |    17269 |      352
1166.26/1166.74	c 1151s |      18 |   580129 |   438552 |    90518      7 |    17269 |      352
1168.56/1169.05	c 1153s |      18 |   580771 |   439152 |    90518      7 |    17269 |      352
1170.76/1171.21	c 1156s |      18 |   581383 |   439652 |    90518      7 |    17269 |      352
1172.96/1173.45	c 1158s |      18 |   582209 |   440252 |    90518      7 |    17269 |      352
1175.06/1175.57	c 1160s |      18 |   583043 |   440752 |    90518      7 |    17269 |      352
1177.16/1177.62	c 1162s |      18 |   583860 |   441352 |    99570      7 |    17269 |      352
1179.36/1179.88	c 1164s |      18 |   584592 |   441952 |    99570      7 |    17269 |      352
1181.86/1182.30	c 1167s |      18 |   585381 |   442552 |    99570      7 |    17269 |      352
1184.16/1184.64	c 1169s |      18 |   586002 |   443152 |    99570      7 |    17269 |      352
1186.57/1187.02	c 1171s |      18 |   586669 |   443752 |    99570      7 |    17269 |      352
1188.77/1189.24	c 1174s |      18 |   587418 |   444352 |    99570      7 |    17269 |      352
1189.16/1189.67	c 1174s |      19 |   587550 |   444482 |    99570      7 |    17269 |      352
1198.97/1199.47	c 1184s |      19 |   587824 |   444582 |    99570      7 |    17269 |      352
1200.97/1201.50	c 1186s |      19 |   589072 |   445782 |    99570      7 |    17269 |      352
1203.17/1203.66	c 1188s |      19 |   590309 |   446982 |    99570      7 |    17269 |      352
1205.27/1205.76	c 1190s |      19 |   591269 |   447782 |    99570      7 |    17269 |      352
1207.37/1207.84	c 1192s |      19 |   592207 |   448682 |    99570      7 |    17269 |      352
1209.47/1209.98	c 1194s |      19 |   593366 |   449782 |    99570      7 |    17269 |      352
1211.56/1212.09	c 1197s |      19 |   594275 |   450682 |    99570      7 |    17269 |      352
1213.76/1214.28	c 1199s |      19 |   595401 |   451782 |    99570      7 |    17269 |      352
1215.96/1216.40	c 1201s |      19 |   596116 |   452482 |    99570      7 |    17269 |      352
1218.16/1218.60	c 1203s |      19 |   597122 |   453482 |    99570      7 |    17269 |      352
1220.57/1221.01	c 1205s |      19 |   597223 |   453582 |    99570      8 |    17269 |      352
1222.56/1223.09	c 1208s |      19 |   598297 |   454482 |    99570      8 |    17269 |      352
1224.66/1225.15	c 1210s |      19 |   599531 |   455682 |    99570      8 |    17269 |      352
1226.76/1227.25	c 1212s |      19 |   600842 |   456982 |    99570      8 |    17269 |      352
1228.86/1229.34	c 1214s |      19 |   601862 |   457982 |    99570      8 |    17269 |      352
1230.96/1231.41	c 1216s |      19 |   602876 |   458982 |    99570      8 |    17269 |      352
1233.05/1233.52	c 1218s |      19 |   603891 |   459982 |    99570      8 |    17269 |      352
1235.05/1235.56	c 1220s |      19 |   604901 |   460982 |    99570      8 |    17269 |      352
1237.06/1237.57	c 1222s |      19 |   605811 |   461882 |    99570      8 |    17269 |      352
1239.15/1239.60	c 1224s |      19 |   606828 |   462882 |    99570      8 |    17269 |      352
1241.15/1241.61	c 1226s |      19 |   607757 |   463782 |    99570      8 |    17269 |      352
1243.25/1243.75	c 1228s |      19 |   608707 |   464682 |    99570      8 |    17269 |      352
1245.35/1245.85	c 1230s |      19 |   609577 |   465482 |    99570      8 |    17269 |      352
1247.55/1248.02	c 1232s |      19 |   610619 |   466482 |    99570      8 |    17269 |      352
1249.85/1250.30	c 1235s |      19 |   611118 |   466982 |    99570      8 |    17269 |      352
1251.95/1252.40	c 1237s |      19 |   611811 |   467682 |    99570      8 |    17269 |      352
1254.04/1254.52	c 1239s |      19 |   612514 |   468382 |    99570      8 |    17269 |      352
1256.24/1256.78	c 1241s |      19 |   613214 |   469082 |    99570      8 |    17269 |      352
1258.44/1258.90	c 1243s |      19 |   613918 |   469782 |    99570      8 |    17269 |      352
1260.64/1261.12	c 1246s |      19 |   614624 |   470482 |    99570      8 |    17269 |      352
1263.34/1263.90	c 1248s |      19 |   615086 |   470582 |    99570      8 |    17270 |      352
1265.44/1265.95	c 1250s |      19 |   615676 |   470982 |    99570      8 |    17270 |      352
1267.74/1268.28	c 1253s |      19 |   616275 |   471582 |    99570      8 |    17270 |      352
1270.05/1270.56	c 1255s |      19 |   616887 |   472182 |    99570      8 |    17270 |      352
1272.35/1272.81	c 1257s |      19 |   617497 |   472782 |    99570      8 |    17270 |      352
1274.45/1274.91	c 1259s |      19 |   618000 |   473282 |    99570      8 |    17270 |      352
1276.54/1277.06	c 1262s |      19 |   618601 |   473882 |    99570      8 |    17270 |      352
1278.64/1279.15	c 1264s |      19 |   619204 |   474482 |    99570      8 |    17270 |      352
1280.84/1281.31	c 1266s |      19 |   619719 |   474982 |    99570      8 |    17270 |      352
1283.14/1283.70	c 1268s |      19 |   620321 |   475582 |    99570      8 |    17270 |      352
1285.34/1285.86	c 1270s |      19 |   620923 |   476182 |    99570      8 |    17270 |      352
1287.44/1287.96	c 1272s |      19 |   621528 |   476782 |    99570      8 |    17270 |      352
1289.44/1289.97	c 1274s |      19 |   622130 |   477382 |    99570      8 |    17270 |      352
1291.54/1292.05	c 1276s |      19 |   622736 |   477982 |    99570      8 |    17270 |      352
1293.74/1294.25	c 1279s |      19 |   623336 |   478582 |    99570      8 |    17270 |      352
1295.94/1296.45	c 1281s |      19 |   623947 |   479182 |    99570      8 |    17270 |      352
1298.23/1298.76	c 1283s |      19 |   624568 |   479782 |    99570      8 |    17270 |      352
1300.43/1300.99	c 1285s |      19 |   625184 |   480382 |    99570      8 |    17270 |      352
1302.63/1303.16	c 1288s |      19 |   625809 |   480982 |    99570      8 |    17270 |      352
1304.83/1305.36	c 1290s |      19 |   626412 |   481582 |    99570      8 |    17270 |      352
1306.93/1307.41	c 1292s |      19 |   627012 |   482182 |    99570      8 |    17270 |      352
1309.03/1309.50	c 1294s |      19 |   627621 |   482782 |    99570      8 |    17270 |      352
1311.03/1311.58	c 1296s |      19 |   628235 |   483382 |    99570      8 |    17270 |      352
1313.43/1313.91	c 1298s |      19 |   628940 |   484082 |    99570      8 |    17270 |      352
1315.43/1315.93	c 1300s |      19 |   629542 |   484682 |    99570      8 |    17270 |      352
1317.44/1317.99	c 1302s |      19 |   630145 |   485282 |    99570      8 |    17270 |      352
1319.55/1320.05	c 1304s |      19 |   630661 |   485782 |    99570      8 |    17270 |      352
1322.14/1322.61	c 1307s |      19 |   631093 |   486182 |    99570      8 |    17270 |      352
1324.24/1324.73	c 1309s |      19 |   631394 |   486482 |    99570      8 |    17270 |      352
1326.64/1327.11	c 1312s |      19 |   631862 |   486882 |    99570      8 |    17270 |      352
1328.94/1329.42	c 1314s |      19 |   632330 |   487282 |    99570      8 |    17270 |      352
1330.94/1331.49	c 1316s |      19 |   632779 |   487682 |    99570      8 |    17270 |      352
1333.04/1333.57	c 1318s |      19 |   633273 |   488082 |    99570      8 |    17270 |      352
1335.34/1335.83	c 1320s |      19 |   633594 |   488382 |    99570      8 |    17270 |      352
1337.64/1338.15	c 1323s |      19 |   633902 |   488682 |    99570      8 |    17270 |      352
1339.84/1340.35	c 1325s |      19 |   634216 |   488982 |    99570      8 |    17270 |      352
1341.94/1342.45	c 1327s |      19 |   634547 |   489282 |    99570      8 |    17270 |      352
1344.44/1344.95	c 1329s |      19 |   634970 |   489682 |    99570      8 |    17270 |      352
1346.44/1346.99	c 1331s |      19 |   635304 |   489982 |    99570      8 |    17270 |      352
1348.54/1349.08	c 1334s |      19 |   635620 |   490282 |    99570      8 |    17270 |      352
1351.03/1351.51	c 1336s |      19 |   636057 |   490682 |    99570      8 |    17270 |      352
1353.13/1353.60	c 1338s |      19 |   636367 |   490982 |    99570      8 |    17270 |      352
1355.73/1356.20	c 1341s |      19 |   636800 |   491382 |    99570      8 |    17270 |      352
1358.04/1358.57	c 1343s |      19 |   637227 |   491782 |    99570      8 |    17270 |      352
1360.43/1360.98	c 1345s |      19 |   637656 |   492182 |    99570      8 |    17270 |      352
1362.63/1363.12	c 1348s |      19 |   637975 |   492482 |    99570      8 |    17270 |      352
1365.13/1365.62	c 1350s |      19 |   638508 |   492982 |    99570      8 |    17270 |      352
1367.63/1368.15	c 1353s |      19 |   639046 |   493482 |    99570      8 |    17270 |      352
1369.73/1370.20	c 1355s |      19 |   639523 |   493882 |    99570      8 |    17270 |      352
1371.83/1372.37	c 1357s |      19 |   639840 |   494182 |    99570      8 |    17270 |      352
1374.13/1374.69	c 1359s |      19 |   640270 |   494582 |    99570      8 |    17270 |      352
1376.74/1377.26	c 1362s |      19 |   640689 |   494982 |    99570      8 |    17270 |      352
1378.83/1379.32	c 1364s |      19 |   641010 |   495282 |    99570      8 |    17270 |      352
1381.24/1381.75	c 1366s |      19 |   641438 |   495682 |    99570      8 |    17270 |      352
1383.44/1383.94	c 1368s |      19 |   641794 |   495982 |    99570      8 |    17270 |      352
1385.73/1386.20	c 1371s |      19 |   642105 |   496282 |    99570      8 |    17270 |      352
1387.93/1388.44	c 1373s |      19 |   642426 |   496582 |    99570      8 |    17270 |      352
1390.23/1390.72	c 1375s |      19 |   642728 |   496882 |    99570      8 |    17270 |      352
1392.53/1393.09	c 1378s |      19 |   643265 |   497282 |    99570      8 |    17270 |      352
1395.13/1395.65	c 1380s |      19 |   643569 |   497582 |    99570      8 |    17270 |      352
1397.23/1397.70	c 1382s |      19 |   644007 |   497982 |    99570      8 |    17270 |      352
1399.33/1399.88	c 1384s |      19 |   644430 |   498382 |    99570      8 |    17270 |      352
1401.73/1402.29	c 1387s |      19 |   644851 |   498782 |    99570      8 |    17270 |      352
1403.92/1404.45	c 1389s |      19 |   645164 |   499082 |    99570      8 |    17270 |      352
1406.12/1406.65	c 1391s |      19 |   645575 |   499482 |    99570      8 |    17270 |      352
1408.63/1409.16	c 1394s |      19 |   645985 |   499882 |    99570      8 |    17270 |      352
1410.62/1411.20	c 1396s |      19 |   646520 |   500382 |    99570      8 |    17270 |      352
1413.32/1413.83	c 1398s |      19 |   647045 |   500882 |    99570      8 |    17270 |      352
1415.42/1415.95	c 1400s |      19 |   647454 |   501282 |    99570      8 |    17270 |      352
1417.82/1418.35	c 1403s |      19 |   647924 |   501682 |    99570      8 |    17270 |      352
1420.32/1420.85	c 1405s |      19 |   648341 |   502082 |    99570      8 |    17270 |      352
1422.62/1423.14	c 1408s |      19 |   648648 |   502382 |    99570      8 |    17270 |      352
1424.92/1425.47	c 1410s |      19 |   648958 |   502682 |    99570      8 |    17270 |      352
1426.92/1427.47	c 1412s |      19 |   649259 |   502982 |    99570      8 |    17270 |      352
1429.12/1429.64	c 1414s |      19 |   649563 |   503282 |    99570      8 |    17270 |      352
1431.22/1431.72	c 1416s |      19 |   649881 |   503582 |    99570      8 |    17270 |      352
1433.62/1434.15	c 1419s |      19 |   650319 |   503982 |    99570      8 |    17270 |      352
1436.13/1436.64	c 1421s |      19 |   650755 |   504382 |    99570      8 |    17270 |      352
1438.33/1438.89	c 1423s |      19 |   651170 |   504782 |    99570      8 |    17270 |      352
1440.82/1441.38	c 1426s |      19 |   651590 |   505182 |    99570      8 |    17270 |      352
1443.42/1443.96	c 1428s |      19 |   652038 |   505582 |    99570      8 |    17270 |      352
1445.42/1445.98	c 1430s |      19 |   652349 |   505882 |    99570      8 |    17270 |      352
1448.02/1448.52	c 1433s |      19 |   652659 |   506182 |    99570      8 |    17270 |      352
1450.42/1451.00	c 1435s |      19 |   652958 |   506482 |    99570      8 |    17270 |      352
1452.82/1453.39	c 1438s |      19 |   653259 |   506782 |    99570      8 |    17270 |      352
1455.32/1455.89	c 1440s |      19 |   653565 |   507082 |    99570      8 |    17270 |      352
1458.32/1458.81	c 1443s |      19 |   654001 |   507482 |    99570      8 |    17270 |      352
1460.82/1461.30	c 1446s |      19 |   654316 |   507782 |    99570      8 |    17270 |      352
1463.11/1463.61	c 1448s |      19 |   654626 |   508082 |    99570      8 |    17270 |      352
1465.61/1466.10	c 1451s |      19 |   655061 |   508482 |    99570      8 |    17270 |      352
1468.02/1468.58	c 1453s |      19 |   655366 |   508782 |    99570      8 |    17270 |      352
1470.81/1471.38	c 1456s |      19 |   655668 |   509082 |    99570      8 |    17270 |      352
1473.31/1473.87	c 1458s |      19 |   655966 |   509382 |    99570      8 |    17270 |      352
1476.01/1476.53	c 1461s |      19 |   656280 |   509682 |    99570      8 |    17270 |      352
1478.31/1478.84	c 1463s |      19 |   656610 |   509982 |    99570      8 |    17270 |      352
1480.71/1481.23	c 1466s |      19 |   656927 |   510282 |    99570      8 |    17270 |      352
1483.01/1483.58	c 1468s |      19 |   657240 |   510582 |    99570      8 |    17270 |      352
1485.62/1486.12	c 1471s |      19 |   657550 |   510882 |    99570      8 |    17270 |      352
1488.11/1488.62	c 1473s |      19 |   657894 |   511182 |    99570      8 |    17270 |      352
1490.31/1490.83	c 1475s |      19 |   658098 |   511382 |    99570      8 |    17270 |      352
1493.11/1493.67	c 1478s |      19 |   658397 |   511682 |    99570      8 |    17270 |      352
1495.62/1496.15	c 1481s |      19 |   658718 |   511982 |    99570      8 |    17270 |      352
1500.21/1500.79	c 1485s |      19 |   659029 |   512282 |    99570      9 |    17270 |      352
1502.51/1503.04	c 1487s |      19 |   659338 |   512582 |    99570      9 |    17270 |      352
1505.41/1505.93	c 1490s |      19 |   659644 |   512882 |    99570      9 |    17270 |      352
1507.50/1508.06	c 1493s |      19 |   659942 |   513182 |    99570      9 |    17270 |      352
1509.70/1510.20	c 1495s |      19 |   660242 |   513482 |    99570      9 |    17270 |      352
1511.70/1512.21	c 1497s |      19 |   660553 |   513782 |    99570      9 |    17270 |      352
1514.21/1514.80	c 1499s |      19 |   660947 |   514182 |    99570      9 |    17270 |      352
1516.51/1517.06	c 1502s |      19 |   661262 |   514482 |    99570      9 |    17270 |      352
1518.61/1519.15	c 1504s |      19 |   661599 |   514782 |    99570      9 |    17270 |      352
1520.70/1521.26	c 1506s |      19 |   661906 |   515082 |    99570      9 |    17270 |      352
1522.90/1523.45	c 1508s |      19 |   662330 |   515482 |    99570      9 |    17270 |      352
1525.60/1526.18	c 1511s |      19 |   662750 |   515882 |    99570      9 |    17270 |      352
1527.90/1528.45	c 1513s |      19 |   663053 |   516182 |    99570      9 |    17270 |      352
1530.00/1530.52	c 1515s |      19 |   663368 |   516482 |    99570      9 |    17270 |      352
1532.00/1532.58	c 1517s |      19 |   663670 |   516782 |    99570      9 |    17270 |      352
1534.11/1534.69	c 1519s |      19 |   663979 |   517082 |    99570      9 |    17270 |      352
1536.70/1537.22	c 1522s |      19 |   664402 |   517482 |    99570      9 |    17270 |      352
1539.00/1539.58	c 1524s |      19 |   664834 |   517882 |    99570      9 |    17270 |      352
1541.30/1541.86	c 1526s |      19 |   665286 |   518282 |    99570      9 |    17270 |      352
1543.60/1544.17	c 1529s |      19 |   665774 |   518682 |    99570      9 |    17270 |      352
1546.30/1546.84	c 1531s |      19 |   666272 |   519082 |    99570      9 |    17270 |      352
1548.40/1548.98	c 1533s |      19 |   666568 |   519382 |    99570      9 |    17270 |      352
1550.50/1551.02	c 1535s |      19 |   666873 |   519682 |    99570      9 |    17270 |      352
1552.60/1553.10	c 1538s |      19 |   667179 |   519982 |    99570      9 |    17270 |      352
1554.60/1555.13	c 1540s |      19 |   667475 |   520282 |    99570      9 |    17270 |      352
1556.80/1557.36	c 1542s |      19 |   667783 |   520582 |    99570      9 |    17270 |      352
1559.50/1560.09	c 1545s |      19 |   668089 |   520882 |    99570      9 |    17270 |      352
1562.09/1562.62	c 1547s |      19 |   668432 |   521182 |    99570      9 |    17270 |      352
1564.39/1564.96	c 1549s |      19 |   668855 |   521582 |    99570      9 |    17270 |      352
1566.89/1567.40	c 1552s |      19 |   669264 |   521982 |    99570      9 |    17270 |      352
1569.30/1569.87	c 1554s |      19 |   669700 |   522382 |    99570      9 |    17270 |      352
1571.69/1572.20	c 1557s |      19 |   670136 |   522782 |    99570      9 |    17270 |      352
1574.29/1574.82	c 1559s |      19 |   670561 |   523182 |    99570      9 |    17270 |      352
1576.49/1577.09	c 1562s |      19 |   670866 |   523482 |    99570      9 |    17270 |      352
1578.99/1579.53	c 1564s |      19 |   671309 |   523882 |    99570      9 |    17270 |      352
1581.59/1582.14	c 1567s |      19 |   671791 |   524282 |    99570      9 |    17270 |      352
1584.19/1584.76	c 1569s |      19 |   672192 |   524682 |    99570      9 |    17270 |      352
1586.69/1587.30	c 1572s |      19 |   672604 |   525082 |    99570      9 |    17270 |      352
1589.29/1589.86	c 1574s |      19 |   673011 |   525482 |    99570      9 |    17270 |      352
1591.49/1592.03	c 1576s |      19 |   673419 |   525882 |    99570      9 |    17270 |      352
1593.99/1594.57	c 1579s |      19 |   673829 |   526282 |    99570      9 |    17270 |      352
1595.99/1596.59	c 1581s |      19 |   674131 |   526582 |    99570      9 |    17270 |      352
1598.19/1598.78	c 1583s |      19 |   674430 |   526882 |    99570      9 |    17270 |      352
1600.79/1601.39	c 1586s |      19 |   674738 |   527182 |    99570      9 |    17270 |      352
1602.89/1603.44	c 1588s |      19 |   675041 |   527482 |    99570      9 |    17270 |      352
1605.39/1605.99	c 1590s |      19 |   675449 |   527882 |    99570      9 |    17270 |      352
1607.49/1608.07	c 1593s |      19 |   675866 |   528282 |    99570      9 |    17270 |      352
1610.09/1610.64	c 1595s |      19 |   676267 |   528682 |    99570      9 |    17270 |      352
1612.79/1613.30	c 1598s |      19 |   676669 |   529082 |    99570      9 |    17270 |      352
1614.89/1615.49	c 1600s |      19 |   677074 |   529482 |    99570      9 |    17270 |      352
1616.99/1617.53	c 1602s |      19 |   677376 |   529782 |    99570      9 |    17270 |      352
1618.98/1619.57	c 1604s |      19 |   677673 |   530082 |    99570      9 |    17270 |      352
1621.08/1621.67	c 1606s |      19 |   678083 |   530482 |    99570      9 |    17270 |      352
1623.38/1623.91	c 1608s |      19 |   678493 |   530882 |    99570      9 |    17270 |      352
1625.39/1625.91	c 1610s |      19 |   678794 |   531182 |    99570      9 |    17270 |      352
1628.08/1628.64	c 1613s |      19 |   679203 |   531582 |    99570      9 |    17270 |      352
1630.18/1630.72	c 1615s |      19 |   679512 |   531882 |    99570      9 |    17270 |      352
1632.78/1633.38	c 1618s |      19 |   679919 |   532282 |    99570      9 |    17270 |      352
1635.29/1635.81	c 1620s |      19 |   680223 |   532582 |    99570      9 |    17270 |      352
1637.49/1638.09	c 1623s |      19 |   680529 |   532882 |    99570      9 |    17270 |      352
1639.69/1640.26	c 1625s |      19 |   680830 |   533182 |    99570      9 |    17270 |      352
1641.79/1642.31	c 1627s |      19 |   681131 |   533482 |    99570      9 |    17270 |      352
1644.28/1644.80	c 1629s |      19 |   681429 |   533782 |    99570      9 |    17270 |      352
1646.58/1647.14	c 1632s |      19 |   681865 |   534182 |    99570      9 |    17270 |      352
1648.68/1649.26	c 1634s |      19 |   682375 |   534682 |    99570      9 |    17270 |      352
1650.98/1651.50	c 1636s |      19 |   682878 |   535182 |    99570      9 |    17270 |      352
1653.08/1653.69	c 1638s |      19 |   683382 |   535682 |    99570      9 |    17270 |      352
1655.38/1655.92	c 1640s |      19 |   683885 |   536182 |    99570      9 |    17270 |      352
1657.68/1658.29	c 1643s |      19 |   684400 |   536682 |    99570      9 |    17270 |      352
1659.88/1660.43	c 1645s |      19 |   684904 |   537182 |    99570      9 |    17270 |      352
1661.88/1662.44	c 1647s |      19 |   685317 |   537582 |    99570      9 |    17270 |      352
1663.98/1664.52	c 1649s |      19 |   685725 |   537982 |    99570      9 |    17270 |      352
1665.98/1666.53	c 1651s |      19 |   686135 |   538382 |    99570      9 |    17270 |      352
1668.48/1669.08	c 1654s |      19 |   686629 |   538882 |    99570      9 |    17270 |      352
1670.58/1671.12	c 1656s |      19 |   687040 |   539282 |    99570      9 |    17270 |      352
1672.68/1673.29	c 1658s |      19 |   687445 |   539682 |    99570      9 |    17270 |      352
1674.79/1675.33	c 1660s |      19 |   687844 |   540082 |    99570      9 |    17270 |      352
1676.89/1677.50	c 1662s |      19 |   688246 |   540482 |    99570      9 |    17270 |      352
1679.38/1679.96	c 1664s |      19 |   688705 |   540882 |    99570      9 |    17270 |      352
1681.98/1682.57	c 1667s |      19 |   689134 |   541282 |    99570      9 |    17270 |      352
1683.98/1684.57	c 1669s |      19 |   689537 |   541682 |    99570      9 |    17270 |      352
1686.08/1686.60	c 1671s |      19 |   689851 |   541982 |    99570      9 |    17270 |      352
1688.18/1688.76	c 1673s |      19 |   690152 |   542282 |    99570      9 |    17270 |      352
1690.58/1691.14	c 1676s |      19 |   690573 |   542682 |    99570      9 |    17270 |      352
1692.68/1693.28	c 1678s |      19 |   690974 |   543082 |    99570      9 |    17270 |      352
1694.88/1695.43	c 1680s |      19 |   691389 |   543482 |    99570      9 |    17270 |      352
1696.98/1697.60	c 1682s |      19 |   691795 |   543882 |    99570      9 |    17270 |      352
1699.78/1700.36	c 1685s |      19 |   692194 |   544282 |    99570      9 |    17270 |      352
1702.08/1702.67	c 1687s |      19 |   692502 |   544582 |    99570      9 |    17270 |      352
1704.78/1705.38	c 1690s |      19 |   692913 |   544982 |    99570      9 |    17270 |      352
1706.79/1707.38	c 1692s |      19 |   693230 |   545282 |    99570      9 |    17270 |      352
1709.48/1710.09	c 1695s |      19 |   693637 |   545682 |    99570      9 |    17270 |      352
1712.19/1712.75	c 1697s |      19 |   694057 |   546082 |    99570      9 |    17270 |      352
1714.28/1714.86	c 1699s |      19 |   694375 |   546382 |    99570      9 |    17270 |      352
1716.48/1717.03	c 1701s |      19 |   694676 |   546682 |    99570      9 |    17270 |      352
1719.08/1719.67	c 1704s |      19 |   694979 |   546982 |    99570      9 |    17270 |      352
1721.28/1721.80	c 1706s |      19 |   695275 |   547282 |    99570      9 |    17270 |      352
1723.98/1724.52	c 1709s |      19 |   695691 |   547682 |    99570      9 |    17270 |      352
1725.98/1726.55	c 1711s |      19 |   695998 |   547982 |    99570      9 |    17270 |      352
1728.28/1728.86	c 1713s |      19 |   696404 |   548382 |    99570      9 |    17270 |      352
1730.37/1730.92	c 1715s |      19 |   696706 |   548682 |    99570      9 |    17270 |      352
1732.47/1733.01	c 1717s |      19 |   697121 |   549082 |    99570      9 |    17270 |      352
1734.47/1735.05	c 1719s |      19 |   697533 |   549482 |    99570      9 |    17270 |      352
1736.97/1737.58	c 1722s |      19 |   697938 |   549882 |    99570      9 |    17270 |      352
1739.37/1739.95	c 1724s |      19 |   698469 |   550382 |    99570      9 |    17270 |      352
1741.67/1742.20	c 1727s |      19 |   698875 |   550782 |    99570      9 |    17270 |      352
1743.87/1744.47	c 1729s |      19 |   699295 |   551182 |    99570      9 |    17270 |      352
1746.28/1746.86	c 1731s |      19 |   699700 |   551582 |    99570      9 |    17270 |      352
1748.67/1749.27	c 1734s |      19 |   700113 |   551982 |    99570      9 |    17270 |      352
1750.97/1751.56	c 1736s |      19 |   700518 |   552382 |    99570      9 |    17270 |      352
1753.37/1753.92	c 1738s |      19 |   700930 |   552782 |    99570      9 |    17270 |      352
1755.67/1756.25	c 1741s |      19 |   701343 |   553182 |    99570      9 |    17270 |      352
1757.87/1758.49	c 1743s |      19 |   701756 |   553582 |    99570      9 |    17270 |      352
1760.47/1761.07	c 1746s |      19 |   702150 |   553982 |    99570      9 |    17270 |      352
1762.87/1763.45	c 1748s |      19 |   702579 |   554382 |    99570      9 |    17270 |      352
1765.17/1765.77	c 1750s |      19 |   702983 |   554782 |    99570      9 |    17270 |      352
1767.57/1768.19	c 1753s |      19 |   703400 |   555182 |    99570      9 |    17270 |      352
1769.97/1770.51	c 1755s |      19 |   703808 |   555582 |    99570      9 |    17270 |      352
1772.17/1772.76	c 1757s |      19 |   704221 |   555982 |    99570      9 |    17270 |      352
1774.47/1775.09	c 1760s |      19 |   704624 |   556382 |    99570      9 |    17270 |      352
1776.96/1777.58	c 1762s |      19 |   705032 |   556782 |    99570      9 |    17270 |      352
1779.46/1780.04	c 1764s |      19 |   705428 |   557182 |    99570      9 |    17270 |      352
1781.96/1782.58	c 1767s |      19 |   705829 |   557582 |    99570      9 |    17270 |      352
1784.56/1785.10	c 1770s |      19 |   706242 |   557982 |    99570      9 |    17270 |      352
1786.97/1787.58	c 1772s |      19 |   706640 |   558382 |    99570      9 |    17270 |      352
1789.36/1789.97	c 1774s |      19 |   707073 |   558782 |    99570      9 |    17270 |      352
1791.37/1791.99	c 1776s |      19 |   707373 |   559082 |    99570      9 |    17270 |      352
1793.96/1794.54	c 1779s |      19 |   707788 |   559482 |    99570      9 |    17270 |      352
1796.56/1797.10	c 1782s |      19 |   708192 |   559882 |    99570      9 |    17270 |      352
1798.96/1799.60	c 1784s |      19 |   708598 |   560282 |    99570      9 |    17270 |      352

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 13315
/proc/meminfo: memFree=30266936/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 2905 0 0 0 0 0 0 0 20 0 4 0 24131784 794226688 2755 33554432000 4194304 16246674 140737401884672 140737401884096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 194671 2763 441 2943 0 191565 0
[pid=13315/tid=13316] ppid=13312 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 813101056 2825 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 817295360 2843 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24131784 821489664 2858 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 13315
/proc/meminfo: memFree=30266936/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 29667 0 0 0 4 5 0 0 20 0 4 0 24131784 1333334016 29455 33554432000 4194304 16246674 140737401884672 140737401883984 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 325521 29473 801 2943 0 322415 0
[pid=13315/tid=13316] ppid=13312 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1333334016 29482 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1333334016 29495 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1333334016 29506 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200545 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 13315
/proc/meminfo: memFree=30266936/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 47364 0 0 0 12 7 0 0 20 0 4 0 24131784 1343819776 47663 33554432000 4194304 16246674 140737401884672 140737401883984 13962912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 328081 47663 801 2943 0 324975 0
[pid=13315/tid=13316] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 47663 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 47663 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 47663 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300512 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 13315
/proc/meminfo: memFree=30266936/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 55165 0 0 0 21 8 0 0 20 0 4 0 24131784 1343819776 55464 33554432000 4194304 16246674 140737401884672 140737401883984 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 328081 55464 801 2943 0 324975 0
[pid=13315/tid=13316] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 55464 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 55464 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1343819776 55464 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70042 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 13315
/proc/meminfo: memFree=30266936/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=0.69 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 113690 0 0 0 53 16 0 0 20 0 4 0 24131784 1360596992 113989 33554432000 4194304 16246674 140737401884672 140737401883984 12449130 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 114005 832 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 114014 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 114023 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 114032 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1328708

[startup+1.50043 s]
/proc/loadavg: 2.06 2.04 2.00 4/183 13319
/proc/meminfo: memFree=29423128/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=1.49 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272790 0 0 0 114 35 0 0 20 0 4 0 24131784 1360596992 273089 33554432000 4194304 16246674 140737401884672 140737401866560 12653056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273089 833 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273089 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273089 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273089 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1328708

[startup+3.10043 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 13319
/proc/meminfo: memFree=29174368/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=3.09 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272792 0 0 0 274 35 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140737401866560 12654386 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273091 833 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30043 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 13319
/proc/meminfo: memFree=29174888/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272792 0 0 0 594 35 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140737401866560 12429162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273091 833 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 13319
/proc/meminfo: memFree=29174672/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272792 0 0 0 1234 35 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140737401866560 12429253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273091 833 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273091 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 13320
/proc/meminfo: memFree=29175040/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=25.49 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272860 0 0 0 2514 35 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140737401866560 13191773 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273159 893 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 13320
/proc/meminfo: memFree=29175256/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272860 0 0 0 5073 35 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140737401866560 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273159 893 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273159 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 13321
/proc/meminfo: memFree=29174756/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1328708 CPUtime=102.28 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 272864 0 0 0 10193 35 0 0 20 0 4 0 24131784 1360596992 273163 33554432000 4194304 16246674 140737401884672 140737401866560 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 332177 273163 897 2943 0 329071 0
[pid=13315/tid=13316] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273163 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273163 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1360596992 273163 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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

/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1578564

[startup+1302.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/183 13353
/proc/meminfo: memFree=28918168/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1301.83 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 130127 56 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 5712188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1578564

[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/183 13354
/proc/meminfo: memFree=28917920/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1361.83 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 136126 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 13781168 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1578564

[startup+1422.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/183 13355
/proc/meminfo: memFree=28900748/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1421.83 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 142126 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1578564

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/183 13356
/proc/meminfo: memFree=28900008/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1481.81 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 148124 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1578564

[startup+1542.31 s]
/proc/loadavg: 2.05 2.08 2.02 3/184 13409
/proc/meminfo: memFree=28911948/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1541.81 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 154124 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 5600476 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1578564

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/184 13433
/proc/meminfo: memFree=28901124/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1601.79 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 160122 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1578564

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 13434
/proc/meminfo: memFree=28903168/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1661.78 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 166121 57 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 6012212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1578564

[startup+1722.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 13435
/proc/meminfo: memFree=28900812/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1578564 CPUtime=1721.78 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 335727 0 0 0 172120 58 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140737401866560 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 394641 335889 902 2943 0 391535 0
[pid=13315/tid=13316] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1578564 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1616449536 335889 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1578564

[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 13436
/proc/meminfo: memFree=28751640/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1727044 CPUtime=1781.76 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 372847 0 0 0 178113 63 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140737401866560 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 431761 373009 902 2943 0 428655 0
[pid=13315/tid=13316] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1727044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 13436
/proc/meminfo: memFree=28751644/32872528 swapFree=534252/566956
[pid=13315] ppid=13312 vsize=1727044 CPUtime=1800.06 cores=1,3,5,7
/proc/13315/stat : 13315 (toysat) R 13312 13315 10353 0 -1 4202496 372847 0 0 0 179943 63 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140737401866560 5711912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13315/statm: 431761 373009 902 2943 0 428655 0
[pid=13315/tid=13316] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13316/stat : 13316 (toysat) S 13312 13315 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306725973232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13315/tid=13317] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13317/stat : 13317 (toysat) S 13312 13315 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306715483376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13315/tid=13318] ppid=13312 vsize=1727044 CPUtime=0 cores=1,3,5,7
/proc/13315/task/13318/stat : 13318 (toysat) S 13312 13315 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24131784 1768493056 373009 33554432000 4194304 16246674 140737401884672 140306705009840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1727044

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1799.44
CPU system time (s): 0.646901
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1727044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.646901
maximum resident set size= 1492036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372847
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= 513
involuntary context switches= 1829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52331 second user time and 7.03293 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 05:34:21
IDJOB=4101161
IDBENCH=1708
IDSOLVER=2542
FILE ID=node138/4101161-1466220861
RUNJOBID= node138-1466206053-10370
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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101161-1466220861/watcher-4101161-1466220861 -o /tmp/evaluation-result-4101161-1466220861/solver-4101161-1466220861 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101161-1466220861.opb

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

MD5SUM BENCH= 7a90d6f729b5a7cbedbc2000a888cf36
RANDOM SEED=1733035197

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:        30267208 kB
Buffers:           96608 kB
Cached:           122328 kB
SwapCached:         1060 kB
Active:          1178052 kB
Inactive:         121384 kB
Active(anon):    1081172 kB
Inactive(anon):     1228 kB
Active(file):      96880 kB
Inactive(file):   120156 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             18272 kB
Writeback:             0 kB
AnonPages:       1648620 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             603164 kB
SReclaimable:      46648 kB
SUnreclaim:       556516 kB
KernelStack:        1456 kB
PageTables:         7292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1792656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node138 at 2016-06-18 06:04:22