Trace number 4078941

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.14 1800.46

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T08:40:34+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-4078941-1465281634.opb"]
0.00/0.01	c use --random-gen="2275661900 59741953 2804053802 2542582914 249418562 864750752 2873725420 793869892 2866591258 1676537904 3758387868 3667470751 881304207 2271179792 2450182454 3713092968 1909644484 271291084 1853229648 1984137587 1191848152 1495922659 1378623349 2153095802 31884039 1417687246 1350356910 301194508 3872537229 4032537598 849716501 1548726047 358224195 3302144944 2615184126 3090074330 3416334730 3075258036 2505451374 3509480047 3321660133 1189147811 2867787563 2009160891 2823877752 1100273512 655469332 3255031098 590505442 3958974339 590002988 3214578605 1826293930 2855262732 3779575328 83771346 1560746499 2229694458 801680729 732884063 2774985592 2616937411 3450871155 750360015 2912692053 3850094729 3027504282 1135157790 2562438268 237075310 3200778285 1017931039 2112295626 552593748 3071106990 80820806 675976203 562995925 2308641847 3071373260 1311375400 905996802 1084864389 1260136708 2508821463 317974874 2227027582 423001936 3668184875 1014920784 2865897682 306200632 3043456750 3655521833 255022617 3158312045 1246058908 427809239 1978101407 587741485 1549467429 3352215468 2101234254 2850271543 843616454 941708899 1207506667 4038233114 3490513170 2302064028 2894345123 2335170544 4102074108 3057177426 3340233136 4164820597 808538747 4249810889 3848617146 2665683534 709934334 3382371283 3808525193 3433618927 901265507 3757698990 2995408423 2284836700 1422534817 3291908933 501418567 4085175286 3727042555 1638474840 1848118441 1134919500 551539853 1890095883 2160391098 1631298086 2731529024 4286684695 3249363387 291939975 1345347092 3185758648 3631337932 4272060028 3373442836 3030174411 832239199 2436665268 3950090747 3977259282 206451667 3183229017 524308774 4039269477 414777983 3784673344 1925800906 3463997506 2179015730 627482336 2582686331 2987847203 580190201 1021736427 4194010945 4203833262 133135876 3472411772 3677106838 2331940138 2786042787 3995224215 260182545 3696092407 1924501146 1215911183 3040969438 614782725 2426588248 567436670 3658407893 1885068817 3902176865 2021218362 2941308819 1178428947 3977197722 2367855404 838901444 2354575459 1280284593 4294173707 444384996 1362626376 3344042770 1354044074 3491638564 2331340838 1201067283 2164743041 722483499 1589716757 4223641851 4122695687 3662178745 1806372827 4006868297 5126734 1936090102 3991930552 2404128156 448898507 1998432506 553103526 1289912419 2221050064 95333594 50156105 1814545221 2953104148 1032514273 3218765860 467208477 2692381483 1996954108 1655752441 4187650117 1318704873 515314184 1261362841 278911825 2176695042 2210343606 1161423646 4011798578 829441354 3281115161 4041232361 1524392742 2521420610 3219233293 467301705 1383047886 3401543519 2179558857 3759423761 1446447741 2457755774 4282162714 1410057409 1365704174 2654039747 255 362436" option to reproduce the execution
0.09/0.10	c #vars 6120
0.09/0.10	c #constraints 6302
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     4140      0 |      362 |        0
0.29/0.35	c  0.1s |       1 |     1593 |      100 |     4140      0 |      362 |      303
0.39/0.49	c  0.3s |       2 |     2679 |      250 |     4554      0 |      362 |      303
0.79/0.87	c  0.6s |       3 |     5898 |      475 |     5010      0 |      364 |      305
1.19/1.27	c  1.0s |       4 |    10322 |      813 |     5511      0 |      364 |      305
1.59/1.66	c  1.4s |       5 |    18954 |     1320 |     6063      0 |      364 |      305
2.59/2.69	c  2.5s |       6 |    24411 |     2081 |     7338      0 |      364 |      305
4.50/4.58	c  4.4s |       7 |    28643 |     3223 |     8072      0 |      364 |      305
6.70/6.72	c  6.5s |       7 |    37347 |     4423 |     8072      0 |      364 |      305
7.59/7.66	c  7.4s |       8 |    39045 |     4936 |     8880      0 |      364 |      305
9.69/9.74	c  9.5s |       8 |    55462 |     6436 |     8880      0 |      366 |      307
11.69/11.78	c 11.6s |       8 |    58127 |     7236 |     8880      0 |      366 |      307
12.39/12.49	c 12.3s |       9 |    59470 |     7506 |     9768      0 |      366 |      307
14.49/14.52	c 14.3s |       9 |    72612 |     8606 |     9768      0 |      366 |      307
16.60/16.66	c 16.4s |       9 |    89324 |     9706 |     9768      0 |      368 |      309
18.59/18.67	c 18.4s |       9 |   111583 |    11006 |     9768      1 |      368 |      309
19.29/19.31	c 19.1s |      10 |   113265 |    11361 |    10745      1 |      368 |      309
21.29/21.37	c 21.1s |      10 |   135285 |    12861 |    10745      1 |      370 |      311
23.59/23.63	c 23.4s |      10 |   155807 |    14261 |    10745      1 |      371 |      312
25.59/25.66	c 25.4s |      10 |   164985 |    15661 |    10745      1 |      371 |      312
27.69/27.72	c 27.5s |      10 |   180518 |    16961 |    10745      2 |      374 |      315
27.99/28.01	c 27.8s |      11 |   183713 |    17144 |    11820      2 |      375 |      316
29.99/30.07	c 29.8s |      11 |   200850 |    18544 |    11820      2 |      375 |      316
31.99/32.07	c 31.8s |      11 |   221857 |    20044 |    11820      2 |      375 |      316
34.09/34.12	c 33.9s |      11 |   237840 |    21644 |    11820      2 |      375 |      316
36.08/36.15	c 35.9s |      11 |   250579 |    22744 |    11820      2 |      375 |      316
38.38/38.47	c 38.2s |      11 |   252140 |    23344 |    11820      2 |      375 |      316
40.58/40.65	c 40.4s |      11 |   258773 |    24044 |    11820      3 |      375 |      316
42.78/42.83	c 42.6s |      11 |   275651 |    25544 |    11820      3 |      375 |      316
43.18/43.25	c 43.0s |      12 |   278506 |    25819 |    13003      3 |      375 |      316
45.28/45.32	c 45.1s |      12 |   297592 |    27319 |    13003      3 |      375 |      316
47.48/47.57	c 47.3s |      12 |   307523 |    28819 |    13003      3 |      376 |      317
49.68/49.72	c 49.5s |      12 |   322900 |    29819 |    13003      3 |      378 |      319
51.79/51.86	c 51.6s |      12 |   335057 |    31119 |    13003      3 |      379 |      320
53.89/53.99	c 53.8s |      12 |   342053 |    32119 |    13003      3 |      379 |      320
55.98/56.02	c 55.8s |      12 |   356817 |    33319 |    13003      4 |      380 |      321
57.98/58.05	c 57.8s |      12 |   375960 |    34619 |    13003      4 |      380 |      321
60.08/60.10	c 59.9s |      12 |   390708 |    35719 |    13003      4 |      380 |      321
62.38/62.49	c 62.3s |      12 |   401232 |    36819 |    13003      4 |      380 |      321
64.58/64.62	c 64.4s |      12 |   408145 |    37619 |    13003      4 |      380 |      321
66.68/66.73	c 66.5s |      12 |   415703 |    38419 |    13003      4 |      380 |      321
68.08/68.15	c 67.9s |      13 |   420498 |    38832 |    14304      4 |      380 |      321
70.38/70.40	c 70.2s |      13 |   431151 |    39632 |    14304      4 |      383 |      324
72.48/72.54	c 72.3s |      13 |   444968 |    40432 |    14304      5 |      383 |      324
74.48/74.56	c 74.3s |      13 |   465233 |    41832 |    14304      5 |      383 |      324
76.57/76.67	c 76.4s |      13 |   477749 |    43132 |    14304      5 |      384 |      325
78.77/78.80	c 78.6s |      13 |   488351 |    44232 |    14304      5 |      384 |      325
80.87/80.95	c 80.7s |      13 |   504929 |    45832 |    14304      5 |      384 |      325
82.97/83.02	c 82.8s |      13 |   510182 |    46732 |    14304      5 |      384 |      325
85.18/85.27	c 85.0s |      13 |   513383 |    47532 |    14304      5 |      384 |      325
87.28/87.30	c 87.1s |      13 |   525904 |    48532 |    14304      5 |      384 |      325
89.38/89.40	c 89.2s |      13 |   535067 |    49532 |    14304      6 |      384 |      325
91.48/91.50	c 91.3s |      13 |   550038 |    51032 |    14304      6 |      384 |      325
93.49/93.51	c 93.3s |      13 |   567447 |    52332 |    14304      6 |      384 |      325
95.58/95.63	c 95.4s |      13 |   572327 |    53532 |    14304      6 |      384 |      325
97.68/97.70	c 97.5s |      13 |   578353 |    54632 |    14304      6 |      384 |      325
99.68/99.76	c 99.5s |      13 |   590384 |    55832 |    14304      6 |      384 |      325
101.78/101.82	c  101s |      13 |   597267 |    56732 |    14304      7 |      384 |      325
103.88/103.92	c  103s |      13 |   601099 |    57732 |    14304      7 |      384 |      325
105.88/105.95	c  105s |      13 |   602442 |    58332 |    15735      7 |      384 |      325
105.98/106.02	c  105s |      14 |   602458 |    58352 |    15735      7 |      384 |      325
107.98/108.08	c  107s |      14 |   607266 |    59352 |    15735      7 |      384 |      325
109.98/110.09	c  109s |      14 |   616157 |    60452 |    15735      7 |      384 |      325
111.98/112.09	c  111s |      14 |   623195 |    61252 |    15735      7 |      384 |      325
114.07/114.10	c  113s |      14 |   638660 |    62452 |    15735      7 |      384 |      325
116.17/116.23	c  116s |      14 |   651893 |    63652 |    15735      7 |      384 |      325
118.37/118.41	c  118s |      14 |   669035 |    64952 |    15735      7 |      384 |      325
120.37/120.44	c  120s |      14 |   685161 |    66052 |    15735      8 |      384 |      325
122.37/122.49	c  122s |      14 |   699320 |    67552 |    15735      8 |      385 |      326
124.47/124.58	c  124s |      14 |   706761 |    68752 |    15735      8 |      385 |      326
126.67/126.77	c  126s |      14 |   708093 |    69252 |    15735      8 |      385 |      326
128.78/128.89	c  128s |      14 |   709557 |    69752 |    15735      8 |      385 |      326
131.07/131.13	c  130s |      14 |   711800 |    70452 |    15735      8 |      385 |      326
133.08/133.16	c  132s |      14 |   713571 |    70952 |    15735      8 |      385 |      326
135.57/135.65	c  135s |      14 |   714626 |    71352 |    15735      8 |      385 |      326
137.67/137.70	c  137s |      14 |   723565 |    72452 |    15735      8 |      385 |      326
139.67/139.72	c  139s |      14 |   737113 |    73752 |    15735      8 |      385 |      326
141.77/141.82	c  141s |      14 |   746273 |    74952 |    15735      8 |      385 |      326
143.77/143.86	c  143s |      14 |   762219 |    76152 |    15735      9 |      385 |      326
145.87/145.90	c  145s |      14 |   774205 |    77452 |    15735      9 |      385 |      326
147.97/148.02	c  147s |      14 |   785766 |    78952 |    15735      9 |      385 |      326
150.17/150.26	c  150s |      14 |   800727 |    80252 |    15735      9 |      385 |      326
152.36/152.47	c  152s |      14 |   808237 |    81152 |    15735      9 |      385 |      326
154.46/154.54	c  154s |      14 |   818383 |    82252 |    15735      9 |      385 |      326
156.66/156.75	c  156s |      14 |   823413 |    83352 |    15735      9 |      385 |      326
158.76/158.87	c  158s |      14 |   831990 |    84452 |    15735     10 |      385 |      326
160.96/161.02	c  160s |      14 |   846589 |    85852 |    15735     10 |      385 |      326
162.96/163.05	c  162s |      14 |   862182 |    87252 |    17309     10 |      385 |      326
163.66/163.75	c  163s |      15 |   865473 |    87632 |    17309     10 |      385 |      326
165.76/165.87	c  165s |      15 |   887593 |    88832 |    17309     10 |      386 |      327
167.96/168.09	c  167s |      15 |   893347 |    89832 |    17309     10 |      386 |      327
170.06/170.19	c  169s |      15 |   905171 |    91032 |    17309     10 |      386 |      327
172.16/172.26	c  172s |      15 |   915551 |    91932 |    17309     10 |      387 |      328
174.46/174.53	c  174s |      15 |   932068 |    93232 |    17309     11 |      387 |      328
176.66/176.76	c  176s |      15 |   951207 |    94532 |    17309     11 |      387 |      328
178.76/178.89	c  178s |      15 |   964875 |    95832 |    17309     11 |      388 |      329
180.96/181.06	c  180s |      15 |   986832 |    97332 |    17309     11 |      388 |      329
183.06/183.12	c  182s |      15 |  1009415 |    98732 |    17309     11 |      388 |      329
185.26/185.30	c  185s |      15 |  1033041 |   100132 |    17309     11 |      388 |      329
187.36/187.42	c  187s |      15 |  1046963 |   101332 |    17309     11 |      388 |      329
189.36/189.46	c  189s |      15 |  1056374 |   102432 |    17309     12 |      389 |      330
191.36/191.46	c  191s |      15 |  1068540 |   103532 |    17309     12 |      390 |      331
193.46/193.50	c  193s |      15 |  1082203 |   104832 |    17309     12 |      391 |      332
195.76/195.88	c  195s |      15 |  1093816 |   106032 |    17309     12 |      391 |      332
197.86/198.00	c  197s |      15 |  1103627 |   107032 |    17309     12 |      391 |      332
199.96/200.06	c  199s |      15 |  1119109 |   108032 |    17309     12 |      391 |      332
202.06/202.10	c  201s |      15 |  1138518 |   109332 |    17309     12 |      391 |      332
204.06/204.14	c  203s |      15 |  1152150 |   110432 |    17309     12 |      391 |      332
206.36/206.41	c  206s |      15 |  1156832 |   111132 |    17309     12 |      391 |      332
208.36/208.42	c  208s |      15 |  1158176 |   111532 |    17309     12 |      391 |      332
210.46/210.51	c  210s |      15 |  1158965 |   111732 |    17309     12 |      391 |      332
212.56/212.61	c  212s |      15 |  1161319 |   112332 |    17309     12 |      391 |      332
214.66/214.70	c  214s |      15 |  1166856 |   112832 |    17309     13 |      391 |      332
216.86/216.99	c  216s |      15 |  1176443 |   113732 |    17309     13 |      391 |      332
218.97/219.01	c  218s |      15 |  1191973 |   114932 |    17309     13 |      391 |      332
221.17/221.21	c  220s |      15 |  1202136 |   115832 |    17309     13 |      391 |      332
223.56/223.64	c  223s |      15 |  1213374 |   116932 |    17309     13 |      391 |      332
225.66/225.73	c  225s |      15 |  1217341 |   117632 |    17309     13 |      391 |      332
227.76/227.89	c  227s |      15 |  1223783 |   118632 |    17309     13 |      391 |      332
229.96/230.07	c  229s |      15 |  1232649 |   119432 |    17309     13 |      391 |      332
232.06/232.20	c  231s |      15 |  1244629 |   120332 |    17309     13 |      391 |      332
234.26/234.36	c  234s |      15 |  1254060 |   121232 |    17309     13 |      391 |      332
236.56/236.62	c  236s |      15 |  1267180 |   122332 |    17309     14 |      391 |      332
238.55/238.70	c  238s |      15 |  1277925 |   123332 |    17309     14 |      391 |      332
240.65/240.73	c  240s |      15 |  1290824 |   124332 |    17309     14 |      391 |      332
243.16/243.28	c  243s |      15 |  1295573 |   125132 |    17309     14 |      391 |      332
245.36/245.47	c  245s |      15 |  1302032 |   126132 |    17309     14 |      391 |      332
247.46/247.57	c  247s |      15 |  1315232 |   127332 |    17309     14 |      392 |      333
249.55/249.64	c  249s |      15 |  1329412 |   128532 |    17309     14 |      393 |      334
251.75/251.82	c  251s |      15 |  1336380 |   129532 |    17309     14 |      393 |      334
253.75/253.84	c  253s |      15 |  1341903 |   130432 |    17309     14 |      393 |      334
255.95/256.01	c  255s |      15 |  1351437 |   131432 |    19040     14 |      393 |      334
256.15/256.24	c  256s |      16 |  1353349 |   131552 |    19040     14 |      393 |      334
258.15/258.25	c  258s |      16 |  1369781 |   132852 |    19040     15 |      393 |      334
260.35/260.43	c  260s |      16 |  1388070 |   134652 |    19040     15 |      393 |      334
262.35/262.48	c  262s |      16 |  1393645 |   135752 |    19040     15 |      393 |      334
264.65/264.74	c  264s |      16 |  1395771 |   136452 |    19040     15 |      393 |      334
266.75/266.84	c  266s |      16 |  1409902 |   137852 |    19040     15 |      393 |      334
268.85/268.97	c  268s |      16 |  1412606 |   138752 |    19040     15 |      393 |      334
271.05/271.12	c  270s |      16 |  1414739 |   139452 |    19040     15 |      393 |      334
273.15/273.21	c  272s |      16 |  1417212 |   140152 |    19040     15 |      393 |      334
275.15/275.28	c  275s |      16 |  1421534 |   140952 |    19040     15 |      393 |      334
277.44/277.50	c  277s |      16 |  1429135 |   142052 |    19040     15 |      393 |      334
279.45/279.58	c  279s |      16 |  1442304 |   143252 |    19040     16 |      393 |      334
281.55/281.66	c  281s |      16 |  1457987 |   144852 |    19040     16 |      393 |      334
283.64/283.70	c  283s |      16 |  1470692 |   146352 |    19040     16 |      394 |      335
285.84/285.92	c  285s |      16 |  1493910 |   147852 |    19040     16 |      394 |      335
287.84/287.99	c  287s |      16 |  1504710 |   148852 |    19040     16 |      395 |      336
289.94/290.01	c  289s |      16 |  1519398 |   149952 |    19040     16 |      395 |      336
292.04/292.18	c  291s |      16 |  1536030 |   151152 |    19040     16 |      395 |      336
294.14/294.24	c  294s |      16 |  1550539 |   152152 |    19040     16 |      395 |      336
296.24/296.32	c  296s |      16 |  1562513 |   153152 |    19040     17 |      395 |      336
298.34/298.42	c  298s |      16 |  1584581 |   154652 |    19040     17 |      395 |      336
300.35/300.42	c  300s |      16 |  1589578 |   155352 |    19040     17 |      395 |      336
302.34/302.47	c  302s |      16 |  1602566 |   156452 |    19040     17 |      395 |      336
305.04/305.11	c  304s |      16 |  1605122 |   156952 |    19040     17 |      395 |      336
307.04/307.13	c  306s |      16 |  1610577 |   157552 |    19040     17 |      395 |      336
309.15/309.26	c  309s |      16 |  1623905 |   158452 |    19040     17 |      395 |      336
311.25/311.38	c  311s |      16 |  1627863 |   159052 |    19040     17 |      395 |      336
313.74/313.80	c  313s |      16 |  1630496 |   159552 |    19040     17 |      395 |      336
315.84/315.90	c  315s |      16 |  1631555 |   159852 |    19040     17 |      395 |      336
317.84/317.98	c  317s |      16 |  1632703 |   160152 |    19040     17 |      395 |      336
320.45/320.60	c  320s |      16 |  1633335 |   160352 |    19040     17 |      395 |      336
322.55/322.66	c  322s |      16 |  1635850 |   160752 |    19040     17 |      395 |      336
324.74/324.84	c  324s |      16 |  1637545 |   161152 |    19040     17 |      395 |      336
327.34/327.49	c  327s |      16 |  1638816 |   161552 |    19040     17 |      395 |      336
330.34/330.43	c  330s |      16 |  1640487 |   161852 |    19040     17 |      395 |      336
332.74/332.81	c  332s |      16 |  1648807 |   162452 |    19040     17 |      395 |      336
334.94/335.00	c  334s |      16 |  1655089 |   163452 |    19040     17 |      395 |      336
336.94/337.02	c  336s |      16 |  1660467 |   164352 |    19040     18 |      395 |      336
339.14/339.25	c  339s |      16 |  1668828 |   165652 |    19040     18 |      395 |      336
341.24/341.37	c  341s |      16 |  1678796 |   166752 |    19040     18 |      395 |      336
343.25/343.39	c  343s |      16 |  1688901 |   167852 |    19040     18 |      395 |      336
345.45/345.56	c  345s |      16 |  1698321 |   169052 |    19040     18 |      395 |      336
347.55/347.63	c  347s |      16 |  1705523 |   169852 |    19040     18 |      395 |      336
349.64/349.80	c  349s |      16 |  1711264 |   170652 |    19040     18 |      395 |      336
351.84/351.94	c  351s |      16 |  1714978 |   171352 |    19040     18 |      395 |      336
354.04/354.13	c  353s |      16 |  1717629 |   171952 |    19040     18 |      395 |      336
356.34/356.45	c  356s |      16 |  1719472 |   172452 |    19040     18 |      395 |      336
358.64/358.71	c  358s |      16 |  1721856 |   172852 |    19040     18 |      395 |      336
360.93/361.01	c  360s |      16 |  1723818 |   173352 |    19040     18 |      395 |      336
363.23/363.35	c  363s |      16 |  1725152 |   173752 |    19040     18 |      395 |      336
365.73/365.84	c  365s |      16 |  1728514 |   174352 |    19040     18 |      395 |      336
368.23/368.33	c  368s |      16 |  1729995 |   174852 |    19040     18 |      395 |      336
370.74/370.86	c  370s |      16 |  1731234 |   175252 |    19040     18 |      395 |      336
373.03/373.17	c  372s |      16 |  1731829 |   175552 |    19040     19 |      395 |      336
375.23/375.34	c  375s |      16 |  1733340 |   175952 |    19040     19 |      395 |      336
377.34/377.45	c  377s |      16 |  1748112 |   177052 |    19040     19 |      395 |      336
379.33/379.50	c  379s |      16 |  1759087 |   177952 |    19040     19 |      395 |      336
381.53/381.67	c  381s |      16 |  1767075 |   178852 |    19040     19 |      395 |      336
383.63/383.72	c  383s |      16 |  1778303 |   179652 |    19040     19 |      395 |      336
386.13/386.21	c  385s |      16 |  1783656 |   180552 |    19040     19 |      395 |      336
388.43/388.53	c  388s |      16 |  1790831 |   181252 |    19040     19 |      395 |      336
391.03/391.10	c  390s |      16 |  1794048 |   181852 |    19040     19 |      395 |      336
393.13/393.24	c  393s |      16 |  1794900 |   182152 |    19040     19 |      395 |      336
395.63/395.74	c  395s |      16 |  1799126 |   182752 |    19040     19 |      395 |      336
398.23/398.39	c  398s |      16 |  1800921 |   183252 |    19040     19 |      395 |      336
400.43/400.56	c  400s |      16 |  1801977 |   183652 |    19040     19 |      395 |      336
403.02/403.12	c  402s |      16 |  1802640 |   183952 |    19040     19 |      395 |      336
405.02/405.16	c  404s |      16 |  1805654 |   184452 |    19040     19 |      395 |      336
407.22/407.38	c  407s |      16 |  1809052 |   185152 |    19040     19 |      395 |      336
409.32/409.41	c  409s |      16 |  1814110 |   185952 |    19040     20 |      395 |      336
411.92/412.01	c  411s |      16 |  1819015 |   186752 |    19040     20 |      395 |      336
414.63/414.71	c  414s |      16 |  1819842 |   187052 |    19040     20 |      395 |      336
416.72/416.80	c  416s |      16 |  1822268 |   187652 |    19040     20 |      395 |      336
418.82/418.96	c  418s |      16 |  1823371 |   188052 |    19040     20 |      395 |      336
421.02/421.17	c  420s |      16 |  1825273 |   188552 |    19040     20 |      395 |      336
423.43/423.51	c  423s |      16 |  1828813 |   189152 |    19040     20 |      395 |      336
425.52/425.66	c  425s |      16 |  1831117 |   189652 |    19040     20 |      395 |      336
428.12/428.25	c  428s |      16 |  1832124 |   190052 |    19040     20 |      395 |      336
430.13/430.29	c  430s |      16 |  1833655 |   190552 |    19040     20 |      395 |      336
432.62/432.71	c  432s |      16 |  1835134 |   191052 |    19040     20 |      395 |      336
434.62/434.74	c  434s |      16 |  1836783 |   191352 |    19040     20 |      395 |      336
437.12/437.25	c  437s |      16 |  1839367 |   191852 |    19040     20 |      395 |      336
439.62/439.75	c  439s |      16 |  1840419 |   192252 |    19040     20 |      395 |      336
442.22/442.33	c  442s |      16 |  1840948 |   192452 |    19040     20 |      395 |      336
444.42/444.55	c  444s |      16 |  1843978 |   193152 |    19040     20 |      395 |      336
446.82/446.96	c  446s |      16 |  1846140 |   193652 |    19040     20 |      395 |      336
449.32/449.46	c  449s |      16 |  1849365 |   194152 |    19040     20 |      395 |      336
451.32/451.47	c  451s |      16 |  1851846 |   194752 |    19040     20 |      395 |      336
453.82/453.99	c  453s |      16 |  1854172 |   195352 |    19040     20 |      395 |      336
456.42/456.58	c  456s |      16 |  1854898 |   195652 |    19040     20 |      395 |      336
458.82/458.94	c  458s |      16 |  1855757 |   195952 |    19040     21 |      395 |      336
460.92/461.06	c  460s |      16 |  1857114 |   196352 |    20944     21 |      395 |      336
463.12/463.27	c  463s |      16 |  1859196 |   196852 |    20944     21 |      395 |      336
465.01/465.11	c  464s |      17 |  1861267 |   197432 |    20944     21 |      395 |      336
467.01/467.19	c  466s |      17 |  1879560 |   199332 |    20944     21 |      395 |      336
469.31/469.49	c  469s |      17 |  1887001 |   200632 |    20944     21 |      395 |      336
471.41/471.56	c  471s |      17 |  1891364 |   201832 |    20944     21 |      395 |      336
473.41/473.58	c  473s |      17 |  1904553 |   203032 |    20944     21 |      395 |      336
475.61/475.74	c  475s |      17 |  1916883 |   204332 |    20944     21 |      395 |      336
477.91/478.09	c  477s |      17 |  1924385 |   205232 |    20944     21 |      395 |      336
480.41/480.57	c  480s |      17 |  1926649 |   205732 |    20944     21 |      395 |      336
482.61/482.71	c  482s |      17 |  1933727 |   206732 |    20944     21 |      395 |      336
484.71/484.84	c  484s |      17 |  1940425 |   207632 |    20944     21 |      395 |      336
486.91/487.04	c  486s |      17 |  1944748 |   208432 |    20944     21 |      395 |      336
488.91/489.08	c  488s |      17 |  1950127 |   209132 |    20944     21 |      395 |      336
491.31/491.42	c  491s |      17 |  1952221 |   209632 |    20944     22 |      395 |      336
493.52/493.66	c  493s |      17 |  1954035 |   210132 |    20944     22 |      395 |      336
495.72/495.88	c  495s |      17 |  1955594 |   210632 |    20944     22 |      395 |      336
498.52/498.60	c  498s |      17 |  1956292 |   210932 |    20944     22 |      395 |      336
500.62/500.73	c  500s |      17 |  1958772 |   211432 |    20944     22 |      395 |      336
502.82/502.90	c  502s |      17 |  1960191 |   211832 |    20944     22 |      395 |      336
505.22/505.32	c  505s |      17 |  1961996 |   212232 |    20944     22 |      395 |      336
508.01/508.14	c  507s |      17 |  1963273 |   212532 |    20944     22 |      395 |      336
510.61/510.70	c  510s |      17 |  1965336 |   212832 |    20944     22 |      395 |      336
512.62/512.77	c  512s |      17 |  1974525 |   214232 |    20944     22 |      395 |      336
514.72/514.84	c  514s |      17 |  1985870 |   215732 |    20944     22 |      395 |      336
516.92/517.03	c  516s |      17 |  1991370 |   216932 |    20944     22 |      395 |      336
518.91/519.07	c  518s |      17 |  1993955 |   217632 |    20944     22 |      395 |      336
521.21/521.35	c  521s |      17 |  1995648 |   218132 |    20944     22 |      395 |      336
523.41/523.59	c  523s |      17 |  1999073 |   219032 |    20944     22 |      395 |      336
525.91/526.09	c  525s |      17 |  2002783 |   219832 |    20944     22 |      395 |      336
527.92/528.09	c  527s |      17 |  2003884 |   220132 |    20944     22 |      395 |      336
530.01/530.17	c  529s |      17 |  2007249 |   221032 |    20944     22 |      395 |      336
532.21/532.31	c  532s |      17 |  2008448 |   221532 |    20944     22 |      395 |      336
534.41/534.53	c  534s |      17 |  2011177 |   222232 |    20944     23 |      395 |      336
536.72/536.81	c  536s |      17 |  2013901 |   222832 |    20944     23 |      395 |      336
538.92/539.07	c  538s |      17 |  2015340 |   223332 |    20944     23 |      395 |      336
541.01/541.18	c  540s |      17 |  2018594 |   223932 |    20944     23 |      395 |      336
543.21/543.38	c  543s |      17 |  2023880 |   225032 |    20944     23 |      395 |      336
545.51/545.62	c  545s |      17 |  2027367 |   225732 |    20944     23 |      395 |      336
547.51/547.63	c  547s |      17 |  2028729 |   226032 |    20944     23 |      395 |      336
549.91/550.02	c  549s |      17 |  2029586 |   226232 |    20944     23 |      395 |      336
552.41/552.59	c  552s |      17 |  2030132 |   226432 |    20944     23 |      395 |      336
555.11/555.26	c  555s |      17 |  2031689 |   226932 |    20944     23 |      395 |      336
557.31/557.40	c  557s |      17 |  2036361 |   227832 |    20944     23 |      395 |      336
559.60/559.72	c  559s |      17 |  2038380 |   228432 |    20944     23 |      395 |      336
561.70/561.88	c  561s |      17 |  2041059 |   229132 |    20944     23 |      395 |      336
563.80/563.98	c  563s |      17 |  2044236 |   229932 |    20944     23 |      395 |      336
566.20/566.36	c  566s |      17 |  2046542 |   230532 |    20944     23 |      395 |      336
568.50/568.63	c  568s |      17 |  2047325 |   230832 |    20944     23 |      395 |      336
570.70/570.89	c  570s |      17 |  2051115 |   231532 |    20944     23 |      395 |      336
572.90/573.09	c  572s |      17 |  2054153 |   232132 |    20944     23 |      395 |      336
575.10/575.21	c  574s |      17 |  2056700 |   232632 |    20944     23 |      395 |      336
577.60/577.78	c  577s |      17 |  2058115 |   233132 |    20944     23 |      395 |      336
580.20/580.39	c  580s |      17 |  2060011 |   233732 |    20944     23 |      395 |      336
582.60/582.74	c  582s |      17 |  2061308 |   234132 |    20944     24 |      395 |      336
584.60/584.75	c  584s |      17 |  2063610 |   234632 |    20944     24 |      395 |      336
586.80/586.90	c  586s |      17 |  2081115 |   235832 |    20944     24 |      395 |      336
588.80/588.99	c  588s |      17 |  2103681 |   237432 |    20944     24 |      395 |      336
590.90/591.08	c  590s |      17 |  2129132 |   239032 |    20944     24 |      395 |      336
593.00/593.17	c  592s |      17 |  2143224 |   240432 |    20944     24 |      395 |      336
595.10/595.22	c  594s |      17 |  2156084 |   241632 |    20944     24 |      395 |      336
597.10/597.25	c  597s |      17 |  2167326 |   243032 |    20944     24 |      395 |      336
599.19/599.32	c  599s |      17 |  2169790 |   243832 |    20944     24 |      395 |      336
601.19/601.36	c  601s |      17 |  2179711 |   244832 |    20944     25 |      395 |      336
603.19/603.37	c  603s |      17 |  2195874 |   246732 |    20944     25 |      395 |      336
605.39/605.51	c  605s |      17 |  2212202 |   248332 |    20944     25 |      395 |      336
607.49/607.64	c  607s |      17 |  2229686 |   249932 |    20944     25 |      395 |      336
609.49/609.66	c  609s |      17 |  2251735 |   251832 |    20944     25 |      395 |      336
611.60/611.74	c  611s |      17 |  2265514 |   253532 |    20944     25 |      395 |      336
613.59/613.79	c  613s |      17 |  2275045 |   254932 |    20944     25 |      395 |      336
615.69/615.82	c  615s |      17 |  2280009 |   255832 |    20944     25 |      395 |      336
617.89/618.04	c  617s |      17 |  2285468 |   257032 |    20944     25 |      395 |      336
619.99/620.17	c  619s |      17 |  2288525 |   257932 |    20944     25 |      395 |      336
622.09/622.28	c  622s |      17 |  2293303 |   259232 |    20944     26 |      395 |      336
624.19/624.32	c  624s |      17 |  2295574 |   260132 |    20944     26 |      395 |      336
626.60/626.73	c  626s |      17 |  2297005 |   260832 |    20944     26 |      395 |      336
628.70/628.82	c  628s |      17 |  2299162 |   261632 |    20944     26 |      395 |      336
630.70/630.89	c  630s |      17 |  2307235 |   262832 |    20944     26 |      395 |      336
632.80/632.91	c  632s |      17 |  2313464 |   263932 |    20944     26 |      395 |      336
634.80/634.95	c  634s |      17 |  2319363 |   265132 |    20944     26 |      395 |      336
636.80/636.99	c  636s |      17 |  2321679 |   265832 |    20944     26 |      395 |      336
638.89/639.01	c  638s |      17 |  2325477 |   266932 |    20944     26 |      395 |      336
640.99/641.18	c  640s |      17 |  2329493 |   267832 |    20944     26 |      395 |      336
643.09/643.24	c  643s |      17 |  2334071 |   268932 |    20944     26 |      395 |      336
645.29/645.41	c  645s |      17 |  2336906 |   269832 |    20944     26 |      395 |      336
647.29/647.48	c  647s |      17 |  2338717 |   270432 |    20944     26 |      395 |      336
649.39/649.50	c  649s |      17 |  2342151 |   271432 |    20944     27 |      395 |      336
651.59/651.77	c  651s |      17 |  2345246 |   272532 |    20944     27 |      395 |      336
653.69/653.80	c  653s |      17 |  2348320 |   273432 |    20944     27 |      395 |      336
655.69/655.82	c  655s |      17 |  2351894 |   274532 |    20944     27 |      395 |      336
657.70/657.88	c  657s |      17 |  2354400 |   275432 |    20944     27 |      395 |      336
659.79/659.94	c  659s |      17 |  2356061 |   276132 |    20944     27 |      395 |      336
661.99/662.10	c  661s |      17 |  2357787 |   276732 |    20944     27 |      395 |      336
664.09/664.24	c  664s |      17 |  2361663 |   277532 |    20944     27 |      395 |      336
666.18/666.39	c  666s |      17 |  2366853 |   278632 |    20944     27 |      395 |      336
668.38/668.55	c  668s |      17 |  2369146 |   279432 |    20944     27 |      395 |      336
670.48/670.64	c  670s |      17 |  2372016 |   280232 |    20944     27 |      395 |      336
672.58/672.75	c  672s |      17 |  2374373 |   280932 |    20944     27 |      395 |      336
674.88/675.03	c  674s |      17 |  2377228 |   281732 |    20944     27 |      395 |      336
676.88/677.09	c  676s |      17 |  2380517 |   282232 |    20944     28 |      395 |      336
678.88/679.09	c  678s |      17 |  2395887 |   284132 |    20944     28 |      395 |      336
680.98/681.14	c  680s |      17 |  2400602 |   285232 |    20944     28 |      395 |      336
683.09/683.25	c  683s |      17 |  2410270 |   286732 |    20944     28 |      395 |      336
685.19/685.39	c  685s |      17 |  2419321 |   288032 |    20944     28 |      395 |      336
687.28/687.40	c  687s |      17 |  2424458 |   289232 |    20944     28 |      395 |      336
689.29/689.48	c  689s |      17 |  2435822 |   290232 |    20944     28 |      395 |      336
691.39/691.57	c  691s |      17 |  2446906 |   291732 |    20944     29 |      395 |      336
693.39/693.59	c  693s |      17 |  2456691 |   293032 |    20944     29 |      395 |      336
695.49/695.62	c  695s |      17 |  2466087 |   294732 |    23039     29 |      395 |      336
697.59/697.70	c  697s |      17 |  2476123 |   295932 |    23039     29 |      396 |      337
697.89/698.04	c  697s |      18 |  2481113 |   296252 |    23039     29 |      396 |      337
699.89/700.07	c  699s |      18 |  2501362 |   297652 |    23039     29 |      396 |      337
701.98/702.11	c  701s |      18 |  2514515 |   299152 |    23039     29 |      396 |      337
703.99/704.13	c  703s |      18 |  2530017 |   300552 |    23039     29 |      396 |      337
706.09/706.21	c  705s |      18 |  2541388 |   301952 |    23039     30 |      396 |      337
708.18/708.35	c  708s |      18 |  2548684 |   303552 |    23039     30 |      396 |      337
710.18/710.36	c  710s |      18 |  2553777 |   304852 |    23039     30 |      396 |      337
712.38/712.59	c  712s |      18 |  2556554 |   305752 |    23039     30 |      396 |      337
714.78/714.94	c  714s |      18 |  2558283 |   306452 |    23039     30 |      396 |      337
716.78/716.98	c  716s |      18 |  2571771 |   307452 |    23039     30 |      397 |      338
718.88/719.02	c  718s |      18 |  2587271 |   308952 |    23039     30 |      398 |      339
720.88/721.06	c  720s |      18 |  2601092 |   310452 |    23039     30 |      398 |      339
722.98/723.11	c  722s |      18 |  2625117 |   312252 |    23039     31 |      398 |      339
724.98/725.18	c  724s |      18 |  2639774 |   313952 |    23039     31 |      398 |      339
727.18/727.37	c  727s |      18 |  2647768 |   315452 |    23039     31 |      398 |      339
729.48/729.65	c  729s |      18 |  2655529 |   316552 |    23039     31 |      398 |      339
731.78/731.90	c  731s |      18 |  2657958 |   317252 |    23039     31 |      398 |      339
733.88/734.08	c  733s |      18 |  2659608 |   317752 |    23039     31 |      398 |      339
735.98/736.13	c  735s |      18 |  2660456 |   318052 |    23039     31 |      398 |      339
738.18/738.38	c  738s |      18 |  2662362 |   318552 |    23039     31 |      398 |      339
740.48/740.64	c  740s |      18 |  2663807 |   319052 |    23039     31 |      398 |      339
742.68/742.86	c  742s |      18 |  2665922 |   319552 |    23039     31 |      398 |      339
744.87/745.02	c  744s |      18 |  2666992 |   319952 |    23039     31 |      398 |      339
747.27/747.41	c  747s |      18 |  2675975 |   320752 |    23039     32 |      398 |      339
749.27/749.49	c  749s |      18 |  2701104 |   322852 |    23039     32 |      398 |      339
751.47/751.60	c  751s |      18 |  2720561 |   324552 |    23039     32 |      398 |      339
753.49/753.64	c  753s |      18 |  2739772 |   326252 |    23039     32 |      398 |      339
755.48/755.70	c  755s |      18 |  2754740 |   327752 |    23039     32 |      398 |      339
757.58/757.71	c  757s |      18 |  2762659 |   328952 |    23039     32 |      398 |      339
759.58/759.72	c  759s |      18 |  2777677 |   330252 |    23039     33 |      398 |      339
761.58/761.73	c  761s |      18 |  2798223 |   332352 |    23039     33 |      398 |      339
763.68/763.83	c  763s |      18 |  2819421 |   334452 |    23039     33 |      398 |      339
765.68/765.86	c  765s |      18 |  2831591 |   335952 |    23039     33 |      398 |      339
767.78/767.97	c  767s |      18 |  2842514 |   337452 |    23039     33 |      398 |      339
769.88/770.02	c  769s |      18 |  2858641 |   338852 |    23039     34 |      398 |      339
771.97/772.11	c  771s |      18 |  2881440 |   340652 |    23039     34 |      398 |      339
774.07/774.26	c  774s |      18 |  2899268 |   342452 |    23039     34 |      398 |      339
776.17/776.31	c  776s |      18 |  2918975 |   344152 |    23039     34 |      398 |      339
778.17/778.39	c  778s |      18 |  2938840 |   345652 |    23039     34 |      398 |      339
780.27/780.45	c  780s |      18 |  2949983 |   347452 |    23039     35 |      398 |      339
782.37/782.52	c  782s |      18 |  2972650 |   349352 |    23039     35 |      398 |      339
784.47/784.60	c  784s |      18 |  2988558 |   350852 |    23039     35 |      398 |      339
786.48/786.67	c  786s |      18 |  2997888 |   352052 |    23039     35 |      398 |      339
788.77/788.93	c  788s |      18 |  3010391 |   353552 |    23039     35 |      398 |      339
790.78/790.93	c  790s |      18 |  3027100 |   355052 |    23039     36 |      398 |      339
792.77/792.99	c  792s |      18 |  3041903 |   356652 |    23039     36 |      398 |      339
794.97/795.18	c  794s |      18 |  3043877 |   357252 |    23039     36 |      398 |      339
797.07/797.23	c  797s |      18 |  3045326 |   357752 |    23039     36 |      398 |      339
799.37/799.59	c  799s |      18 |  3047663 |   358452 |    23039     36 |      398 |      339
801.47/801.68	c  801s |      18 |  3059023 |   359852 |    23039     36 |      398 |      339
803.47/803.68	c  803s |      18 |  3067529 |   361252 |    23039     36 |      398 |      339
805.57/805.75	c  805s |      18 |  3078743 |   362552 |    23039     37 |      398 |      339
807.67/807.81	c  807s |      18 |  3094984 |   364152 |    23039     37 |      398 |      339
809.67/809.82	c  809s |      18 |  3109565 |   365752 |    23039     37 |      398 |      339
811.67/811.85	c  811s |      18 |  3125966 |   367252 |    23039     37 |      398 |      339
813.67/813.89	c  813s |      18 |  3136723 |   368552 |    23039     38 |      398 |      339
815.77/815.98	c  815s |      18 |  3144002 |   369852 |    23039     38 |      398 |      339
817.87/818.00	c  817s |      18 |  3153622 |   371552 |    23039     38 |      398 |      339
819.87/820.03	c  819s |      18 |  3167189 |   373052 |    23039     38 |      398 |      339
821.86/822.06	c  821s |      18 |  3170462 |   374152 |    23039     38 |      398 |      339
823.87/824.07	c  823s |      18 |  3173501 |   375052 |    23039     38 |      398 |      339
825.97/826.18	c  825s |      18 |  3175933 |   375852 |    23039     38 |      398 |      339
828.27/828.43	c  828s |      18 |  3179408 |   376852 |    23039     39 |      398 |      339
830.26/830.43	c  830s |      18 |  3182503 |   377752 |    23039     39 |      398 |      339
832.57/832.71	c  832s |      18 |  3184585 |   378452 |    23039     39 |      398 |      339
834.56/834.77	c  834s |      18 |  3186674 |   379052 |    23039     39 |      398 |      339
836.76/836.96	c  836s |      18 |  3189928 |   380152 |    23039     39 |      398 |      339
839.06/839.24	c  839s |      18 |  3192536 |   381152 |    23039     39 |      398 |      339
841.16/841.38	c  841s |      18 |  3197411 |   382152 |    23039     39 |      398 |      339
843.66/843.89	c  843s |      18 |  3199592 |   382952 |    23039     39 |      398 |      339
845.86/846.05	c  845s |      18 |  3201464 |   383652 |    23039     39 |      398 |      339
848.06/848.28	c  848s |      18 |  3203586 |   384452 |    23039     39 |      398 |      339
850.56/850.70	c  850s |      18 |  3205672 |   385052 |    23039     40 |      398 |      339
852.56/852.75	c  852s |      18 |  3208203 |   386052 |    23039     40 |      398 |      339
854.56/854.77	c  854s |      18 |  3210230 |   386752 |    23039     40 |      398 |      339
856.65/856.81	c  856s |      18 |  3217414 |   387852 |    23039     40 |      398 |      339
858.65/858.87	c  858s |      18 |  3221647 |   388752 |    23039     40 |      398 |      339
860.75/860.99	c  860s |      18 |  3224603 |   389452 |    23039     40 |      398 |      339
863.05/863.21	c  862s |      18 |  3234400 |   390652 |    23039     41 |      398 |      339
865.05/865.23	c  865s |      18 |  3242337 |   391552 |    23039     41 |      398 |      339
867.05/867.23	c  867s |      18 |  3257951 |   393152 |    23039     41 |      398 |      339
869.15/869.30	c  869s |      18 |  3272874 |   394952 |    23039     41 |      398 |      339
871.25/871.45	c  871s |      18 |  3283906 |   396352 |    23039     41 |      398 |      339
873.56/873.76	c  873s |      18 |  3288542 |   397352 |    23039     41 |      398 |      339
876.06/876.20	c  875s |      18 |  3290927 |   398052 |    23039     41 |      398 |      339
878.06/878.20	c  877s |      18 |  3294813 |   398652 |    23039     42 |      398 |      339
880.06/880.24	c  880s |      18 |  3308299 |   400352 |    23039     42 |      398 |      339
882.17/882.32	c  882s |      18 |  3331239 |   402252 |    23039     42 |      399 |      340
884.16/884.35	c  884s |      18 |  3347768 |   403852 |    23039     43 |      399 |      340
886.36/886.50	c  886s |      18 |  3354740 |   404852 |    23039     43 |      399 |      340
888.76/888.99	c  888s |      18 |  3357139 |   405352 |    23039     43 |      399 |      340
891.16/891.32	c  891s |      18 |  3358607 |   405652 |    23039     43 |      399 |      340
893.36/893.59	c  893s |      18 |  3359132 |   405852 |    23039     43 |      399 |      340
896.06/896.26	c  896s |      18 |  3360341 |   406152 |    23039     43 |      399 |      340
898.56/898.74	c  898s |      18 |  3361812 |   406552 |    23039     43 |      399 |      340
901.26/901.41	c  901s |      18 |  3362750 |   406852 |    23039     43 |      399 |      340
903.26/903.45	c  903s |      18 |  3363718 |   407152 |    23039     43 |      399 |      340
905.36/905.56	c  905s |      18 |  3364229 |   407352 |    23039     43 |      399 |      340
907.56/907.77	c  907s |      18 |  3364876 |   407552 |    23039     43 |      399 |      340
910.25/910.44	c  910s |      18 |  3366411 |   407852 |    23039     43 |      399 |      340
912.35/912.59	c  912s |      18 |  3367137 |   408052 |    23039     43 |      399 |      340
915.06/915.28	c  915s |      18 |  3368171 |   408352 |    23039     43 |      399 |      340
917.65/917.86	c  917s |      18 |  3369327 |   408652 |    23039     43 |      399 |      340
920.15/920.32	c  920s |      18 |  3369991 |   408852 |    23039     43 |      399 |      340
922.95/923.10	c  922s |      18 |  3371073 |   409152 |    23039     43 |      399 |      340
925.85/926.00	c  925s |      18 |  3372331 |   409452 |    23039     43 |      399 |      340
928.55/928.74	c  928s |      18 |  3372923 |   409652 |    23039     43 |      399 |      340
931.56/931.77	c  931s |      18 |  3373383 |   409852 |    23039     43 |      399 |      340
934.15/934.31	c  934s |      18 |  3374058 |   410052 |    23039     43 |      399 |      340
936.25/936.43	c  936s |      18 |  3374456 |   410252 |    23039     43 |      399 |      340
939.85/940.07	c  939s |      18 |  3375367 |   410552 |    23039     43 |      399 |      340
942.15/942.33	c  942s |      18 |  3376257 |   410752 |    23039     43 |      399 |      340
944.25/944.46	c  944s |      18 |  3379152 |   411652 |    23039     44 |      399 |      340
946.35/946.57	c  946s |      18 |  3382089 |   412452 |    23039     44 |      399 |      340
949.16/949.32	c  949s |      18 |  3384723 |   413052 |    23039     44 |      399 |      340
951.46/951.69	c  951s |      18 |  3386014 |   413452 |    23039     44 |      399 |      340
953.75/953.97	c  953s |      18 |  3387205 |   413952 |    23039     44 |      399 |      340
956.05/956.24	c  956s |      18 |  3388596 |   414352 |    23039     44 |      399 |      340
958.25/958.41	c  958s |      18 |  3389436 |   414652 |    23039     44 |      399 |      340
960.55/960.79	c  960s |      18 |  3390098 |   414952 |    23039     44 |      399 |      340
963.95/964.11	c  963s |      18 |  3390496 |   415152 |    23039     44 |      399 |      340
966.75/966.92	c  966s |      18 |  3391190 |   415352 |    23039     44 |      399 |      340
969.05/969.22	c  969s |      18 |  3391737 |   415652 |    23039     44 |      399 |      340
971.34/971.51	c  971s |      18 |  3392244 |   415852 |    23039     44 |      399 |      340
973.94/974.19	c  973s |      18 |  3392660 |   416052 |    23039     44 |      399 |      340
976.65/976.85	c  976s |      18 |  3393231 |   416252 |    23039     44 |      399 |      340
978.85/979.02	c  978s |      18 |  3395989 |   417052 |    23039     44 |      399 |      340
981.05/981.27	c  981s |      18 |  3399650 |   417852 |    23039     45 |      399 |      340
983.14/983.37	c  983s |      18 |  3403383 |   418852 |    23039     45 |      399 |      340
985.24/985.46	c  985s |      18 |  3405206 |   419552 |    23039     45 |      399 |      340
987.34/987.52	c  987s |      18 |  3416951 |   420652 |    23039     45 |      399 |      340
989.54/989.73	c  989s |      18 |  3429583 |   421852 |    23039     46 |      399 |      340
991.54/991.74	c  991s |      18 |  3442757 |   423552 |    23039     46 |      399 |      340
993.64/993.85	c  993s |      18 |  3457826 |   425052 |    23039     46 |      399 |      340
995.74/995.95	c  995s |      18 |  3471508 |   426552 |    23039     47 |      399 |      340
998.04/998.29	c  998s |      18 |  3475665 |   427652 |    23039     47 |      399 |      340
1000.54/1000.71	c 1000s |      18 |  3477620 |   428252 |    23039     47 |      399 |      340
1002.73/1002.94	c 1002s |      18 |  3479675 |   428852 |    23039     47 |      399 |      340
1004.83/1005.05	c 1004s |      18 |  3487608 |   430052 |    23039     47 |      399 |      340
1006.93/1007.16	c 1006s |      18 |  3490024 |   430852 |    23039     47 |      399 |      340
1008.93/1009.17	c 1008s |      18 |  3494693 |   431752 |    23039     48 |      399 |      340
1011.03/1011.23	c 1011s |      18 |  3500459 |   432952 |    23039     48 |      399 |      340
1013.23/1013.43	c 1013s |      18 |  3502281 |   433652 |    23039     48 |      399 |      340
1015.24/1015.45	c 1015s |      18 |  3504122 |   434352 |    23039     48 |      399 |      340
1017.44/1017.64	c 1017s |      18 |  3505229 |   434852 |    23039     48 |      399 |      340
1019.73/1019.91	c 1019s |      18 |  3507425 |   435752 |    23039     48 |      399 |      340
1021.74/1021.97	c 1021s |      18 |  3509553 |   436452 |    23039     48 |      399 |      340
1023.94/1024.19	c 1023s |      18 |  3511090 |   437052 |    23039     48 |      399 |      340
1026.03/1026.22	c 1025s |      18 |  3514102 |   437752 |    23039     49 |      399 |      340
1028.23/1028.40	c 1028s |      18 |  3517136 |   438852 |    23039     49 |      399 |      340
1030.43/1030.62	c 1030s |      18 |  3519035 |   439552 |    23039     49 |      399 |      340
1032.44/1032.63	c 1032s |      18 |  3520523 |   440252 |    23039     49 |      399 |      340
1034.53/1034.74	c 1034s |      18 |  3521788 |   440852 |    23039     49 |      399 |      340
1036.53/1036.75	c 1036s |      18 |  3531726 |   441952 |    25343     49 |      399 |      340
1038.73/1038.95	c 1038s |      18 |  3549498 |   443452 |    25343     50 |      399 |      340
1039.73/1039.95	c 1039s |      19 |  3560957 |   444482 |    25343     50 |      399 |      340
1041.83/1042.05	c 1041s |      19 |  3576458 |   446482 |    25343     50 |      399 |      340
1043.93/1044.11	c 1043s |      19 |  3590221 |   448182 |    25343     50 |      399 |      340
1045.94/1046.16	c 1045s |      19 |  3608880 |   449782 |    25343     50 |      399 |      340
1048.24/1048.43	c 1048s |      19 |  3615535 |   450982 |    25343     50 |      399 |      340
1050.23/1050.49	c 1050s |      19 |  3618970 |   451782 |    25343     51 |      399 |      340
1052.33/1052.53	c 1052s |      19 |  3622877 |   452882 |    25343     51 |      399 |      340
1054.33/1054.58	c 1054s |      19 |  3630087 |   454082 |    25343     51 |      399 |      340
1056.43/1056.61	c 1056s |      19 |  3640550 |   455582 |    25343     51 |      399 |      340
1058.43/1058.69	c 1058s |      19 |  3653157 |   456782 |    25343     52 |      400 |      341
1060.73/1060.96	c 1060s |      19 |  3658723 |   457882 |    25343     52 |      400 |      341
1062.83/1063.05	c 1062s |      19 |  3662338 |   458782 |    25343     52 |      400 |      341
1064.92/1065.17	c 1064s |      19 |  3664538 |   459382 |    25343     52 |      400 |      341
1067.22/1067.40	c 1067s |      19 |  3666881 |   459982 |    25343     52 |      400 |      341
1069.33/1069.57	c 1069s |      19 |  3668722 |   460482 |    25343     52 |      400 |      341
1071.73/1071.93	c 1071s |      19 |  3671878 |   461182 |    25343     52 |      400 |      341
1073.83/1074.01	c 1073s |      19 |  3673064 |   461682 |    25343     52 |      400 |      341
1076.02/1076.22	c 1076s |      19 |  3674390 |   462082 |    25343     52 |      400 |      341
1078.12/1078.37	c 1078s |      19 |  3675624 |   462482 |    25343     52 |      400 |      341
1080.72/1080.97	c 1080s |      19 |  3676744 |   462882 |    25343     52 |      400 |      341
1083.22/1083.43	c 1083s |      19 |  3677666 |   463282 |    25343     52 |      400 |      341
1085.53/1085.79	c 1085s |      19 |  3678408 |   463582 |    25343     52 |      400 |      341
1087.83/1088.07	c 1087s |      19 |  3680201 |   463982 |    25343     52 |      400 |      341
1090.12/1090.34	c 1090s |      19 |  3682394 |   464482 |    25343     52 |      400 |      341
1092.13/1092.38	c 1092s |      19 |  3683799 |   464882 |    25343     53 |      400 |      341
1094.43/1094.68	c 1094s |      19 |  3685857 |   465482 |    25343     53 |      400 |      341
1096.92/1097.15	c 1096s |      19 |  3686979 |   465982 |    25343     53 |      400 |      341
1099.42/1099.61	c 1099s |      19 |  3688368 |   466482 |    25343     53 |      400 |      341
1102.03/1102.26	c 1102s |      19 |  3689465 |   466882 |    25343     53 |      400 |      341
1104.22/1104.48	c 1104s |      19 |  3690842 |   467282 |    25343     53 |      400 |      341
1106.32/1106.54	c 1106s |      19 |  3700026 |   468382 |    25343     53 |      400 |      341
1108.52/1108.73	c 1108s |      19 |  3703694 |   469582 |    25343     53 |      400 |      341
1110.62/1110.87	c 1110s |      19 |  3712713 |   470782 |    25343     54 |      400 |      341
1112.71/1112.96	c 1112s |      19 |  3716494 |   471582 |    25343     54 |      400 |      341
1114.81/1115.00	c 1114s |      19 |  3721815 |   472482 |    25343     54 |      400 |      341
1117.42/1117.62	c 1117s |      19 |  3724607 |   473082 |    25343     54 |      400 |      341
1119.72/1119.92	c 1119s |      19 |  3725412 |   473382 |    25343     54 |      400 |      341
1121.82/1122.06	c 1121s |      19 |  3727428 |   473882 |    25343     54 |      400 |      341
1124.21/1124.41	c 1124s |      19 |  3729920 |   474582 |    25343     54 |      400 |      341
1126.51/1126.78	c 1126s |      19 |  3733968 |   475482 |    25343     54 |      400 |      341
1128.61/1128.84	c 1128s |      19 |  3748726 |   476582 |    25343     55 |      400 |      341
1130.72/1130.98	c 1130s |      19 |  3768224 |   478182 |    25343     55 |      400 |      341
1132.82/1133.03	c 1132s |      19 |  3776353 |   479282 |    25343     55 |      400 |      341
1134.81/1135.08	c 1134s |      19 |  3788012 |   480482 |    25343     56 |      400 |      341
1137.01/1137.29	c 1137s |      19 |  3791407 |   481482 |    25343     56 |      400 |      341
1139.31/1139.51	c 1139s |      19 |  3794539 |   482282 |    25343     56 |      400 |      341
1141.41/1141.61	c 1141s |      19 |  3798403 |   483082 |    25343     56 |      400 |      341
1143.41/1143.69	c 1143s |      19 |  3801758 |   483782 |    25343     56 |      400 |      341
1145.51/1145.73	c 1145s |      19 |  3811842 |   485082 |    25343     57 |      400 |      341
1147.61/1147.86	c 1147s |      19 |  3821848 |   486582 |    25343     57 |      400 |      341
1149.91/1150.12	c 1149s |      19 |  3830138 |   487782 |    25343     58 |      400 |      341
1152.01/1152.20	c 1151s |      19 |  3854387 |   489682 |    25343     58 |      400 |      341
1154.11/1154.31	c 1154s |      19 |  3870142 |   490982 |    25343     58 |      400 |      341
1156.31/1156.50	c 1156s |      19 |  3880813 |   492382 |    25343     59 |      400 |      341
1158.32/1158.58	c 1158s |      19 |  3882948 |   493182 |    25343     59 |      400 |      341
1160.32/1160.59	c 1160s |      19 |  3887910 |   494282 |    25343     59 |      400 |      341
1162.72/1162.96	c 1162s |      19 |  3890971 |   495182 |    25343     59 |      400 |      341
1164.82/1165.09	c 1164s |      19 |  3892693 |   495782 |    25343     59 |      400 |      341
1167.02/1167.24	c 1167s |      19 |  3894546 |   496382 |    25343     59 |      400 |      341
1169.22/1169.45	c 1169s |      19 |  3895297 |   496782 |    25343     59 |      400 |      341
1171.32/1171.52	c 1171s |      19 |  3897001 |   497282 |    25343     59 |      400 |      341
1173.41/1173.64	c 1173s |      19 |  3899577 |   498082 |    25343     60 |      400 |      341
1175.51/1175.77	c 1175s |      19 |  3901040 |   498882 |    25343     60 |      400 |      341
1177.51/1177.79	c 1177s |      19 |  3902670 |   499582 |    25343     60 |      400 |      341
1179.61/1179.83	c 1179s |      19 |  3904154 |   500282 |    25343     60 |      400 |      341
1181.81/1182.03	c 1181s |      19 |  3905695 |   500882 |    25343     60 |      400 |      341
1184.01/1184.29	c 1184s |      19 |  3907046 |   501482 |    25343     60 |      400 |      341
1186.10/1186.31	c 1186s |      19 |  3908608 |   502082 |    25343     60 |      400 |      341
1188.40/1188.65	c 1188s |      19 |  3910248 |   502782 |    25343     60 |      400 |      341
1190.50/1190.79	c 1190s |      19 |  3912678 |   503482 |    25343     60 |      400 |      341
1192.60/1192.86	c 1192s |      19 |  3915484 |   504382 |    25343     61 |      400 |      341
1194.60/1194.87	c 1194s |      19 |  3918058 |   505182 |    25343     61 |      400 |      341
1196.72/1196.97	c 1196s |      19 |  3919432 |   505782 |    25343     61 |      400 |      341
1198.91/1199.13	c 1198s |      19 |  3920773 |   506282 |    25343     61 |      400 |      341
1201.41/1201.69	c 1201s |      19 |  3922121 |   506782 |    25343     61 |      400 |      341
1203.51/1203.77	c 1203s |      19 |  3924023 |   507482 |    25343     61 |      400 |      341
1205.60/1205.86	c 1205s |      19 |  3925555 |   508082 |    25343     61 |      400 |      341
1207.71/1207.92	c 1207s |      19 |  3927652 |   508682 |    25343     61 |      400 |      341
1209.81/1210.02	c 1209s |      19 |  3929948 |   509482 |    25343     61 |      400 |      341
1212.01/1212.28	c 1212s |      19 |  3932771 |   510482 |    25343     62 |      400 |      341
1214.00/1214.29	c 1214s |      19 |  3935112 |   511282 |    25343     62 |      400 |      341
1216.11/1216.40	c 1216s |      19 |  3937120 |   512082 |    25343     62 |      400 |      341
1218.21/1218.44	c 1218s |      19 |  3938699 |   512682 |    25343     62 |      400 |      341
1220.31/1220.54	c 1220s |      19 |  3940078 |   513282 |    25343     62 |      400 |      341
1222.31/1222.58	c 1222s |      19 |  3942406 |   514082 |    25343     62 |      400 |      341
1224.41/1224.65	c 1224s |      19 |  3943996 |   514582 |    25343     62 |      400 |      341
1226.51/1226.73	c 1226s |      19 |  3946612 |   515282 |    25343     63 |      400 |      341
1228.61/1228.81	c 1228s |      19 |  3949205 |   516082 |    25343     63 |      400 |      341
1230.71/1230.97	c 1230s |      19 |  3951456 |   516782 |    25343     63 |      400 |      341
1233.01/1233.29	c 1233s |      19 |  3954368 |   517482 |    25343     63 |      400 |      341
1235.21/1235.43	c 1235s |      19 |  3955760 |   517982 |    25343     63 |      400 |      341
1237.20/1237.45	c 1237s |      19 |  3957538 |   518482 |    25343     63 |      400 |      341
1239.40/1239.62	c 1239s |      19 |  3960282 |   519182 |    25343     63 |      400 |      341
1241.71/1241.99	c 1241s |      19 |  3962097 |   519882 |    25343     63 |      400 |      341
1244.01/1244.29	c 1244s |      19 |  3964853 |   520682 |    25343     64 |      400 |      341
1246.11/1246.35	c 1246s |      19 |  3977555 |   521782 |    25343     64 |      400 |      341
1248.31/1248.51	c 1248s |      19 |  3982429 |   522482 |    25343     64 |      400 |      341
1250.30/1250.56	c 1250s |      19 |  3992011 |   523382 |    25343     64 |      400 |      341
1252.40/1252.64	c 1252s |      19 |  4000253 |   524582 |    25343     65 |      400 |      341
1254.50/1254.74	c 1254s |      19 |  4011216 |   525882 |    25343     65 |      400 |      341
1256.50/1256.74	c 1256s |      19 |  4025484 |   526982 |    25343     66 |      400 |      341
1258.60/1258.87	c 1258s |      19 |  4044750 |   528682 |    25343     66 |      400 |      341
1260.70/1260.93	c 1260s |      19 |  4054761 |   529982 |    25343     67 |      400 |      341
1262.70/1262.98	c 1262s |      19 |  4072489 |   531682 |    25343     67 |      400 |      341
1264.80/1265.05	c 1264s |      19 |  4082743 |   532882 |    25343     67 |      400 |      341
1267.00/1267.26	c 1267s |      19 |  4084079 |   533382 |    25343     67 |      400 |      341
1269.40/1269.64	c 1269s |      19 |  4084956 |   533782 |    25343     67 |      400 |      341
1271.50/1271.72	c 1271s |      19 |  4087956 |   534182 |    25343     68 |      400 |      341
1273.49/1273.77	c 1273s |      19 |  4107316 |   536082 |    25343     68 |      400 |      341
1275.59/1275.83	c 1275s |      19 |  4113562 |   537082 |    25343     69 |      400 |      341
1277.79/1278.01	c 1277s |      19 |  4120005 |   538382 |    25343     69 |      400 |      341
1279.79/1280.06	c 1279s |      19 |  4123748 |   539282 |    25343     69 |      400 |      341
1281.99/1282.23	c 1282s |      19 |  4126539 |   540182 |    25343     69 |      400 |      341
1284.09/1284.30	c 1284s |      19 |  4129249 |   540982 |    25343     70 |      400 |      341
1286.09/1286.38	c 1286s |      19 |  4134338 |   542082 |    25343     70 |      400 |      341
1288.29/1288.52	c 1288s |      19 |  4137601 |   543082 |    25343     70 |      400 |      341
1290.49/1290.73	c 1290s |      19 |  4141973 |   543882 |    25343     70 |      400 |      341
1292.59/1292.88	c 1292s |      19 |  4143735 |   544282 |    25343     70 |      400 |      341
1294.79/1295.05	c 1294s |      19 |  4151218 |   545182 |    25343     71 |      400 |      341
1296.80/1297.09	c 1296s |      19 |  4152920 |   545682 |    25343     71 |      400 |      341
1299.00/1299.22	c 1299s |      19 |  4155183 |   546282 |    25343     71 |      400 |      341
1300.99/1301.28	c 1301s |      19 |  4156819 |   546682 |    25343     71 |      400 |      341
1303.19/1303.45	c 1303s |      19 |  4160138 |   547582 |    25343     71 |      400 |      341
1305.29/1305.53	c 1305s |      19 |  4161949 |   548182 |    25343     71 |      400 |      341
1307.39/1307.63	c 1307s |      19 |  4169089 |   549182 |    25343     72 |      400 |      341
1309.49/1309.78	c 1309s |      19 |  4193929 |   550782 |    25343     73 |      400 |      341
1311.69/1311.94	c 1311s |      19 |  4204746 |   552282 |    25343     73 |      400 |      341
1313.99/1314.22	c 1314s |      19 |  4208497 |   553182 |    25343     73 |      400 |      341
1315.99/1316.27	c 1316s |      19 |  4216782 |   554182 |    25343     74 |      400 |      341
1318.18/1318.42	c 1318s |      19 |  4225599 |   555482 |    25343     74 |      400 |      341
1320.38/1320.60	c 1320s |      19 |  4227500 |   556182 |    25343     74 |      400 |      341
1322.68/1322.97	c 1322s |      19 |  4229033 |   556782 |    25343     74 |      400 |      341
1324.78/1325.02	c 1324s |      19 |  4239834 |   558082 |    25343     75 |      400 |      341
1327.09/1327.34	c 1327s |      19 |  4242482 |   558982 |    25343     75 |      400 |      341
1329.39/1329.63	c 1329s |      19 |  4243883 |   559582 |    25343     75 |      400 |      341
1331.49/1331.77	c 1331s |      19 |  4246637 |   560282 |    25343     75 |      400 |      341
1333.99/1334.21	c 1333s |      19 |  4248095 |   560882 |    25343     75 |      400 |      341
1336.18/1336.41	c 1336s |      19 |  4250341 |   561482 |    25343     76 |      400 |      341
1338.28/1338.51	c 1338s |      19 |  4252686 |   562282 |    25343     76 |      400 |      341
1340.28/1340.54	c 1340s |      19 |  4254528 |   562982 |    25343     76 |      400 |      341
1342.58/1342.80	c 1342s |      19 |  4257648 |   563982 |    25343     76 |      400 |      341
1344.58/1344.84	c 1344s |      19 |  4259258 |   564582 |    25343     76 |      400 |      341
1346.58/1346.84	c 1346s |      19 |  4262086 |   565382 |    25343     77 |      400 |      341
1348.58/1348.88	c 1348s |      19 |  4266092 |   566582 |    25343     77 |      400 |      341
1350.78/1351.02	c 1350s |      19 |  4268480 |   567382 |    25343     77 |      400 |      341
1352.89/1353.13	c 1352s |      19 |  4270007 |   567982 |    25343     77 |      400 |      341
1354.99/1355.27	c 1355s |      19 |  4273551 |   569182 |    25343     78 |      400 |      341
1357.08/1357.30	c 1357s |      19 |  4276558 |   570182 |    25343     78 |      400 |      341
1359.08/1359.31	c 1359s |      19 |  4283463 |   571182 |    25343     79 |      400 |      341
1361.08/1361.36	c 1361s |      19 |  4286771 |   572182 |    25343     79 |      400 |      341
1363.18/1363.44	c 1363s |      19 |  4301505 |   573582 |    25343     80 |      400 |      341
1365.18/1365.47	c 1365s |      19 |  4312665 |   574982 |    25343     81 |      400 |      341
1367.28/1367.53	c 1367s |      19 |  4322280 |   576382 |    25343     82 |      400 |      341
1369.38/1369.63	c 1369s |      19 |  4341982 |   578082 |    25343     84 |      400 |      341
1371.38/1371.64	c 1371s |      19 |  4352048 |   579482 |    25343     84 |      400 |      341
1373.48/1373.74	c 1373s |      19 |  4361962 |   580782 |    25343     85 |      400 |      341
1375.78/1376.04	c 1375s |      19 |  4367930 |   581582 |    25343     85 |      400 |      341
1377.88/1378.15	c 1377s |      19 |  4369496 |   582082 |    25343     85 |      400 |      341
1379.98/1380.25	c 1380s |      19 |  4373155 |   583182 |    25343     86 |      400 |      341
1382.08/1382.33	c 1382s |      19 |  4375372 |   583882 |    25343     86 |      400 |      341
1384.48/1384.73	c 1384s |      19 |  4377725 |   584582 |    25343     86 |      400 |      341
1386.58/1386.86	c 1386s |      19 |  4382333 |   585582 |    25343     87 |      400 |      341
1388.68/1388.90	c 1388s |      19 |  4386257 |   586582 |    25343     87 |      400 |      341
1390.88/1391.12	c 1390s |      19 |  4392445 |   587882 |    25343     88 |      400 |      341
1392.88/1393.19	c 1392s |      19 |  4403775 |   589082 |    25343     91 |      400 |      341
1394.98/1395.25	c 1395s |      19 |  4417187 |   590582 |    25343     93 |      400 |      341
1396.98/1397.29	c 1397s |      19 |  4430701 |   592282 |    25343     95 |      400 |      341
1399.09/1399.39	c 1399s |      19 |  4439887 |   593482 |    25343     97 |      400 |      341
1401.19/1401.50	c 1401s |      19 |  4446140 |   594782 |    25343     98 |      400 |      341
1403.28/1403.59	c 1403s |      19 |  4455945 |   596182 |    25343     99 |      400 |      341
1405.48/1405.70	c 1405s |      19 |  4466639 |   597482 |    25343    102 |      400 |      341
1407.58/1407.86	c 1407s |      19 |  4479768 |   598882 |    25343    104 |      400 |      341
1409.68/1409.93	c 1409s |      19 |  4485191 |   599682 |    25343    105 |      400 |      341
1411.78/1412.09	c 1411s |      19 |  4489129 |   600282 |    25343    174 |      400 |      341
1413.88/1414.16	c 1413s |      19 |  4496119 |   601282 |    25343    174 |      400 |      341
1416.47/1416.74	c 1416s |      19 |  4501366 |   601782 |    25343    282 |      400 |      341
1418.47/1418.78	c 1418s |      19 |  4512169 |   603282 |    25343    287 |      400 |      341
1420.57/1420.82	c 1420s |      19 |  4526116 |   604782 |    25343    289 |      400 |      341
1422.57/1422.87	c 1422s |      19 |  4534449 |   606082 |    25343    290 |      400 |      341
1424.77/1425.00	c 1424s |      19 |  4537058 |   606882 |    25343    290 |      400 |      341
1426.97/1427.20	c 1426s |      19 |  4540258 |   607782 |    25343    291 |      400 |      341
1429.07/1429.35	c 1429s |      19 |  4543422 |   608582 |    25343    357 |      400 |      341
1431.27/1431.52	c 1431s |      19 |  4546097 |   609482 |    25343    357 |      400 |      341
1433.37/1433.67	c 1433s |      19 |  4547538 |   610082 |    25343    357 |      400 |      341
1435.67/1435.95	c 1435s |      19 |  4548810 |   610582 |    25343    357 |      400 |      341
1437.87/1438.13	c 1437s |      19 |  4551355 |   611282 |    25343    358 |      400 |      341
1439.87/1440.17	c 1439s |      19 |  4556985 |   612382 |    25343    368 |      400 |      341
1441.97/1442.26	c 1442s |      19 |  4560458 |   613382 |    25343    368 |      400 |      341
1444.37/1444.62	c 1444s |      19 |  4564378 |   614382 |    25343    368 |      400 |      341
1446.37/1446.66	c 1446s |      19 |  4568267 |   615282 |    25343    369 |      400 |      341
1448.66/1448.91	c 1448s |      19 |  4570147 |   615982 |    25343    369 |      400 |      341
1450.86/1451.19	c 1450s |      19 |  4572389 |   616682 |    25343    370 |      400 |      341
1453.17/1453.45	c 1453s |      19 |  4573793 |   617282 |    25343    370 |      400 |      341
1455.37/1455.62	c 1455s |      19 |  4575496 |   617782 |    25343    370 |      400 |      341
1457.77/1458.07	c 1457s |      19 |  4576229 |   618182 |    25343    370 |      400 |      341
1459.86/1460.19	c 1459s |      19 |  4577228 |   618582 |    25343    371 |      400 |      341
1462.06/1462.33	c 1462s |      19 |  4579365 |   619182 |    25343    371 |      400 |      341
1464.37/1464.67	c 1464s |      19 |  4581499 |   619782 |    25343    371 |      400 |      341
1466.57/1466.83	c 1466s |      19 |  4582931 |   620282 |    25343    371 |      400 |      341
1468.76/1469.05	c 1468s |      19 |  4584664 |   620882 |    25343    372 |      400 |      341
1470.86/1471.12	c 1470s |      19 |  4586160 |   621482 |    25343    372 |      400 |      341
1473.16/1473.46	c 1473s |      19 |  4588195 |   622182 |    25343    373 |      400 |      341
1475.26/1475.55	c 1475s |      19 |  4596113 |   623282 |    25343    384 |      400 |      341
1477.36/1477.67	c 1477s |      19 |  4600698 |   624182 |    25343    432 |      400 |      341
1479.46/1479.75	c 1479s |      19 |  4602738 |   624982 |    25343    432 |      400 |      341
1481.76/1482.00	c 1481s |      19 |  4604071 |   625582 |    25343    432 |      400 |      341
1484.16/1484.48	c 1484s |      19 |  4604760 |   625982 |    25343    432 |      400 |      341
1486.27/1486.58	c 1486s |      19 |  4606509 |   626582 |    25343    433 |      400 |      341
1488.37/1488.69	c 1488s |      19 |  4608757 |   627282 |    25343    433 |      400 |      341
1490.47/1490.73	c 1490s |      19 |  4611233 |   627982 |    25343    434 |      400 |      341
1492.77/1493.02	c 1492s |      19 |  4627402 |   629782 |    25343    460 |      400 |      341
1496.36/1496.65	c 1496s |      19 |  4629622 |   629982 |    25343    692 |      400 |      341
1498.46/1498.72	c 1498s |      19 |  4635204 |   631182 |    25343    693 |      400 |      341
1500.46/1500.74	c 1500s |      19 |  4641387 |   632182 |    25343    724 |      400 |      341
1502.47/1502.77	c 1502s |      19 |  4649483 |   632982 |    25343    792 |      400 |      341
1505.67/1505.92	c 1505s |      19 |  4662553 |   634282 |    25343    897 |      400 |      341
1507.66/1507.94	c 1507s |      19 |  4667465 |   635482 |    25343    898 |      400 |      341
1509.76/1510.08	c 1509s |      19 |  4672710 |   636782 |    25343    898 |      400 |      341
1511.86/1512.15	c 1511s |      19 |  4677068 |   637882 |    25343    899 |      400 |      341
1513.85/1514.16	c 1513s |      19 |  4680054 |   638882 |    25343    900 |      400 |      341
1515.96/1516.25	c 1516s |      19 |  4682954 |   639882 |    25343    900 |      400 |      341
1518.06/1518.37	c 1518s |      19 |  4686185 |   640882 |    25343    901 |      400 |      341
1520.16/1520.44	c 1520s |      19 |  4690662 |   642082 |    25343    902 |      400 |      341
1522.36/1522.61	c 1522s |      19 |  4694544 |   643082 |    25343    903 |      400 |      341
1524.37/1524.70	c 1524s |      19 |  4698232 |   644282 |    25343    904 |      400 |      341
1526.57/1526.89	c 1526s |      19 |  4702379 |   645382 |    25343    905 |      400 |      341
1528.77/1529.06	c 1528s |      19 |  4705683 |   646282 |    25343    906 |      400 |      341
1531.16/1531.42	c 1531s |      19 |  4709290 |   647282 |    25343    907 |      400 |      341
1533.16/1533.43	c 1533s |      19 |  4711466 |   647982 |    25343    908 |      400 |      341
1535.26/1535.53	c 1535s |      19 |  4713400 |   648682 |    25343    908 |      400 |      341
1537.36/1537.64	c 1537s |      19 |  4715217 |   649282 |    25343    909 |      400 |      341
1539.45/1539.79	c 1539s |      19 |  4718849 |   650382 |    25343    910 |      400 |      341
1541.55/1541.86	c 1541s |      19 |  4724262 |   651982 |    25343    911 |      400 |      341
1545.26/1545.59	c 1545s |      19 |  4725043 |   652182 |    25343   1132 |      400 |      341
1550.95/1551.25	c 1551s |      19 |  4726166 |   652282 |    25343   1492 |      400 |      341
1555.05/1555.34	c 1555s |      19 |  4727076 |   652482 |    25343   1738 |      400 |      341
1557.15/1557.45	c 1557s |      19 |  4730118 |   653382 |    25343   1739 |      400 |      341
1559.35/1559.64	c 1559s |      19 |  4734434 |   653782 |    25343   1855 |      400 |      341
1564.46/1564.70	c 1564s |      19 |  4739542 |   654282 |    25343   2136 |      400 |      341
1569.95/1570.26	c 1570s |      19 |  4742499 |   654382 |    25343   2480 |      400 |      341
1571.95/1572.29	c 1572s |      19 |  4747474 |   654982 |    25343   2563 |      400 |      341
1576.75/1577.09	c 1576s |      19 |  4749866 |   655582 |    25343   2790 |      400 |      341
1584.24/1584.55	c 1584s |      19 |  4751795 |   655682 |    25343   3254 |      400 |      341
1588.75/1589.06	c 1588s |      19 |  4753212 |   655882 |    25343   3523 |      400 |      341
1590.95/1591.26	c 1591s |      19 |  4755392 |   655982 |    25343   3651 |      400 |      341
1593.85/1594.12	c 1593s |      19 |  4758143 |   656182 |    25343   3821 |      400 |      341
1597.24/1597.51	c 1597s |      19 |  4760879 |   656682 |    25343   4000 |      400 |      341
1600.25/1600.53	c 1600s |      19 |  4762189 |   656782 |    25343   4184 |      400 |      341
1606.24/1606.51	c 1606s |      19 |  4765133 |   657082 |    25343   4534 |      400 |      341
1612.84/1613.19	c 1612s |      19 |  4766724 |   657182 |    25343   4955 |      400 |      341
1615.84/1616.15	c 1615s |      19 |  4767501 |   657282 |    25343   5137 |      400 |      341
1618.14/1618.44	c 1618s |      19 |  4769144 |   657382 |    25343   5270 |      400 |      341
1620.94/1621.26	c 1621s |      19 |  4770356 |   657582 |    25343   5431 |      400 |      341
1632.74/1633.06	c 1632s |      19 |  4771431 |   657682 |    25343   6163 |      400 |      341
1635.24/1635.58	c 1635s |      19 |  4772876 |   657782 |    25343   6314 |      400 |      341
1640.74/1641.01	c 1640s |      19 |  4774352 |   657982 |    25343   6655 |      400 |      341
1644.94/1645.23	c 1645s |      19 |  4776241 |   658182 |    25343   6910 |      400 |      341
1649.64/1649.90	c 1649s |      19 |  4777495 |   658282 |    25343   7195 |      400 |      341
1652.24/1652.54	c 1652s |      19 |  4778984 |   658382 |    25343   7348 |      400 |      341
1659.93/1660.22	c 1660s |      19 |  4782294 |   658782 |    25343   7804 |      400 |      341
1662.43/1662.75	c 1662s |      19 |  4785820 |   659282 |    25343   7924 |      400 |      341
1665.03/1665.30	c 1665s |      19 |  4787774 |   659582 |    25343   8067 |      400 |      341
1667.44/1667.70	c 1667s |      19 |  4788690 |   659682 |    25343   8210 |      400 |      341
1669.54/1669.82	c 1669s |      19 |  4791392 |   660082 |    25343   8320 |      400 |      341
1671.63/1671.92	c 1671s |      19 |  4793536 |   660282 |    25343   8436 |      400 |      341
1673.83/1674.18	c 1673s |      19 |  4795585 |   660582 |    25343   8559 |      400 |      341
1677.34/1677.61	c 1677s |      19 |  4799088 |   661082 |    25343   8726 |      400 |      341
1679.43/1679.73	c 1679s |      19 |  4803588 |   662282 |    27878   8737 |      400 |      341
1681.43/1681.74	c 1681s |      19 |  4805886 |   663082 |    27878   8737 |      400 |      341
1683.43/1683.75	c 1683s |      19 |  4810125 |   663982 |    27878   8737 |      400 |      341
1685.53/1685.88	c 1685s |      19 |  4813472 |   664582 |    27878   8737 |      400 |      341
1687.62/1687.93	c 1687s |      19 |  4818832 |   665882 |    27878   8738 |      400 |      341
1689.52/1689.87	c 1689s |      20 |  4822220 |   666827 |    27878   8738 |      400 |      341
1691.63/1691.91	c 1691s |      20 |  4834174 |   668127 |    27878   8742 |      400 |      341
1693.62/1693.92	c 1693s |      20 |  4845915 |   669527 |    27878   8744 |      400 |      341
1695.72/1696.02	c 1695s |      20 |  4856938 |   670927 |    27878   8745 |      400 |      341
1697.92/1698.23	c 1698s |      20 |  4864831 |   671927 |    27878   8746 |      400 |      341
1700.52/1700.85	c 1700s |      20 |  4869072 |   672727 |    27878   8746 |      400 |      341
1702.82/1703.12	c 1702s |      20 |  4870484 |   673127 |    27878   8746 |      400 |      341
1704.82/1705.18	c 1704s |      20 |  4873592 |   673827 |    27878   8747 |      400 |      341
1707.32/1707.63	c 1707s |      20 |  4875569 |   674327 |    27878   8747 |      400 |      341
1709.32/1709.66	c 1709s |      20 |  4884365 |   675827 |    27878   8748 |      400 |      341
1711.33/1711.70	c 1711s |      20 |  4900099 |   677527 |    27878   8749 |      400 |      341
1713.53/1713.89	c 1713s |      20 |  4903984 |   678427 |    27878   8749 |      400 |      341
1715.83/1716.14	c 1715s |      20 |  4905458 |   678927 |    27878   8749 |      400 |      341
1717.82/1718.19	c 1717s |      20 |  4909337 |   679627 |    27878   8750 |      400 |      341
1719.92/1720.21	c 1719s |      20 |  4919888 |   681127 |    27878   8751 |      400 |      341
1721.92/1722.27	c 1722s |      20 |  4935817 |   683027 |    27878   8753 |      400 |      341
1723.92/1724.29	c 1724s |      20 |  4942729 |   684427 |    27878   8753 |      400 |      341
1726.11/1726.42	c 1726s |      20 |  4947629 |   685627 |    27878   8754 |      400 |      341
1728.21/1728.50	c 1728s |      20 |  4951180 |   686727 |    27878   8754 |      400 |      341
1730.21/1730.52	c 1730s |      20 |  4958510 |   687827 |    27878   8755 |      400 |      341
1732.22/1732.54	c 1732s |      20 |  4967380 |   689027 |    27878   8800 |      400 |      341
1734.52/1734.84	c 1734s |      20 |  4981461 |   690227 |    27878   8847 |      400 |      341
1737.11/1737.45	c 1737s |      20 |  4989807 |   690927 |    27878   8952 |      400 |      341
1741.40/1741.78	c 1741s |      20 |  4996848 |   691727 |    27878   9151 |      400 |      341
1744.00/1744.38	c 1744s |      20 |  5005012 |   692427 |    27878   9256 |      400 |      341
1747.10/1747.41	c 1747s |      20 |  5007382 |   692827 |    27878   9402 |      400 |      341
1749.20/1749.58	c 1749s |      20 |  5009506 |   693027 |    27878   9516 |      400 |      341
1751.90/1752.26	c 1752s |      20 |  5011088 |   693127 |    27878   9668 |      400 |      341
1754.10/1754.50	c 1754s |      20 |  5013198 |   693227 |    27878   9789 |      400 |      341
1760.91/1761.28	c 1761s |      20 |  5017349 |   693527 |    27878  10172 |      400 |      341
1769.99/1770.35	c 1770s |      20 |  5022596 |   693827 |    27878  10694 |      400 |      341
1773.89/1774.28	c 1774s |      20 |  5026066 |   694227 |    27878  10900 |      400 |      341
1775.89/1776.29	c 1776s |      20 |  5032295 |   695527 |    27878  10901 |      400 |      341
1788.58/1788.94	c 1788s |      20 |  5037509 |   696027 |    27878  11600 |      400 |      341
1795.18/1795.54	c 1795s |      20 |  5043387 |   696327 |    27878  11955 |      400 |      341

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.21 2.18 2/180 18490
/proc/meminfo: memFree=28160716/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 2693 0 0 0 0 0 0 0 20 0 4 0 110095318 739700736 3054 33554432000 4194304 16246674 140733459355648 140733459355072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 181103 3064 441 2943 0 177997 0
[pid=18490/tid=18491] ppid=18487 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 758575104 3127 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 762769408 3143 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110095318 766963712 3159 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.14 2.21 2.18 2/180 18490
/proc/meminfo: memFree=28160716/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 27221 0 0 0 5 4 0 0 20 0 4 0 110095318 1333334016 27520 33554432000 4194304 16246674 140733459355648 140733459354960 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 325521 27535 800 2943 0 322415 0
[pid=18490/tid=18491] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 27546 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 27557 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 27569 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200518 s]
/proc/loadavg: 2.14 2.21 2.18 2/180 18490
/proc/meminfo: memFree=28160716/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 42367 0 0 0 13 6 0 0 20 0 4 0 110095318 1333334016 42665 33554432000 4194304 16246674 140733459355648 140733459354960 13241073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 325521 42665 835 2943 0 322415 0
[pid=18490/tid=18491] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 42665 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 42665 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 42665 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300483 s]
/proc/loadavg: 2.14 2.21 2.18 2/180 18490
/proc/meminfo: memFree=28160716/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 60393 0 0 0 20 9 0 0 20 0 4 0 110095318 1333334016 60692 33554432000 4194304 16246674 140733459355648 140733459354960 5830026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 325521 60703 877 2943 0 322415 0
[pid=18490/tid=18491] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 60708 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 60713 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 60716 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700398 s]
/proc/loadavg: 2.14 2.21 2.18 2/180 18490
/proc/meminfo: memFree=28160716/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 146024 0 0 0 47 22 0 0 20 0 4 0 110095318 1333334016 146322 33554432000 4194304 16246674 140733459355648 140733459337536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 325521 146328 877 2943 0 322415 0
[pid=18490/tid=18491] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 146332 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 146336 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1333334016 146340 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.5004 s]
/proc/loadavg: 2.14 2.21 2.18 3/184 18494
/proc/meminfo: memFree=27194048/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=1.49 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268701 0 0 0 111 38 0 0 20 0 4 0 110095318 1341722624 268999 33554432000 4194304 16246674 140733459355648 140733459354960 13923754 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 268999 884 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 268999 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 268999 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 268999 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.1004 s]
/proc/loadavg: 2.13 2.21 2.18 3/184 18494
/proc/meminfo: memFree=27086168/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268753 0 0 0 271 38 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 140733459337536 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269051 884 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30041 s]
/proc/loadavg: 2.13 2.21 2.18 3/184 18494
/proc/meminfo: memFree=27085308/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268753 0 0 0 591 38 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 140733459337536 6000049 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269051 884 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.11 2.20 2.18 4/184 18494
/proc/meminfo: memFree=27076264/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268753 0 0 0 1231 38 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 140733459337536 12479038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269051 884 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.09 2.19 2.18 3/184 18494
/proc/meminfo: memFree=27022236/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268753 0 0 0 2511 38 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 140733459337536 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269051 884 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269051 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 18494
/proc/meminfo: memFree=26933892/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268754 0 0 0 5070 38 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 140733459337536 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269052 885 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 18495
/proc/meminfo: memFree=26778080/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1310276 CPUtime=102.29 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 268754 0 0 0 10190 39 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 140733459337536 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 327569 269052 885 2943 0 324463 0
[pid=18490/tid=18491] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1341722624 269052 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1310276


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

/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 18548
/proc/meminfo: memFree=24829908/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1302.09 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 130156 53 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459337536 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/183 18550
/proc/meminfo: memFree=24781460/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1362.08 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 136154 54 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459337536 6022678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 18551
/proc/meminfo: memFree=24675472/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1422.08 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 142153 55 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459338648 5717784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.24 2.19 2.18 4/183 18552
/proc/meminfo: memFree=24530176/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1482.06 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 148149 57 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459354824 12483168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 18553
/proc/meminfo: memFree=24411660/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1542.06 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 154147 59 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459337536 5974204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.11 2.16 2.17 3/183 18554
/proc/meminfo: memFree=24304312/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1602.04 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269778 0 0 0 160142 62 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 140733459353472 4222278 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270076 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270076 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/183 18604
/proc/meminfo: memFree=28182436/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1662.03 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269780 0 0 0 166138 65 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 140733459353536 13191661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270332 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 18605
/proc/meminfo: memFree=28182040/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1722.02 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269804 0 0 0 172135 67 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 140733459337536 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270332 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.18 2.15 2.16 3/184 18609
/proc/meminfo: memFree=28181636/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1782 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269824 0 0 0 178131 69 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 140733459353472 13193344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270332 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.16 2.16 3/184 18610
/proc/meminfo: memFree=28181408/32872528 swapFree=17452/1581112
[pid=18490] ppid=18487 vsize=1314372 CPUtime=1800.08 cores=0,2,4,6
/proc/18490/stat : 18490 (toysat) R 18487 18490 13546 0 -1 4202496 269838 0 0 0 179939 69 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 140733459337536 13818354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18490/statm: 328593 270332 885 2943 0 325487 0
[pid=18490/tid=18491] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18491/stat : 18491 (toysat) S 18487 18490 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936824012016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18490/tid=18492] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18492/stat : 18492 (toysat) S 18487 18490 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936745368816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18490/tid=18493] ppid=18487 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18490/task/18493/stat : 18493 (toysat) S 18487 18490 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110095318 1345916928 270332 33554432000 4194304 16246674 140733459355648 139936734895280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1314372

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 18490 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.46
CPU time (s): 1800.14
CPU user time (s): 1799.4
CPU system time (s): 0.746886
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.746886
maximum resident set size= 1081328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269838
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= 75
involuntary context switches= 2147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79727 second user time and 6.73298 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 08:40:34
IDJOB=4078941
IDBENCH=90110
IDSOLVER=2542
FILE ID=node139/4078941-1465281634
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=1452334267

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28161244 kB
Buffers:           71180 kB
Cached:           189096 kB
SwapCached:         1412 kB
Active:          2255500 kB
Inactive:         133716 kB
Active(anon):    2127656 kB
Inactive(anon):     3552 kB
Active(file):     127844 kB
Inactive(file):   130164 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:       3874548 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             600316 kB
SReclaimable:      44412 kB
SUnreclaim:       555904 kB
KernelStack:        1528 kB
PageTables:        11252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3854160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1804288 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 node139 at 2016-06-07 09:10:34