Trace number 4103893

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
MD5SUM72b327feddced7495a083616b5e4ecd7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13898
Total number of constraints672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint7
Maximum length of a constraint1500
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 13421772800
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 53690300878
Number of bits of the biggest sum of numbers36
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-18T10:44:14+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-4103893-1466239453.opb"]
0.00/0.01	c use --random-gen="1948998572 1248775138 582533715 3801739448 2276174368 1784570917 904398809 3209661634 1557638656 1787092448 139984765 3070336391 871633894 3589165378 3413457105 336732409 101965073 1504651864 592450780 4004793666 2472030789 1470755983 1655576529 4084923342 1702936347 2305071937 514900929 3995811467 473376193 1861219635 1441927632 2873082656 2817174813 4210224483 783213275 572286640 3436749469 3166548043 916285167 1796799542 2595899741 2012325921 3486282650 1027131987 4149789335 3629787152 3346701216 1890225847 4235055083 2752069661 1728955134 133678354 2626246250 3805844479 1936322885 3537007439 3666233112 1068747188 1439777373 2650180685 2574725507 54257263 3712185598 2805083934 111133772 2864896915 151259728 3307198788 3493589493 2429263657 1918431521 722271386 1633372445 68942151 3905242490 4220365361 1131824946 3021184455 65697951 1980640479 4074422207 444456679 242761395 1464608958 903024632 4203353716 2335435927 1389669278 1166408922 2992767169 2309025182 1804616404 3307256735 3938087774 3200052615 3037707088 76639810 1457644527 92864191 1039781055 1784385384 85844398 1089751592 490025809 1390838741 4132174247 876588052 1033885604 2497798833 3414739263 1302309578 2643193653 3348942912 1017889813 3072960996 4021205885 28898977 2817785664 664756040 2494268822 1140821533 2626116765 233138170 1626515767 2003651384 448108871 638007214 1488331991 2933663616 4204920879 2400991 887094246 792970514 1694453945 565018625 476734615 3614823604 1560084436 3120593249 4108788256 3548254258 2089703763 967501132 3949500064 732382398 912177783 3988863770 557208164 371026429 657665051 2275474080 3001787931 1409046420 302999745 3972252226 1642825481 1404067729 2557644255 1988740997 3867518515 418831120 246130655 929559191 57661028 4141416883 1201855482 1727098154 1916163147 2780652935 2129214255 703446179 727530402 3165733056 4193551860 1027884468 2076352000 1342809003 233355413 4191456959 275828735 1335984155 328593545 2802437717 1702542214 2503832194 2757092307 959614304 3926281794 2798143172 2510505573 294293033 2157769979 3390999294 2440467781 43878527 2405723767 1545249581 4056887437 2655260431 1542742390 694508429 2830332378 2745057549 2554045943 489277294 2838849725 2755704453 834476677 3603898707 2195243439 1914315232 4256299905 1141869271 3269287404 1822631286 2883805744 2568842839 3284245953 2313889103 1897674402 1285701330 2020707259 2762139535 904684456 3292039249 3968493564 2281731742 977436820 4088520052 3717098126 1603587848 3464056473 3295936623 3298027609 377834456 2170658659 41367190 535178097 4120118757 561441474 59549372 1510566842 7228890 301867418 2992820800 2480503394 3747440201 3977978143 2832331132 3036323752 3553214467 636627027 1832438462 3722695883 3571614201 3955371107 255 362436" option to reproduce the execution
0.09/0.18	c #vars 13898
0.09/0.18	c #constraints 672
3.89/3.92	c BCD2: Hardening is enabled.
3.89/3.92	c BCD2: BiasedSearch is enabled.
3.89/3.92	c Solving starts ...
3.89/3.92	c ============================[ Search Statistics ]============================
3.89/3.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.09/4.19	c       |         |          |          |    Limit     GC | Var      | Constra 
4.09/4.19	c =============================================================================
4.09/4.19	c  0.0s |       0 |        0 |        0 |     4904      0 |     6096 |        0
4.09/4.19	c  0.2s |       1 |      233 |      100 |     4904      0 |     6096 |        0
4.49/4.55	c  0.6s |       2 |     1021 |      250 |     5395      0 |     6096 |        0
4.99/5.04	c  1.1s |       3 |     1441 |      475 |     5935      0 |     6096 |        0
5.89/5.90	c  2.0s |       4 |     1953 |      813 |     6529      0 |     6096 |        0
7.09/7.11	c  3.2s |       5 |     2660 |     1320 |     7182      0 |     6096 |        0
9.29/9.31	c  5.4s |       5 |     3529 |     1920 |     7901      0 |     6096 |        0
9.79/9.81	c  5.9s |       6 |     3758 |     2081 |     8692      0 |     6096 |        0
11.79/11.85	c  7.9s |       6 |     4707 |     2581 |     8692      0 |     6096 |        0
13.89/13.98	c 10.1s |       6 |     5555 |     3181 |     8692      0 |     6096 |        0
13.99/14.03	c 10.1s |       7 |     5621 |     3223 |     9562      0 |     6096 |        0
16.09/16.17	c 12.3s |       7 |     7910 |     4523 |     9562      0 |     6096 |        0
16.79/16.80	c 12.9s |       8 |     8366 |     4936 |    10519      0 |     6096 |        0
18.88/18.92	c 15.0s |       8 |    10580 |     6336 |    10519      0 |     6096 |        0
20.58/20.61	c 16.7s |       9 |    11944 |     7506 |    11571      0 |     6096 |        0
22.58/22.68	c 18.8s |       9 |    13946 |     8506 |    11571      0 |     6096 |        0
24.68/24.79	c 20.9s |       9 |    15387 |     9506 |    11571      0 |     6096 |        0
26.98/27.06	c 23.1s |       9 |    16364 |    10206 |    11571      0 |     6096 |        0
29.08/29.10	c 25.2s |       9 |    17450 |    10906 |    11571      0 |     6096 |        0
30.79/30.84	c 26.9s |      10 |    18026 |    11361 |    12729      0 |     6096 |        0
32.88/32.94	c 29.0s |      10 |    20857 |    11961 |    12729      0 |     6096 |        0
34.88/34.97	c 31.0s |      10 |    21603 |    12461 |    12729      0 |     6096 |        0
37.18/37.29	c 33.4s |      10 |    22441 |    13061 |    12729      0 |     6096 |        0
39.28/39.30	c 35.4s |      10 |    22984 |    13461 |    12729      0 |     6096 |        0
41.48/41.56	c 37.6s |      10 |    23592 |    13961 |    12729      0 |     6096 |        0
43.68/43.71	c 39.8s |      10 |    24243 |    14461 |    12729      0 |     6096 |        0
46.08/46.18	c 42.3s |      10 |    24848 |    14961 |    12729      0 |     6096 |        0
48.39/48.43	c 44.5s |      10 |    25332 |    15361 |    12729      0 |     6096 |        0
50.69/50.79	c 46.9s |      10 |    25961 |    15861 |    12729      0 |     6096 |        0
53.08/53.13	c 49.2s |      10 |    26578 |    16361 |    12729      0 |     6096 |        0
55.18/55.20	c 51.3s |      10 |    27052 |    16761 |    12729      0 |     6096 |        0
56.98/57.09	c 53.2s |      11 |    27577 |    17144 |    14002      0 |     6096 |        0
59.08/59.17	c 55.3s |      11 |    28578 |    17744 |    14002      0 |     6096 |        0
61.18/61.28	c 57.4s |      11 |    29808 |    18644 |    14002      0 |     6096 |        0
63.28/63.34	c 59.4s |      11 |    30681 |    19344 |    14002      0 |     6096 |        0
65.28/65.36	c 61.4s |      11 |    31683 |    20244 |    14002      0 |     6096 |        0
67.27/67.39	c 63.5s |      11 |    32544 |    20844 |    14002      0 |     6096 |        0
69.47/69.50	c 65.6s |      11 |    34571 |    21944 |    14002      1 |     6096 |        0
71.48/71.58	c 67.7s |      11 |    35782 |    22944 |    14002      1 |     6096 |        0
73.57/73.70	c 69.8s |      11 |    37003 |    23944 |    14002      1 |     6096 |        0
75.77/75.86	c 71.9s |      11 |    38094 |    24944 |    14002      1 |     6096 |        0
77.97/78.01	c 74.1s |      11 |    38998 |    25744 |    15403      1 |     6096 |        0
78.08/78.17	c 74.3s |      12 |    39090 |    25819 |    15403      1 |     6096 |        0
80.07/80.19	c 76.3s |      12 |    40864 |    26619 |    15403      1 |     6096 |        0
82.37/82.40	c 78.5s |      12 |    41871 |    27319 |    15403      1 |     6096 |        0
84.57/84.69	c 80.8s |      12 |    42551 |    27919 |    15403      1 |     6096 |        0
86.66/86.76	c 82.8s |      12 |    43123 |    28419 |    15403      1 |     6096 |        0
89.08/89.12	c 85.2s |      12 |    43792 |    29019 |    15403      1 |     6096 |        0
91.28/91.38	c 87.5s |      12 |    44332 |    29519 |    15403      1 |     6096 |        0
93.48/93.54	c 89.6s |      12 |    45037 |    30119 |    15403      1 |     6096 |        0
95.57/95.64	c 91.7s |      12 |    45828 |    30819 |    15403      1 |     6096 |        0
97.77/97.86	c 93.9s |      12 |    46606 |    31519 |    15403      1 |     6096 |        0
99.87/99.96	c 96.0s |      12 |    47084 |    31919 |    15403      1 |     6096 |        0
102.07/102.10	c 98.2s |      12 |    47511 |    32319 |    15403      1 |     6096 |        0
104.37/104.44	c  100s |      12 |    48174 |    32919 |    15403      1 |     6096 |        0
106.46/106.51	c  102s |      12 |    48854 |    33519 |    15403      1 |     6096 |        0
108.76/108.87	c  104s |      12 |    49492 |    34119 |    15403      1 |     6096 |        0
110.76/110.89	c  106s |      12 |    49819 |    34419 |    15403      1 |     6096 |        0
112.85/112.92	c  109s |      12 |    50524 |    35019 |    15403      1 |     6096 |        0
114.95/115.08	c  111s |      12 |    51178 |    35619 |    15403      1 |     6096 |        0
117.26/117.37	c  113s |      12 |    51805 |    36219 |    15403      1 |     6096 |        0
119.46/119.58	c  115s |      12 |    52441 |    36819 |    15403      1 |     6096 |        0
121.46/121.58	c  117s |      12 |    53108 |    37419 |    15403      1 |     6096 |        0
123.66/123.78	c  119s |      12 |    53664 |    37919 |    15403      2 |     6096 |        0
125.85/125.94	c  122s |      12 |    54346 |    38519 |    15403      2 |     6096 |        0
126.95/127.03	c  123s |      13 |    54693 |    38832 |    16944      2 |     6096 |        0
129.05/129.13	c  125s |      13 |    56381 |    39732 |    16944      2 |     6096 |        0
131.25/131.32	c  127s |      13 |    57581 |    40632 |    16944      2 |     6096 |        0
133.25/133.37	c  129s |      13 |    58334 |    41332 |    16944      2 |     6096 |        0
135.55/135.66	c  131s |      13 |    59086 |    42032 |    16944      2 |     6096 |        0
137.85/138.00	c  134s |      13 |    59808 |    42732 |    16944      2 |     6096 |        0
140.05/140.10	c  136s |      13 |    60433 |    43332 |    16944      2 |     6096 |        0
142.15/142.29	c  138s |      13 |    61052 |    43932 |    16944      2 |     6096 |        0
144.45/144.52	c  140s |      13 |    61668 |    44532 |    16944      2 |     6096 |        0
146.75/146.84	c  142s |      13 |    62307 |    45132 |    16944      2 |     6096 |        0
148.75/148.86	c  144s |      13 |    62818 |    45632 |    16944      2 |     6096 |        0
150.75/150.87	c  146s |      13 |    63338 |    46132 |    16944      2 |     6096 |        0
152.95/153.01	c  149s |      13 |    63859 |    46632 |    16944      2 |     6096 |        0
155.15/155.22	c  151s |      13 |    64387 |    47132 |    16944      2 |     6096 |        0
157.25/157.32	c  153s |      13 |    64924 |    47632 |    16944      2 |     6096 |        0
159.55/159.67	c  155s |      13 |    65469 |    48132 |    16944      2 |     6096 |        0
161.65/161.80	c  157s |      13 |    65983 |    48632 |    16944      2 |     6096 |        0
164.04/164.15	c  160s |      13 |    66496 |    49132 |    16944      2 |     6096 |        0
166.14/166.22	c  162s |      13 |    66910 |    49532 |    16944      2 |     6096 |        0
168.14/168.28	c  164s |      13 |    67310 |    49932 |    16944      2 |     6096 |        0
170.54/170.65	c  166s |      13 |    67828 |    50432 |    16944      2 |     6096 |        0
172.95/173.05	c  169s |      13 |    68335 |    50932 |    16944      2 |     6096 |        0
175.04/175.16	c  171s |      13 |    68745 |    51332 |    16944      2 |     6096 |        0
177.34/177.47	c  173s |      13 |    69151 |    51732 |    16944      2 |     6096 |        0
179.44/179.58	c  175s |      13 |    69561 |    52132 |    16944      2 |     6096 |        0
181.84/181.93	c  178s |      13 |    70101 |    52632 |    16944      2 |     6096 |        0
184.04/184.17	c  180s |      13 |    70521 |    53032 |    16944      2 |     6096 |        0
186.53/186.67	c  182s |      13 |    70849 |    53332 |    16944      3 |     6096 |        0
189.04/189.15	c  185s |      13 |    71391 |    53832 |    16944      3 |     6096 |        0
191.14/191.25	c  187s |      13 |    71817 |    54232 |    16944      3 |     6096 |        0
193.54/193.70	c  189s |      13 |    72397 |    54732 |    16944      3 |     6096 |        0
195.64/195.75	c  191s |      13 |    72847 |    55132 |    16944      3 |     6096 |        0
197.73/197.84	c  193s |      13 |    73286 |    55532 |    16944      3 |     6096 |        0
199.83/199.99	c  196s |      13 |    73740 |    55932 |    16944      3 |     6096 |        0
202.13/202.26	c  198s |      13 |    74170 |    56332 |    16944      3 |     6096 |        0
204.43/204.58	c  200s |      13 |    74610 |    56732 |    16944      3 |     6096 |        0
206.84/206.95	c  203s |      13 |    75078 |    57132 |    16944      3 |     6096 |        0
209.23/209.36	c  205s |      13 |    75540 |    57532 |    16944      3 |     6096 |        0
211.73/211.82	c  207s |      13 |    75980 |    57932 |    16944      3 |     6096 |        0
214.13/214.24	c  210s |      13 |    76431 |    58332 |    18639      3 |     6096 |        0
214.23/214.37	c  210s |      14 |    76453 |    58352 |    18639      3 |     6096 |        0
216.22/216.37	c  212s |      14 |    78860 |    59252 |    18639      3 |     6096 |        0
218.32/218.48	c  214s |      14 |    80701 |    60652 |    18639      3 |     6096 |        0
220.42/220.51	c  216s |      14 |    82172 |    61852 |    18639      3 |     6096 |        0
222.52/222.68	c  218s |      14 |    83643 |    63052 |    18639      3 |     6096 |        0
224.72/224.85	c  220s |      14 |    84953 |    64152 |    18639      3 |     6096 |        0
226.92/227.03	c  223s |      14 |    86328 |    65252 |    18639      3 |     6096 |        0
229.12/229.24	c  225s |      14 |    87659 |    66352 |    18639      3 |     6096 |        0
231.11/231.29	c  227s |      14 |    88922 |    67352 |    18639      3 |     6096 |        0
233.31/233.47	c  229s |      14 |    90173 |    68352 |    18639      3 |     6096 |        0
235.42/235.57	c  231s |      14 |    91046 |    69052 |    18639      4 |     6096 |        0
237.62/237.78	c  233s |      14 |    92103 |    69952 |    18639      4 |     6096 |        0
239.71/239.82	c  235s |      14 |    93177 |    70952 |    18639      4 |     6096 |        0
241.71/241.85	c  237s |      14 |    94151 |    71852 |    18639      4 |     6096 |        0
243.91/244.01	c  240s |      14 |    95118 |    72752 |    18639      4 |     6096 |        0
246.00/246.20	c  242s |      14 |    96115 |    73652 |    18639      4 |     6096 |        0
248.30/248.40	c  244s |      14 |    96920 |    74352 |    18639      4 |     6096 |        0
250.30/250.49	c  246s |      14 |    97589 |    74952 |    18639      4 |     6096 |        0
252.40/252.57	c  248s |      14 |    98290 |    75552 |    18639      4 |     6096 |        0
254.50/254.65	c  250s |      14 |    99040 |    76252 |    18639      4 |     6096 |        0
256.70/256.84	c  252s |      14 |    99720 |    76852 |    18639      4 |     6096 |        0
258.90/259.09	c  255s |      14 |   100386 |    77452 |    18639      4 |     6096 |        0
261.10/261.21	c  257s |      14 |   101084 |    78052 |    18639      4 |     6096 |        0
263.40/263.59	c  259s |      14 |   101894 |    78752 |    18639      4 |     6096 |        0
265.60/265.76	c  261s |      14 |   102569 |    79252 |    18639      4 |     6096 |        0
267.79/267.93	c  264s |      14 |   103344 |    79952 |    18639      4 |     6096 |        0
269.89/270.00	c  266s |      14 |   103879 |    80452 |    18639      4 |     6096 |        0
272.09/272.27	c  268s |      14 |   104512 |    81052 |    18639      4 |     6096 |        0
274.29/274.45	c  270s |      14 |   105041 |    81552 |    18639      4 |     6096 |        0
276.49/276.66	c  272s |      14 |   105603 |    82052 |    18639      4 |     6096 |        0
278.79/278.90	c  274s |      14 |   106150 |    82552 |    18639      4 |     6096 |        0
280.99/281.13	c  277s |      14 |   106721 |    83052 |    18639      4 |     6096 |        0
283.19/283.33	c  279s |      14 |   107255 |    83552 |    18639      4 |     6096 |        0
285.49/285.64	c  281s |      14 |   107797 |    84052 |    18639      4 |     6096 |        0
287.78/287.97	c  284s |      14 |   108252 |    84452 |    18639      5 |     6096 |        0
290.09/290.30	c  286s |      14 |   108818 |    84952 |    18639      5 |     6096 |        0
292.29/292.48	c  288s |      14 |   109375 |    85452 |    18639      5 |     6096 |        0
294.59/294.72	c  290s |      14 |   110030 |    85952 |    18639      5 |     6096 |        0
296.99/297.12	c  293s |      14 |   110631 |    86452 |    18639      5 |     6096 |        0
299.38/299.52	c  295s |      14 |   111211 |    86952 |    18639      5 |     6096 |        0
301.58/301.74	c  297s |      14 |   111728 |    87452 |    20503      5 |     6096 |        0
302.39/302.53	c  298s |      15 |   111916 |    87632 |    20503      5 |     6096 |        0
304.48/304.68	c  300s |      15 |   112835 |    88432 |    20503      5 |     6096 |        0
306.58/306.79	c  302s |      15 |   114413 |    89232 |    20503      5 |     6096 |        0
308.68/308.82	c  304s |      15 |   115305 |    90032 |    20503      5 |     6096 |        0
310.78/310.95	c  307s |      15 |   116186 |    90732 |    20503      5 |     6096 |        0
312.98/313.14	c  309s |      15 |   117064 |    91432 |    20503      5 |     6096 |        0
315.18/315.39	c  311s |      15 |   117824 |    92032 |    20503      5 |     6096 |        0
317.17/317.39	c  313s |      15 |   119126 |    92632 |    20503      5 |     6096 |        0
319.27/319.49	c  315s |      15 |   120080 |    93232 |    20503      5 |     6096 |        0
321.67/321.80	c  317s |      15 |   120877 |    93732 |    20503      5 |     6096 |        0
323.87/324.05	c  320s |      15 |   121355 |    94132 |    20503      5 |     6096 |        0
326.16/326.33	c  322s |      15 |   121931 |    94532 |    20503      5 |     6096 |        0
328.27/328.42	c  324s |      15 |   122338 |    94832 |    20503      5 |     6096 |        0
330.37/330.57	c  326s |      15 |   122858 |    95232 |    20503      5 |     6096 |        0
332.47/332.61	c  328s |      15 |   123336 |    95632 |    20503      5 |     6096 |        0
334.77/334.96	c  331s |      15 |   123985 |    96132 |    20503      5 |     6096 |        0
336.86/337.06	c  333s |      15 |   124574 |    96632 |    20503      5 |     6096 |        0
339.06/339.26	c  335s |      15 |   125379 |    97232 |    20503      5 |     6096 |        0
341.26/341.42	c  337s |      15 |   125885 |    97632 |    20503      5 |     6096 |        0
343.56/343.76	c  339s |      15 |   126486 |    98132 |    20503      5 |     6096 |        0
345.86/346.09	c  342s |      15 |   127156 |    98632 |    20503      5 |     6096 |        0
348.16/348.32	c  344s |      15 |   127948 |    99232 |    20503      5 |     6096 |        0
350.36/350.53	c  346s |      15 |   128558 |    99732 |    20503      5 |     6096 |        0
352.36/352.54	c  348s |      15 |   129341 |   100332 |    20503      5 |     6096 |        0
355.16/355.36	c  351s |      15 |   130019 |   100832 |    20503      6 |     6096 |        0
357.25/357.43	c  353s |      15 |   130428 |   101132 |    20503      6 |     6096 |        0
359.45/359.70	c  355s |      15 |   130942 |   101532 |    20503      6 |     6096 |        0
361.76/361.94	c  358s |      15 |   131427 |   101932 |    20503      6 |     6096 |        0
363.96/364.13	c  360s |      15 |   131918 |   102332 |    20503      6 |     6096 |        0
366.66/366.80	c  362s |      15 |   132367 |   102732 |    20503      6 |     6096 |        0
369.16/369.36	c  365s |      15 |   132711 |   103032 |    20503      6 |     6096 |        0
371.26/371.42	c  367s |      15 |   133188 |   103332 |    20503      6 |     6096 |        0
373.36/373.52	c  369s |      15 |   134078 |   104032 |    20503      6 |     6096 |        0
375.46/375.65	c  371s |      15 |   135080 |   105032 |    20503      6 |     6096 |        0
377.65/377.83	c  373s |      15 |   136090 |   106032 |    20503      6 |     6096 |        0
379.65/379.88	c  375s |      15 |   137883 |   106732 |    20503      6 |     6096 |        0
381.75/381.98	c  378s |      15 |   138653 |   107332 |    20503      6 |     6096 |        0
384.05/384.22	c  380s |      15 |   139301 |   107932 |    20503      6 |     6096 |        0
386.25/386.46	c  382s |      15 |   139950 |   108532 |    20503      6 |     6096 |        0
388.55/388.70	c  384s |      15 |   140583 |   109132 |    20503      6 |     6096 |        0
390.85/391.04	c  387s |      15 |   141247 |   109732 |    20503      6 |     6096 |        0
393.25/393.44	c  389s |      15 |   141870 |   110332 |    20503      6 |     6096 |        0
395.35/395.57	c  391s |      15 |   142407 |   110832 |    20503      6 |     6096 |        0
397.45/397.60	c  393s |      15 |   142941 |   111332 |    20503      6 |     6096 |        0
399.55/399.75	c  395s |      15 |   143463 |   111832 |    20503      6 |     6096 |        0
401.65/401.80	c  397s |      15 |   143998 |   112332 |    20503      6 |     6096 |        0
403.65/403.88	c  399s |      15 |   144567 |   112832 |    20503      6 |     6096 |        0
405.85/406.04	c  402s |      15 |   145085 |   113332 |    20503      6 |     6096 |        0
407.95/408.20	c  404s |      15 |   145626 |   113832 |    20503      6 |     6096 |        0
410.15/410.37	c  406s |      15 |   146151 |   114332 |    20503      6 |     6096 |        0
412.45/412.64	c  408s |      15 |   146665 |   114832 |    20503      6 |     6096 |        0
414.84/415.01	c  411s |      15 |   147182 |   115332 |    20503      6 |     6096 |        0
416.94/417.19	c  413s |      15 |   147712 |   115832 |    20503      6 |     6096 |        0
419.14/419.32	c  415s |      15 |   148269 |   116332 |    20503      6 |     6096 |        0
421.25/421.43	c  417s |      15 |   148827 |   116832 |    20503      6 |     6096 |        0
423.54/423.72	c  419s |      15 |   149373 |   117332 |    20503      6 |     6096 |        0
425.84/426.08	c  422s |      15 |   149811 |   117732 |    20503      7 |     6096 |        0
428.14/428.38	c  424s |      15 |   150336 |   118232 |    20503      7 |     6096 |        0
430.54/430.73	c  426s |      15 |   150866 |   118732 |    20503      7 |     6096 |        0
432.94/433.10	c  429s |      15 |   151390 |   119232 |    20503      7 |     6096 |        0
435.33/435.55	c  431s |      15 |   151891 |   119732 |    20503      7 |     6096 |        0
437.33/437.59	c  433s |      15 |   152306 |   120132 |    20503      7 |     6096 |        0
439.43/439.65	c  435s |      15 |   152713 |   120532 |    20503      7 |     6096 |        0
441.43/441.66	c  437s |      15 |   153120 |   120932 |    20503      7 |     6096 |        0
443.83/444.09	c  440s |      15 |   153663 |   121432 |    20503      7 |     6096 |        0
445.93/446.10	c  442s |      15 |   154095 |   121832 |    20503      7 |     6096 |        0
448.32/448.57	c  444s |      15 |   154629 |   122332 |    20503      7 |     6096 |        0
450.42/450.62	c  446s |      15 |   155055 |   122732 |    20503      7 |     6096 |        0
452.52/452.74	c  448s |      15 |   155499 |   123132 |    20503      7 |     6096 |        0
454.62/454.84	c  450s |      15 |   155923 |   123532 |    20503      7 |     6096 |        0
456.82/457.02	c  453s |      15 |   156340 |   123932 |    20503      7 |     6096 |        0
459.02/459.28	c  455s |      15 |   156748 |   124332 |    20503      7 |     6096 |        0
461.32/461.52	c  457s |      15 |   157187 |   124732 |    20503      7 |     6096 |        0
463.42/463.65	c  459s |      15 |   157605 |   125132 |    20503      7 |     6096 |        0
465.62/465.85	c  461s |      15 |   158010 |   125532 |    20503      7 |     6096 |        0
467.71/467.99	c  464s |      15 |   158429 |   125932 |    20503      7 |     6096 |        0
469.91/470.15	c  466s |      15 |   158854 |   126332 |    20503      7 |     6096 |        0
472.11/472.30	c  468s |      15 |   159272 |   126732 |    20503      7 |     6096 |        0
474.11/474.38	c  470s |      15 |   159696 |   127132 |    20503      7 |     6096 |        0
476.31/476.59	c  472s |      15 |   160120 |   127532 |    20503      7 |     6096 |        0
478.61/478.80	c  474s |      15 |   160541 |   127932 |    20503      7 |     6096 |        0
480.71/480.91	c  476s |      15 |   160963 |   128332 |    20503      7 |     6096 |        0
482.91/483.16	c  479s |      15 |   161387 |   128732 |    20503      7 |     6096 |        0
485.01/485.28	c  481s |      15 |   161825 |   129132 |    20503      7 |     6096 |        0
487.21/487.41	c  483s |      15 |   162245 |   129532 |    20503      7 |     6096 |        0
489.31/489.55	c  485s |      15 |   162659 |   129932 |    20503      7 |     6096 |        0
491.51/491.78	c  487s |      15 |   163081 |   130332 |    20503      7 |     6096 |        0
493.71/493.92	c  489s |      15 |   163499 |   130732 |    22554      7 |     6096 |        0
495.90/496.19	c  492s |      15 |   163933 |   131132 |    22554      7 |     6096 |        0
498.30/498.55	c  494s |      15 |   164353 |   131532 |    22554      7 |     6096 |        0
498.40/498.67	c  494s |      16 |   164370 |   131552 |    22554      7 |     6096 |        0
500.60/500.85	c  496s |      16 |   165683 |   131752 |    22554      8 |     6096 |        0
502.80/503.05	c  499s |      16 |   166826 |   132552 |    22554      8 |     6096 |        0
505.00/505.22	c  501s |      16 |   168278 |   133152 |    22554      8 |     6096 |        0
507.00/507.26	c  503s |      16 |   168776 |   133552 |    22554      8 |     6096 |        0
508.99/509.30	c  505s |      16 |   169264 |   133952 |    22554      8 |     6096 |        0
511.09/511.32	c  507s |      16 |   170169 |   134452 |    22554      8 |     6096 |        0
513.19/513.44	c  509s |      16 |   170799 |   135052 |    22554      8 |     6096 |        0
515.39/515.62	c  511s |      16 |   171419 |   135652 |    22554      8 |     6096 |        0
517.48/517.76	c  513s |      16 |   172051 |   136252 |    22554      8 |     6096 |        0
519.68/519.99	c  516s |      16 |   172685 |   136852 |    22554      8 |     6096 |        0
521.98/522.23	c  518s |      16 |   173300 |   137452 |    22554      8 |     6096 |        0
524.28/524.51	c  520s |      16 |   173830 |   137952 |    22554      8 |     6096 |        0
526.48/526.74	c  522s |      16 |   174451 |   138552 |    22554      8 |     6096 |        0
528.48/528.74	c  524s |      16 |   174999 |   139052 |    22554      8 |     6096 |        0
530.68/530.90	c  526s |      16 |   175530 |   139552 |    22554      8 |     6096 |        0
532.88/533.17	c  529s |      16 |   176164 |   140152 |    22554      8 |     6096 |        0
534.88/535.20	c  531s |      16 |   176701 |   140652 |    22554      8 |     6096 |        0
537.28/537.52	c  533s |      16 |   177324 |   141252 |    22554      8 |     6096 |        0
539.28/539.52	c  535s |      16 |   177857 |   141752 |    22554      8 |     6096 |        0
541.38/541.60	c  537s |      16 |   178388 |   142252 |    22554      8 |     6096 |        0
543.58/543.83	c  539s |      16 |   179012 |   142852 |    22554      8 |     6096 |        0
545.78/546.09	c  542s |      16 |   179529 |   143352 |    22554      8 |     6096 |        0
547.88/548.14	c  544s |      16 |   180054 |   143852 |    22554      8 |     6096 |        0
549.89/550.18	c  546s |      16 |   180570 |   144352 |    22554      8 |     6096 |        0
552.09/552.33	c  548s |      16 |   181113 |   144852 |    22554      8 |     6096 |        0
554.08/554.39	c  550s |      16 |   181675 |   145352 |    22554      8 |     6096 |        0
556.38/556.61	c  552s |      16 |   182228 |   145852 |    22554      8 |     6096 |        0
558.58/558.80	c  554s |      16 |   182795 |   146352 |    22554      8 |     6096 |        0
560.67/560.96	c  557s |      16 |   183337 |   146852 |    22554      8 |     6096 |        0
562.87/563.15	c  559s |      16 |   183871 |   147352 |    22554      8 |     6096 |        0
565.07/565.37	c  561s |      16 |   184413 |   147852 |    22554      8 |     6096 |        0
567.27/567.50	c  563s |      16 |   184952 |   148352 |    22554      8 |     6096 |        0
569.47/569.74	c  565s |      16 |   185484 |   148852 |    22554      8 |     6096 |        0
571.57/571.89	c  567s |      16 |   186021 |   149352 |    22554      8 |     6096 |        0
573.77/574.06	c  570s |      16 |   186572 |   149852 |    22554      8 |     6096 |        0
576.17/576.41	c  572s |      16 |   187096 |   150352 |    22554      8 |     6096 |        0
578.77/579.05	c  575s |      16 |   187528 |   150752 |    22554      9 |     6096 |        0
581.07/581.33	c  577s |      16 |   188038 |   151252 |    22554      9 |     6096 |        0
583.47/583.75	c  579s |      16 |   188554 |   151752 |    22554      9 |     6096 |        0
585.77/586.05	c  582s |      16 |   189086 |   152252 |    22554      9 |     6096 |        0
588.16/588.42	c  584s |      16 |   189606 |   152752 |    22554      9 |     6096 |        0
590.16/590.47	c  586s |      16 |   190027 |   153152 |    22554      9 |     6096 |        0
592.56/592.88	c  588s |      16 |   190580 |   153652 |    22554      9 |     6096 |        0
594.66/594.94	c  591s |      16 |   191010 |   154052 |    22554      9 |     6096 |        0
597.06/597.36	c  593s |      16 |   191553 |   154552 |    22554      9 |     6096 |        0
599.46/599.78	c  595s |      16 |   192076 |   155052 |    22554      9 |     6096 |        0
601.76/602.02	c  598s |      16 |   192618 |   155552 |    22554      9 |     6096 |        0
603.96/604.28	c  600s |      16 |   193150 |   156052 |    22554      9 |     6096 |        0
606.45/606.71	c  602s |      16 |   193704 |   156552 |    22554      9 |     6096 |        0
608.85/609.13	c  605s |      16 |   194266 |   157052 |    22554      9 |     6096 |        0
611.05/611.36	c  607s |      16 |   194683 |   157452 |    22554      9 |     6096 |        0
613.05/613.39	c  609s |      16 |   195131 |   157852 |    22554      9 |     6096 |        0
615.15/615.49	c  611s |      16 |   195551 |   158252 |    22554      9 |     6096 |        0
617.24/617.55	c  613s |      16 |   195979 |   158652 |    22554      9 |     6096 |        0
619.44/619.72	c  615s |      16 |   196414 |   159052 |    22554      9 |     6096 |        0
621.64/621.91	c  617s |      16 |   196859 |   159452 |    22554      9 |     6096 |        0
623.84/624.19	c  620s |      16 |   197305 |   159852 |    22554      9 |     6096 |        0
626.04/626.32	c  622s |      16 |   197714 |   160252 |    22554      9 |     6096 |        0
628.14/628.44	c  624s |      16 |   198137 |   160652 |    22554      9 |     6096 |        0
630.34/630.60	c  626s |      16 |   198585 |   161052 |    22554      9 |     6096 |        0
632.64/632.91	c  628s |      16 |   199013 |   161452 |    22554      9 |     6096 |        0
634.74/635.08	c  631s |      16 |   199463 |   161852 |    22554      9 |     6096 |        0
637.03/637.36	c  633s |      16 |   199909 |   162252 |    22554      9 |     6096 |        0
639.43/639.71	c  635s |      16 |   200335 |   162652 |    22554      9 |     6096 |        0
641.83/642.16	c  638s |      16 |   200769 |   163052 |    22554      9 |     6096 |        0
644.03/644.37	c  640s |      16 |   201198 |   163452 |    22554      9 |     6096 |        0
646.32/646.61	c  642s |      16 |   201615 |   163852 |    22554      9 |     6096 |        0
648.52/648.84	c  644s |      16 |   202072 |   164252 |    22554      9 |     6096 |        0
651.03/651.32	c  647s |      16 |   202509 |   164652 |    22554      9 |     6096 |        0
653.42/653.79	c  649s |      16 |   202941 |   165052 |    22554      9 |     6096 |        0
655.62/655.99	c  652s |      16 |   203365 |   165452 |    22554      9 |     6096 |        0
658.02/658.32	c  654s |      16 |   203788 |   165852 |    22554      9 |     6096 |        0
660.22/660.53	c  656s |      16 |   204210 |   166252 |    22554      9 |     6096 |        0
662.62/662.99	c  659s |      16 |   204626 |   166652 |    22554      9 |     6096 |        0
664.82/665.18	c  661s |      16 |   205054 |   167052 |    22554      9 |     6096 |        0
667.22/667.58	c  663s |      16 |   205496 |   167452 |    22554      9 |     6096 |        0
669.52/669.90	c  665s |      16 |   205918 |   167852 |    22554      9 |     6096 |        0
672.31/672.69	c  668s |      16 |   206120 |   168052 |    22554     10 |     6096 |        0
674.41/674.75	c  670s |      16 |   206532 |   168452 |    22554     10 |     6096 |        0
676.41/676.79	c  672s |      16 |   206948 |   168852 |    22554     10 |     6096 |        0
678.81/679.11	c  675s |      16 |   207463 |   169352 |    22554     10 |     6096 |        0
680.81/681.14	c  677s |      16 |   207883 |   169752 |    22554     10 |     6096 |        0
683.51/683.84	c  679s |      16 |   207992 |   169852 |    22554     10 |     6096 |        0
685.51/685.88	c  681s |      16 |   208411 |   170252 |    22554     10 |     6096 |        0
688.10/688.41	c  684s |      16 |   208930 |   170752 |    22554     10 |     6096 |        0
690.70/691.01	c  687s |      16 |   209456 |   171252 |    22554     10 |     6096 |        0
693.20/693.53	c  689s |      16 |   209971 |   171752 |    22554     10 |     6096 |        0
695.70/696.00	c  692s |      16 |   210482 |   172252 |    22554     10 |     6096 |        0
698.10/698.44	c  694s |      16 |   210914 |   172652 |    22554     10 |     6096 |        0
700.30/700.60	c  696s |      16 |   211338 |   173052 |    22554     10 |     6096 |        0
702.30/702.62	c  698s |      16 |   211743 |   173452 |    22554     10 |     6096 |        0
704.40/704.77	c  700s |      16 |   212164 |   173852 |    22554     10 |     6096 |        0
706.49/706.87	c  702s |      16 |   212577 |   174252 |    22554     10 |     6096 |        0
708.69/709.00	c  705s |      16 |   212994 |   174652 |    22554     10 |     6096 |        0
710.89/711.23	c  707s |      16 |   213415 |   175052 |    22554     10 |     6096 |        0
712.89/713.26	c  709s |      16 |   213822 |   175452 |    22554     10 |     6096 |        0
715.29/715.60	c  711s |      16 |   214237 |   175852 |    22554     10 |     6096 |        0
717.29/717.64	c  713s |      16 |   214560 |   176152 |    22554     10 |     6096 |        0
719.49/719.80	c  715s |      16 |   214986 |   176552 |    22554     10 |     6096 |        0
721.69/722.07	c  718s |      16 |   215416 |   176952 |    22554     10 |     6096 |        0
723.99/724.36	c  720s |      16 |   215853 |   177352 |    22554     10 |     6096 |        0
726.39/726.75	c  722s |      16 |   216289 |   177752 |    22554     10 |     6096 |        0
728.99/729.36	c  725s |      16 |   216714 |   178152 |    22554     10 |     6096 |        0
731.09/731.42	c  727s |      16 |   217029 |   178452 |    22554     10 |     6096 |        0
733.09/733.48	c  729s |      16 |   217339 |   178752 |    22554     10 |     6096 |        0
735.49/735.81	c  731s |      16 |   217755 |   179152 |    22554     10 |     6096 |        0
737.59/737.94	c  734s |      16 |   218175 |   179552 |    22554     10 |     6096 |        0
739.89/740.27	c  736s |      16 |   218583 |   179952 |    22554     10 |     6096 |        0
742.19/742.53	c  738s |      16 |   219002 |   180352 |    22554     10 |     6096 |        0
744.29/744.68	c  740s |      16 |   219420 |   180752 |    22554     10 |     6096 |        0
746.79/747.15	c  743s |      16 |   219835 |   181152 |    22554     10 |     6096 |        0
749.09/749.49	c  745s |      16 |   220258 |   181552 |    22554     10 |     6096 |        0
751.48/751.85	c  747s |      16 |   220672 |   181952 |    22554     10 |     6096 |        0
753.78/754.13	c  750s |      16 |   221100 |   182352 |    22554     10 |     6096 |        0
756.08/756.40	c  752s |      16 |   221516 |   182752 |    22554     10 |     6096 |        0
758.48/758.83	c  754s |      16 |   221924 |   183152 |    22554     10 |     6096 |        0
760.89/761.24	c  757s |      16 |   222339 |   183552 |    22554     10 |     6096 |        0
762.88/763.28	c  759s |      16 |   222655 |   183852 |    22554     10 |     6096 |        0
765.18/765.56	c  761s |      16 |   223066 |   184252 |    22554     10 |     6096 |        0
767.59/767.97	c  764s |      16 |   223473 |   184652 |    22554     10 |     6096 |        0
769.58/770.00	c  766s |      16 |   223777 |   184952 |    22554     10 |     6096 |        0
771.98/772.39	c  768s |      16 |   223883 |   185052 |    22554     11 |     6096 |        0
774.28/774.68	c  770s |      16 |   224300 |   185452 |    22554     11 |     6096 |        0
776.58/776.98	c  773s |      16 |   224816 |   185952 |    22554     11 |     6096 |        0
778.98/779.32	c  775s |      16 |   225344 |   186452 |    22554     11 |     6096 |        0
781.38/781.77	c  777s |      16 |   225877 |   186952 |    22554     11 |     6096 |        0
783.48/783.86	c  779s |      16 |   226297 |   187352 |    22554     11 |     6096 |        0
785.78/786.15	c  782s |      16 |   226739 |   187752 |    22554     11 |     6096 |        0
788.28/788.65	c  784s |      16 |   227270 |   188252 |    22554     11 |     6096 |        0
790.38/790.79	c  786s |      16 |   227695 |   188652 |    22554     11 |     6096 |        0
792.79/793.17	c  789s |      16 |   228201 |   189152 |    22554     11 |     6096 |        0
795.28/795.65	c  791s |      16 |   228720 |   189652 |    22554     11 |     6096 |        0
797.78/798.14	c  794s |      16 |   229262 |   190152 |    22554     11 |     6096 |        0
799.88/800.23	c  796s |      16 |   229696 |   190552 |    22554     11 |     6096 |        0
801.98/802.30	c  798s |      16 |   230110 |   190952 |    22554     11 |     6096 |        0
804.08/804.43	c  800s |      16 |   230520 |   191352 |    22554     11 |     6096 |        0
806.09/806.49	c  802s |      16 |   230944 |   191752 |    22554     11 |     6096 |        0
808.19/808.57	c  804s |      16 |   231380 |   192152 |    22554     11 |     6096 |        0
810.28/810.69	c  806s |      16 |   231808 |   192552 |    22554     11 |     6096 |        0
812.48/812.86	c  808s |      16 |   232240 |   192952 |    22554     11 |     6096 |        0
814.68/815.04	c  811s |      16 |   232663 |   193352 |    22554     11 |     6096 |        0
816.68/817.05	c  813s |      16 |   233079 |   193752 |    22554     11 |     6096 |        0
819.08/819.40	c  815s |      16 |   233515 |   194152 |    22554     11 |     6096 |        0
821.28/821.65	c  817s |      16 |   233936 |   194552 |    22554     11 |     6096 |        0
823.58/824.00	c  820s |      16 |   234370 |   194952 |    22554     11 |     6096 |        0
828.27/828.61	c  824s |      16 |   234585 |   195152 |    22554     11 |     6096 |        0
830.37/830.73	c  826s |      16 |   235006 |   195552 |    22554     11 |     6096 |        0
832.38/832.73	c  828s |      16 |   235413 |   195952 |    22554     11 |     6096 |        0
834.47/834.82	c  830s |      16 |   235832 |   196352 |    24810     11 |     6096 |        0
836.67/837.07	c  833s |      16 |   236251 |   196752 |    24810     11 |     6096 |        0
838.77/839.14	c  835s |      16 |   236673 |   197152 |    24810     11 |     6096 |        0
840.27/840.68	c  836s |      17 |   236964 |   197432 |    24810     11 |     6096 |        0
842.47/842.84	c  838s |      17 |   238695 |   197732 |    24810     11 |     6096 |        0
844.48/844.89	c  840s |      17 |   239656 |   198332 |    24810     11 |     6096 |        0
846.68/847.01	c  843s |      17 |   240168 |   198832 |    24810     11 |     6096 |        0
848.88/849.26	c  845s |      17 |   240677 |   199332 |    24810     11 |     6096 |        0
851.47/851.81	c  847s |      17 |   241195 |   199832 |    24810     11 |     6096 |        0
853.77/854.15	c  850s |      17 |   241711 |   200332 |    24810     11 |     6096 |        0
856.17/856.53	c  852s |      17 |   242235 |   200832 |    24810     11 |     6096 |        0
858.57/858.90	c  854s |      17 |   242761 |   201332 |    24810     11 |     6096 |        0
860.97/861.36	c  857s |      17 |   243282 |   201832 |    24810     11 |     6096 |        0
863.47/863.84	c  859s |      17 |   243802 |   202332 |    24810     11 |     6096 |        0
865.97/866.32	c  862s |      17 |   244332 |   202832 |    24810     11 |     6096 |        0
867.97/868.34	c  864s |      17 |   244744 |   203232 |    24810     11 |     6096 |        0
870.37/870.77	c  866s |      17 |   245275 |   203732 |    24810     11 |     6096 |        0
872.47/872.80	c  868s |      17 |   245701 |   204132 |    24810     11 |     6096 |        0
874.77/875.11	c  871s |      17 |   246020 |   204432 |    24810     12 |     6096 |        0
877.17/877.59	c  873s |      17 |   246562 |   204932 |    24810     12 |     6096 |        0
879.17/879.59	c  875s |      17 |   247474 |   205432 |    24810     12 |     6096 |        0
881.27/881.63	c  877s |      17 |   248142 |   206032 |    24810     12 |     6096 |        0
883.46/883.81	c  879s |      17 |   248905 |   206732 |    24810     12 |     6096 |        0
885.46/885.81	c  881s |      17 |   249545 |   207332 |    24810     12 |     6096 |        0
887.66/888.01	c  884s |      17 |   250163 |   207932 |    24810     12 |     6096 |        0
889.86/890.29	c  886s |      17 |   250833 |   208532 |    24810     12 |     6096 |        0
892.26/892.69	c  888s |      17 |   251467 |   209132 |    24810     12 |     6096 |        0
894.66/895.08	c  891s |      17 |   252161 |   209532 |    24810     12 |     6096 |        0
897.06/897.40	c  893s |      17 |   253052 |   210232 |    24810     12 |     6096 |        0
899.26/899.69	c  895s |      17 |   253752 |   210832 |    24810     12 |     6096 |        0
901.36/901.73	c  897s |      17 |   254465 |   211432 |    24810     12 |     6096 |        0
903.56/903.94	c  900s |      17 |   255174 |   212032 |    24810     12 |     6096 |        0
905.86/906.25	c  902s |      17 |   255870 |   212632 |    24810     12 |     6096 |        0
908.16/908.59	c  904s |      17 |   256597 |   213232 |    24810     12 |     6096 |        0
910.47/910.87	c  906s |      17 |   257327 |   213832 |    24810     12 |     6096 |        0
912.86/913.22	c  909s |      17 |   257928 |   214332 |    24810     12 |     6096 |        0
915.16/915.51	c  911s |      17 |   258537 |   214832 |    24810     12 |     6096 |        0
917.36/917.77	c  913s |      17 |   259235 |   215432 |    24810     12 |     6096 |        0
919.66/920.00	c  916s |      17 |   259952 |   216032 |    24810     12 |     6096 |        0
921.96/922.33	c  918s |      17 |   260669 |   216632 |    24810     12 |     6096 |        0
924.06/924.43	c  920s |      17 |   261304 |   217132 |    24810     12 |     6096 |        0
926.06/926.44	c  922s |      17 |   261882 |   217632 |    24810     12 |     6096 |        0
928.06/928.48	c  924s |      17 |   262476 |   218132 |    24810     12 |     6096 |        0
930.45/930.83	c  926s |      17 |   263240 |   218732 |    24810     12 |     6096 |        0
932.65/933.09	c  929s |      17 |   263829 |   219232 |    24810     12 |     6096 |        0
935.05/935.48	c  931s |      17 |   264568 |   219832 |    24810     12 |     6096 |        0
937.15/937.55	c  933s |      17 |   265199 |   220332 |    24810     12 |     6096 |        0
939.45/939.84	c  935s |      17 |   265832 |   220832 |    24810     12 |     6096 |        0
941.55/941.97	c  938s |      17 |   266495 |   221332 |    24810     12 |     6096 |        0
943.95/944.38	c  940s |      17 |   267099 |   221832 |    24810     12 |     6096 |        0
947.05/947.44	c  943s |      17 |   267724 |   222332 |    24810     13 |     6096 |        0
949.26/949.64	c  945s |      17 |   268374 |   222832 |    24810     13 |     6096 |        0
951.56/951.92	c  947s |      17 |   269000 |   223332 |    24810     13 |     6096 |        0
953.56/953.98	c  950s |      17 |   269520 |   223732 |    24810     13 |     6096 |        0
955.66/956.05	c  952s |      17 |   270116 |   224232 |    24810     13 |     6096 |        0
957.76/958.11	c  954s |      17 |   270697 |   224732 |    24810     13 |     6096 |        0
959.96/960.35	c  956s |      17 |   271271 |   225232 |    24810     13 |     6096 |        0
962.26/962.68	c  958s |      17 |   271958 |   225832 |    24810     13 |     6096 |        0
964.66/965.06	c  961s |      17 |   272668 |   226432 |    24810     13 |     6096 |        0
966.86/967.21	c  963s |      17 |   273303 |   226932 |    24810     13 |     6096 |        0
969.06/969.45	c  965s |      17 |   273912 |   227432 |    24810     13 |     6096 |        0
971.36/971.74	c  967s |      17 |   274500 |   227932 |    24810     13 |     6096 |        0
973.46/973.87	c  969s |      17 |   275101 |   228432 |    24810     13 |     6096 |        0
975.76/976.11	c  972s |      17 |   275673 |   228932 |    24810     13 |     6096 |        0
978.16/978.58	c  974s |      17 |   276327 |   229432 |    24810     13 |     6096 |        0
980.36/980.73	c  976s |      17 |   276833 |   229832 |    24810     13 |     6096 |        0
982.85/983.21	c  979s |      17 |   277461 |   230332 |    24810     13 |     6096 |        0
985.15/985.59	c  981s |      17 |   278111 |   230832 |    24810     13 |     6096 |        0
987.35/987.72	c  983s |      17 |   278614 |   231232 |    24810     13 |     6096 |        0
989.35/989.78	c  985s |      17 |   279117 |   231632 |    24810     13 |     6096 |        0
991.65/992.01	c  988s |      17 |   279584 |   232032 |    24810     13 |     6096 |        0
993.95/994.30	c  990s |      17 |   280057 |   232432 |    24810     13 |     6096 |        0
996.15/996.53	c  992s |      17 |   280540 |   232832 |    24810     13 |     6096 |        0
998.35/998.74	c  994s |      17 |   280978 |   233232 |    24810     13 |     6096 |        0
1000.45/1000.88	c  996s |      17 |   281448 |   233632 |    24810     13 |     6096 |        0
1002.55/1002.93	c  999s |      17 |   281897 |   234032 |    24810     13 |     6096 |        0
1004.75/1005.14	c 1001s |      17 |   282376 |   234432 |    24810     13 |     6096 |        0
1006.95/1007.37	c 1003s |      17 |   282958 |   234932 |    24810     13 |     6096 |        0
1009.45/1009.82	c 1005s |      17 |   283552 |   235432 |    24810     13 |     6096 |        0
1011.85/1012.24	c 1008s |      17 |   284156 |   235932 |    24810     13 |     6096 |        0
1014.25/1014.69	c 1010s |      17 |   284735 |   236432 |    24810     13 |     6096 |        0
1016.45/1016.88	c 1012s |      17 |   285185 |   236832 |    24810     13 |     6096 |        0
1018.85/1019.24	c 1015s |      17 |   285650 |   237232 |    24810     13 |     6096 |        0
1021.04/1021.47	c 1017s |      17 |   286101 |   237632 |    24810     13 |     6096 |        0
1023.54/1023.93	c 1020s |      17 |   286566 |   238032 |    24810     13 |     6096 |        0
1025.84/1026.26	c 1022s |      17 |   287013 |   238432 |    24810     13 |     6096 |        0
1028.15/1028.57	c 1024s |      17 |   287507 |   238832 |    24810     13 |     6096 |        0
1030.54/1030.96	c 1027s |      17 |   287971 |   239232 |    24810     13 |     6096 |        0
1032.84/1033.20	c 1029s |      17 |   288429 |   239632 |    24810     13 |     6096 |        0
1034.94/1035.38	c 1031s |      17 |   288938 |   240032 |    24810     13 |     6096 |        0
1038.05/1038.43	c 1034s |      17 |   289400 |   240432 |    24810     14 |     6096 |        0
1040.25/1040.62	c 1036s |      17 |   289879 |   240832 |    24810     14 |     6096 |        0
1042.45/1042.83	c 1038s |      17 |   290365 |   241232 |    24810     14 |     6096 |        0
1044.54/1044.92	c 1040s |      17 |   290835 |   241632 |    24810     14 |     6096 |        0
1046.95/1047.38	c 1043s |      17 |   291407 |   242132 |    24810     14 |     6096 |        0
1049.44/1049.80	c 1045s |      17 |   292007 |   242632 |    24810     14 |     6096 |        0
1051.74/1052.11	c 1048s |      17 |   292589 |   243132 |    24810     14 |     6096 |        0
1053.84/1054.23	c 1050s |      17 |   293179 |   243632 |    24810     14 |     6096 |        0
1056.14/1056.58	c 1052s |      17 |   293766 |   244132 |    24810     14 |     6096 |        0
1058.34/1058.71	c 1054s |      17 |   294391 |   244632 |    24810     14 |     6096 |        0
1060.84/1061.29	c 1057s |      17 |   294982 |   245132 |    24810     14 |     6096 |        0
1063.34/1063.80	c 1059s |      17 |   295588 |   245632 |    24810     14 |     6096 |        0
1065.84/1066.29	c 1062s |      17 |   296167 |   246132 |    24810     14 |     6096 |        0
1068.14/1068.51	c 1064s |      17 |   296633 |   246532 |    24810     14 |     6096 |        0
1070.14/1070.56	c 1066s |      17 |   297120 |   246932 |    24810     14 |     6096 |        0
1072.24/1072.65	c 1068s |      17 |   297599 |   247332 |    24810     14 |     6096 |        0
1074.34/1074.77	c 1070s |      17 |   298094 |   247732 |    24810     14 |     6096 |        0
1076.83/1077.22	c 1073s |      17 |   298696 |   248232 |    24810     14 |     6096 |        0
1079.33/1079.76	c 1075s |      17 |   299300 |   248732 |    24810     14 |     6096 |        0
1081.73/1082.11	c 1078s |      17 |   299780 |   249132 |    24810     14 |     6096 |        0
1084.03/1084.41	c 1080s |      17 |   300251 |   249532 |    24810     14 |     6096 |        0
1086.44/1086.89	c 1082s |      17 |   300688 |   249932 |    24810     14 |     6096 |        0
1088.53/1088.97	c 1085s |      17 |   301217 |   250332 |    24810     14 |     6096 |        0
1090.94/1091.35	c 1087s |      17 |   301699 |   250732 |    24810     14 |     6096 |        0
1093.23/1093.69	c 1089s |      17 |   302177 |   251132 |    24810     14 |     6096 |        0
1095.63/1096.04	c 1092s |      17 |   302625 |   251532 |    24810     14 |     6096 |        0
1098.03/1098.41	c 1094s |      17 |   303140 |   251932 |    24810     14 |     6096 |        0
1100.43/1100.89	c 1096s |      17 |   303578 |   252332 |    24810     14 |     6096 |        0
1102.83/1103.23	c 1099s |      17 |   304076 |   252732 |    24810     14 |     6096 |        0
1105.13/1105.58	c 1101s |      17 |   304547 |   253132 |    24810     14 |     6096 |        0
1107.43/1107.84	c 1103s |      17 |   305022 |   253532 |    24810     14 |     6096 |        0
1109.73/1110.15	c 1106s |      17 |   305465 |   253932 |    24810     14 |     6096 |        0
1112.03/1112.46	c 1108s |      17 |   305980 |   254332 |    24810     14 |     6096 |        0
1114.23/1114.62	c 1110s |      17 |   306467 |   254732 |    24810     14 |     6096 |        0
1116.24/1116.67	c 1112s |      17 |   306925 |   255132 |    24810     14 |     6096 |        0
1118.83/1119.21	c 1115s |      17 |   307574 |   255532 |    24810     14 |     6096 |        0
1121.03/1121.49	c 1117s |      17 |   308018 |   255832 |    24810     14 |     6096 |        0
1123.53/1123.91	c 1119s |      17 |   308792 |   256332 |    24810     14 |     6096 |        0
1125.83/1126.25	c 1122s |      17 |   309427 |   256832 |    24810     14 |     6096 |        0
1128.23/1128.68	c 1124s |      17 |   310021 |   257332 |    24810     14 |     6096 |        0
1130.53/1130.93	c 1127s |      17 |   310657 |   257832 |    24810     14 |     6096 |        0
1132.73/1133.14	c 1129s |      17 |   311245 |   258332 |    24810     14 |     6096 |        0
1135.13/1135.52	c 1131s |      17 |   311583 |   258632 |    24810     15 |     6096 |        0
1137.13/1137.52	c 1133s |      17 |   312079 |   259032 |    24810     15 |     6096 |        0
1139.63/1140.03	c 1136s |      17 |   312682 |   259532 |    24810     15 |     6096 |        0
1141.83/1142.28	c 1138s |      17 |   313280 |   260032 |    24810     15 |     6096 |        0
1143.93/1144.37	c 1140s |      17 |   313885 |   260532 |    24810     15 |     6096 |        0
1146.12/1146.58	c 1142s |      17 |   314510 |   261032 |    24810     15 |     6096 |        0
1148.42/1148.84	c 1144s |      17 |   315122 |   261532 |    24810     15 |     6096 |        0
1150.62/1151.03	c 1147s |      17 |   315742 |   262032 |    24810     15 |     6096 |        0
1153.02/1153.49	c 1149s |      17 |   316366 |   262532 |    24810     15 |     6096 |        0
1155.32/1155.73	c 1151s |      17 |   316947 |   263032 |    24810     15 |     6096 |        0
1157.42/1157.89	c 1153s |      17 |   317556 |   263532 |    24810     15 |     6096 |        0
1159.82/1160.24	c 1156s |      17 |   318161 |   264032 |    24810     15 |     6096 |        0
1162.22/1162.63	c 1158s |      17 |   318803 |   264532 |    24810     15 |     6096 |        0
1164.32/1164.72	c 1160s |      17 |   319287 |   264932 |    24810     15 |     6096 |        0
1166.32/1166.72	c 1162s |      17 |   319823 |   265332 |    24810     15 |     6096 |        0
1168.72/1169.19	c 1165s |      17 |   320489 |   265832 |    24810     15 |     6096 |        0
1170.82/1171.20	c 1167s |      17 |   321006 |   266232 |    24810     15 |     6096 |        0
1172.82/1173.22	c 1169s |      17 |   321444 |   266632 |    24810     15 |     6096 |        0
1175.32/1175.70	c 1171s |      17 |   322034 |   267132 |    24810     15 |     6096 |        0
1177.32/1177.74	c 1173s |      17 |   322537 |   267532 |    24810     15 |     6096 |        0
1179.42/1179.87	c 1175s |      17 |   322995 |   267932 |    24810     15 |     6096 |        0
1181.42/1181.89	c 1177s |      17 |   323489 |   268332 |    24810     15 |     6096 |        0
1183.52/1183.91	c 1179s |      17 |   324001 |   268732 |    24810     15 |     6096 |        0
1185.52/1185.96	c 1182s |      17 |   324508 |   269132 |    24810     15 |     6096 |        0
1187.72/1188.19	c 1184s |      17 |   325015 |   269532 |    24810     15 |     6096 |        0
1189.82/1190.20	c 1186s |      17 |   325515 |   269932 |    24810     15 |     6096 |        0
1192.51/1192.95	c 1189s |      17 |   326100 |   270332 |    24810     15 |     6096 |        0
1194.81/1195.23	c 1191s |      17 |   326657 |   270832 |    24810     15 |     6096 |        0
1197.11/1197.58	c 1193s |      17 |   327199 |   271332 |    24810     15 |     6096 |        0
1199.41/1199.85	c 1195s |      17 |   327760 |   271832 |    24810     15 |     6096 |        0
1201.61/1202.07	c 1198s |      17 |   328305 |   272332 |    24810     15 |     6096 |        0
1204.01/1204.45	c 1200s |      17 |   328933 |   272932 |    24810     15 |     6096 |        0
1206.32/1206.77	c 1202s |      17 |   329565 |   273532 |    24810     15 |     6096 |        0
1208.62/1209.09	c 1205s |      17 |   330297 |   274232 |    24810     15 |     6096 |        0
1210.82/1211.24	c 1207s |      17 |   330908 |   274832 |    24810     15 |     6096 |        0
1213.11/1213.58	c 1209s |      17 |   331666 |   275432 |    24810     15 |     6096 |        0
1215.51/1215.99	c 1212s |      17 |   332279 |   275932 |    24810     15 |     6096 |        0
1217.81/1218.26	c 1214s |      17 |   332881 |   276432 |    24810     15 |     6096 |        0
1220.21/1220.65	c 1216s |      17 |   333323 |   276832 |    24810     16 |     6096 |        0
1222.61/1223.08	c 1219s |      17 |   333923 |   277332 |    24810     16 |     6096 |        0
1224.71/1225.10	c 1221s |      17 |   334399 |   277732 |    24810     16 |     6096 |        0
1227.01/1227.43	c 1223s |      17 |   335021 |   278232 |    24810     16 |     6096 |        0
1229.51/1229.93	c 1226s |      17 |   335598 |   278732 |    24810     16 |     6096 |        0
1231.51/1231.95	c 1228s |      17 |   336069 |   279132 |    24810     16 |     6096 |        0
1233.81/1234.29	c 1230s |      17 |   336630 |   279632 |    24810     16 |     6096 |        0
1235.91/1236.30	c 1232s |      17 |   337079 |   280032 |    24810     16 |     6096 |        0
1237.91/1238.34	c 1234s |      17 |   337555 |   280432 |    24810     16 |     6096 |        0
1240.01/1240.48	c 1236s |      17 |   338048 |   280832 |    24810     16 |     6096 |        0
1242.11/1242.54	c 1238s |      17 |   338519 |   281232 |    24810     16 |     6096 |        0
1244.11/1244.56	c 1240s |      17 |   339006 |   281632 |    24810     16 |     6096 |        0
1246.21/1246.66	c 1242s |      17 |   339478 |   282032 |    24810     16 |     6096 |        0
1248.31/1248.77	c 1244s |      17 |   339984 |   282432 |    24810     16 |     6096 |        0
1250.42/1250.82	c 1246s |      17 |   340820 |   282932 |    24810     16 |     6096 |        0
1253.11/1253.53	c 1249s |      17 |   340938 |   283032 |    24810     16 |     6096 |        0
1255.31/1255.76	c 1251s |      17 |   341671 |   283532 |    24810     16 |     6096 |        0
1257.61/1258.01	c 1254s |      17 |   342126 |   283932 |    24810     16 |     6096 |        0
1259.71/1260.16	c 1256s |      17 |   342721 |   284332 |    24810     16 |     6096 |        0
1262.11/1262.50	c 1258s |      17 |   343146 |   284732 |    24810     16 |     6096 |        0
1264.30/1264.77	c 1260s |      17 |   343623 |   285132 |    24810     16 |     6096 |        0
1266.60/1267.08	c 1263s |      17 |   344034 |   285532 |    24810     16 |     6096 |        0
1268.90/1269.40	c 1265s |      17 |   344450 |   285932 |    24810     16 |     6096 |        0
1271.31/1271.71	c 1267s |      17 |   344888 |   286332 |    24810     16 |     6096 |        0
1273.60/1274.06	c 1270s |      17 |   345328 |   286732 |    24810     16 |     6096 |        0
1275.90/1276.38	c 1272s |      17 |   345762 |   287132 |    24810     16 |     6096 |        0
1278.20/1278.65	c 1274s |      17 |   346215 |   287532 |    24810     16 |     6096 |        0
1280.50/1280.97	c 1277s |      17 |   346652 |   287932 |    24810     16 |     6096 |        0
1283.10/1283.52	c 1279s |      17 |   347102 |   288332 |    24810     16 |     6096 |        0
1285.51/1285.92	c 1281s |      17 |   347548 |   288732 |    24810     16 |     6096 |        0
1287.81/1288.22	c 1284s |      17 |   347987 |   289132 |    24810     16 |     6096 |        0
1289.80/1290.23	c 1286s |      17 |   348310 |   289432 |    24810     16 |     6096 |        0
1292.41/1292.88	c 1288s |      17 |   348740 |   289832 |    24810     16 |     6096 |        0
1294.41/1294.88	c 1290s |      17 |   349074 |   290132 |    24810     16 |     6096 |        0
1297.01/1297.46	c 1293s |      17 |   349509 |   290532 |    24810     16 |     6096 |        0
1299.61/1300.00	c 1296s |      17 |   349955 |   290932 |    24810     16 |     6096 |        0
1301.61/1302.09	c 1298s |      17 |   350274 |   291232 |    24810     16 |     6096 |        0
1303.61/1304.09	c 1300s |      17 |   350610 |   291532 |    24810     16 |     6096 |        0
1305.81/1306.24	c 1302s |      17 |   350933 |   291832 |    24810     16 |     6096 |        0
1308.41/1308.87	c 1304s |      17 |   351369 |   292232 |    24810     16 |     6096 |        0
1311.00/1311.42	c 1307s |      17 |   351816 |   292632 |    24810     16 |     6096 |        0
1314.00/1314.48	c 1310s |      17 |   352270 |   293032 |    24810     17 |     6096 |        0
1316.00/1316.49	c 1312s |      17 |   352596 |   293332 |    24810     17 |     6096 |        0
1318.70/1319.12	c 1315s |      17 |   353062 |   293732 |    24810     17 |     6096 |        0
1320.81/1321.24	c 1317s |      17 |   353389 |   294032 |    24810     17 |     6096 |        0
1322.91/1323.40	c 1319s |      17 |   353727 |   294332 |    27292     17 |     6096 |        0
1325.00/1325.45	c 1321s |      17 |   354045 |   294632 |    27292     17 |     6096 |        0
1327.10/1327.59	c 1323s |      17 |   354368 |   294932 |    27292     17 |     6096 |        0
1329.30/1329.71	c 1325s |      17 |   354684 |   295232 |    27292     17 |     6096 |        0
1331.60/1332.09	c 1328s |      17 |   355011 |   295532 |    27292     17 |     6096 |        0
1333.70/1334.16	c 1330s |      17 |   355334 |   295832 |    27292     17 |     6096 |        0
1336.40/1336.80	c 1332s |      17 |   355778 |   296232 |    27292     17 |     6096 |        0
1336.50/1336.93	c 1333s |      18 |   355797 |   296252 |    27292     17 |     6096 |        0
1338.70/1339.12	c 1335s |      18 |   356320 |   296552 |    27292     17 |     6096 |        0
1340.90/1341.33	c 1337s |      18 |   357004 |   296852 |    27292     17 |     6096 |        0
1343.00/1343.40	c 1339s |      18 |   357808 |   297552 |    27292     17 |     6096 |        0
1345.30/1345.79	c 1341s |      18 |   358507 |   298152 |    27292     17 |     6096 |        0
1347.50/1347.98	c 1344s |      18 |   359193 |   298752 |    27292     17 |     6096 |        0
1349.79/1350.28	c 1346s |      18 |   359870 |   299352 |    27292     17 |     6096 |        0
1351.89/1352.34	c 1348s |      18 |   360514 |   299852 |    27292     17 |     6096 |        0
1354.09/1354.55	c 1350s |      18 |   361313 |   300552 |    27292     17 |     6096 |        0
1356.19/1356.69	c 1352s |      18 |   361981 |   301152 |    27292     17 |     6096 |        0
1358.20/1358.69	c 1354s |      18 |   362542 |   301652 |    27292     17 |     6096 |        0
1360.30/1360.80	c 1356s |      18 |   363237 |   302252 |    27292     17 |     6096 |        0
1362.39/1362.86	c 1358s |      18 |   363792 |   302752 |    27292     17 |     6096 |        0
1364.59/1365.08	c 1361s |      18 |   364503 |   303352 |    27292     17 |     6096 |        0
1366.79/1367.25	c 1363s |      18 |   365271 |   303952 |    27292     17 |     6096 |        0
1368.99/1369.42	c 1365s |      18 |   365783 |   304352 |    27292     17 |     6096 |        0
1371.09/1371.58	c 1367s |      18 |   366402 |   304852 |    27292     17 |     6096 |        0
1373.39/1373.86	c 1369s |      18 |   366989 |   305352 |    27292     17 |     6096 |        0
1375.59/1376.04	c 1372s |      18 |   367620 |   305852 |    27292     17 |     6096 |        0
1377.59/1378.07	c 1374s |      18 |   368267 |   306352 |    27292     17 |     6096 |        0
1379.89/1380.32	c 1376s |      18 |   368924 |   306852 |    27292     17 |     6096 |        0
1381.99/1382.46	c 1378s |      18 |   369544 |   307352 |    27292     17 |     6096 |        0
1384.19/1384.60	c 1380s |      18 |   369985 |   307752 |    27292     17 |     6096 |        0
1386.69/1387.14	c 1383s |      18 |   370565 |   308252 |    27292     17 |     6096 |        0
1388.69/1389.17	c 1385s |      18 |   370911 |   308552 |    27292     17 |     6096 |        0
1391.29/1391.70	c 1387s |      18 |   371522 |   309052 |    27292     17 |     6096 |        0
1393.29/1393.73	c 1389s |      18 |   372015 |   309452 |    27292     17 |     6096 |        0
1395.39/1395.88	c 1391s |      18 |   372591 |   309952 |    27292     17 |     6096 |        0
1397.59/1398.07	c 1394s |      18 |   373170 |   310452 |    27292     17 |     6096 |        0
1399.99/1400.45	c 1396s |      18 |   373779 |   310952 |    27292     17 |     6096 |        0
1402.48/1402.95	c 1399s |      18 |   374451 |   311552 |    27292     17 |     6096 |        0
1404.78/1405.26	c 1401s |      18 |   375033 |   312052 |    27292     17 |     6096 |        0
1407.18/1407.68	c 1403s |      18 |   375724 |   312652 |    27292     17 |     6096 |        0
1409.48/1409.94	c 1406s |      18 |   376343 |   313152 |    27292     17 |     6096 |        0
1411.88/1412.30	c 1408s |      18 |   376884 |   313652 |    27292     17 |     6096 |        0
1413.98/1414.45	c 1410s |      18 |   377231 |   313952 |    27292     18 |     6096 |        0
1416.08/1416.55	c 1412s |      18 |   377676 |   314352 |    27292     18 |     6096 |        0
1418.38/1418.87	c 1414s |      18 |   378212 |   314852 |    27292     18 |     6096 |        0
1420.68/1421.11	c 1417s |      18 |   378779 |   315352 |    27292     18 |     6096 |        0
1423.09/1423.54	c 1419s |      18 |   379357 |   315852 |    27292     18 |     6096 |        0
1425.29/1425.74	c 1421s |      18 |   379975 |   316352 |    27292     18 |     6096 |        0
1427.39/1427.84	c 1423s |      18 |   380564 |   316852 |    27292     18 |     6096 |        0
1429.69/1430.11	c 1426s |      18 |   381179 |   317352 |    27292     18 |     6096 |        0
1432.08/1432.55	c 1428s |      18 |   381747 |   317852 |    27292     18 |     6096 |        0
1434.38/1434.83	c 1430s |      18 |   382311 |   318352 |    27292     18 |     6096 |        0
1436.78/1437.23	c 1433s |      18 |   382977 |   318952 |    27292     18 |     6096 |        0
1438.88/1439.39	c 1435s |      18 |   383660 |   319552 |    27292     18 |     6096 |        0
1441.08/1441.57	c 1437s |      18 |   384238 |   320052 |    27292     18 |     6096 |        0
1443.48/1443.94	c 1440s |      18 |   384794 |   320552 |    27292     18 |     6096 |        0
1445.58/1446.03	c 1442s |      18 |   385290 |   320952 |    27292     18 |     6096 |        0
1447.58/1448.04	c 1444s |      18 |   385748 |   321352 |    27292     18 |     6096 |        0
1449.88/1450.33	c 1446s |      18 |   386213 |   321752 |    27292     18 |     6096 |        0
1451.98/1452.47	c 1448s |      18 |   386663 |   322152 |    27292     18 |     6096 |        0
1454.38/1454.83	c 1450s |      18 |   387263 |   322652 |    27292     18 |     6096 |        0
1456.98/1457.42	c 1453s |      18 |   387831 |   323152 |    27292     18 |     6096 |        0
1459.08/1459.52	c 1455s |      18 |   388296 |   323552 |    27292     18 |     6096 |        0
1461.48/1461.91	c 1457s |      18 |   388855 |   324052 |    27292     18 |     6096 |        0
1463.87/1464.38	c 1460s |      18 |   389452 |   324552 |    27292     18 |     6096 |        0
1465.98/1466.47	c 1462s |      18 |   389905 |   324952 |    27292     18 |     6096 |        0
1468.08/1468.57	c 1464s |      18 |   390362 |   325352 |    27292     18 |     6096 |        0
1470.17/1470.63	c 1466s |      18 |   390825 |   325752 |    27292     18 |     6096 |        0
1472.27/1472.75	c 1468s |      18 |   391269 |   326152 |    27292     18 |     6096 |        0
1474.27/1474.77	c 1470s |      18 |   391875 |   326552 |    27292     18 |     6096 |        0
1476.37/1476.89	c 1472s |      18 |   392359 |   326952 |    27292     18 |     6096 |        0
1478.67/1479.14	c 1475s |      18 |   392889 |   327352 |    27292     18 |     6096 |        0
1481.07/1481.55	c 1477s |      18 |   393433 |   327752 |    27292     18 |     6096 |        0
1483.17/1483.61	c 1479s |      18 |   393806 |   328052 |    27292     18 |     6096 |        0
1485.47/1485.94	c 1482s |      18 |   394323 |   328452 |    27292     18 |     6096 |        0
1487.88/1488.40	c 1484s |      18 |   394860 |   328952 |    27292     18 |     6096 |        0
1490.27/1490.71	c 1486s |      18 |   395328 |   329352 |    27292     18 |     6096 |        0
1492.38/1492.87	c 1488s |      18 |   395762 |   329752 |    27292     18 |     6096 |        0
1494.67/1495.14	c 1491s |      18 |   396209 |   330152 |    27292     18 |     6096 |        0
1496.87/1497.33	c 1493s |      18 |   396658 |   330552 |    27292     18 |     6096 |        0
1499.07/1499.52	c 1495s |      18 |   397116 |   330952 |    27292     18 |     6096 |        0
1501.58/1502.02	c 1498s |      18 |   397551 |   331352 |    27292     18 |     6096 |        0
1503.68/1504.12	c 1500s |      18 |   398001 |   331752 |    27292     18 |     6096 |        0
1505.88/1506.37	c 1502s |      18 |   398437 |   332152 |    27292     18 |     6096 |        0
1508.27/1508.78	c 1504s |      18 |   398804 |   332452 |    27292     19 |     6096 |        0
1510.67/1511.16	c 1507s |      18 |   399246 |   332852 |    27292     19 |     6096 |        0
1513.28/1513.76	c 1509s |      18 |   399678 |   333252 |    27292     19 |     6096 |        0
1515.38/1515.90	c 1511s |      18 |   400167 |   333652 |    27292     19 |     6096 |        0
1517.68/1518.13	c 1514s |      18 |   400621 |   334052 |    27292     19 |     6096 |        0
1519.97/1520.42	c 1516s |      18 |   401138 |   334452 |    27292     19 |     6096 |        0
1522.47/1522.97	c 1519s |      18 |   401638 |   334852 |    27292     19 |     6096 |        0
1524.57/1525.08	c 1521s |      18 |   402086 |   335252 |    27292     19 |     6096 |        0
1526.67/1527.18	c 1523s |      18 |   402442 |   335552 |    27292     19 |     6096 |        0
1529.17/1529.60	c 1525s |      18 |   402910 |   335952 |    27292     19 |     6096 |        0
1531.67/1532.16	c 1528s |      18 |   403467 |   336352 |    27292     19 |     6096 |        0
1533.87/1534.32	c 1530s |      18 |   403980 |   336752 |    27292     19 |     6096 |        0
1535.87/1536.39	c 1532s |      18 |   404499 |   337152 |    27292     19 |     6096 |        0
1538.07/1538.55	c 1534s |      18 |   404964 |   337552 |    27292     19 |     6096 |        0
1540.47/1540.90	c 1536s |      18 |   405442 |   337952 |    27292     19 |     6096 |        0
1542.47/1542.98	c 1539s |      18 |   405895 |   338352 |    27292     19 |     6096 |        0
1544.87/1545.38	c 1541s |      18 |   406495 |   338852 |    27292     19 |     6096 |        0
1547.17/1547.61	c 1543s |      18 |   406965 |   339252 |    27292     19 |     6096 |        0
1549.27/1549.74	c 1545s |      18 |   407457 |   339652 |    27292     19 |     6096 |        0
1551.37/1551.86	c 1547s |      18 |   407944 |   340052 |    27292     19 |     6096 |        0
1553.67/1554.12	c 1550s |      18 |   408421 |   340452 |    27292     19 |     6096 |        0
1555.97/1556.43	c 1552s |      18 |   408895 |   340852 |    27292     19 |     6096 |        0
1558.07/1558.52	c 1554s |      18 |   409406 |   341252 |    27292     19 |     6096 |        0
1560.47/1560.95	c 1557s |      18 |   409867 |   341652 |    27292     19 |     6096 |        0
1562.67/1563.11	c 1559s |      18 |   410336 |   342052 |    27292     19 |     6096 |        0
1564.87/1565.31	c 1561s |      18 |   410821 |   342452 |    27292     19 |     6096 |        0
1567.17/1567.67	c 1563s |      18 |   411401 |   342952 |    27292     19 |     6096 |        0
1569.66/1570.11	c 1566s |      18 |   411894 |   343352 |    27292     19 |     6096 |        0
1572.26/1572.71	c 1568s |      18 |   412330 |   343752 |    27292     19 |     6096 |        0
1574.46/1574.90	c 1570s |      18 |   412800 |   344152 |    27292     19 |     6096 |        0
1576.86/1577.33	c 1573s |      18 |   413302 |   344552 |    27292     19 |     6096 |        0
1578.96/1579.42	c 1575s |      18 |   413788 |   344952 |    27292     19 |     6096 |        0
1581.26/1581.73	c 1577s |      18 |   414227 |   345352 |    27292     19 |     6096 |        0
1583.46/1583.93	c 1580s |      18 |   414719 |   345752 |    27292     19 |     6096 |        0
1585.96/1586.43	c 1582s |      18 |   415173 |   346152 |    27292     19 |     6096 |        0
1588.46/1588.99	c 1585s |      18 |   415629 |   346552 |    27292     19 |     6096 |        0
1590.86/1591.37	c 1587s |      18 |   416104 |   346952 |    27292     19 |     6096 |        0
1592.96/1593.44	c 1589s |      18 |   416434 |   347252 |    27292     19 |     6096 |        0
1595.06/1595.50	c 1591s |      18 |   416776 |   347552 |    27292     19 |     6096 |        0
1597.56/1598.01	c 1594s |      18 |   417274 |   347952 |    27292     19 |     6096 |        0
1599.86/1600.37	c 1596s |      18 |   417758 |   348352 |    27292     19 |     6096 |        0
1602.26/1602.72	c 1598s |      18 |   418241 |   348752 |    27292     19 |     6096 |        0
1604.66/1605.16	c 1601s |      18 |   418734 |   349152 |    27292     19 |     6096 |        0
1606.96/1607.40	c 1603s |      18 |   419208 |   349552 |    27292     19 |     6096 |        0
1609.16/1609.61	c 1605s |      18 |   419538 |   349852 |    27292     19 |     6096 |        0
1611.65/1612.16	c 1608s |      18 |   419999 |   350252 |    27292     19 |     6096 |        0
1614.05/1614.54	c 1610s |      18 |   420461 |   350652 |    27292     19 |     6096 |        0
1616.66/1617.11	c 1613s |      18 |   420807 |   350952 |    27292     20 |     6096 |        0
1618.76/1619.22	c 1615s |      18 |   421131 |   351252 |    27292     20 |     6096 |        0
1620.96/1621.48	c 1617s |      18 |   421500 |   351552 |    27292     20 |     6096 |        0
1623.05/1623.51	c 1619s |      18 |   421845 |   351852 |    27292     20 |     6096 |        0
1625.55/1626.06	c 1622s |      18 |   422306 |   352252 |    27292     20 |     6096 |        0
1627.85/1628.35	c 1624s |      18 |   422765 |   352652 |    27292     20 |     6096 |        0
1630.75/1631.27	c 1627s |      18 |   423228 |   353052 |    27292     20 |     6096 |        0
1632.95/1633.48	c 1629s |      18 |   423675 |   353452 |    27292     20 |     6096 |        0
1635.15/1635.63	c 1631s |      18 |   424012 |   353752 |    27292     20 |     6096 |        0
1637.46/1637.97	c 1634s |      18 |   424468 |   354152 |    27292     20 |     6096 |        0
1639.55/1640.07	c 1636s |      18 |   424809 |   354452 |    27292     20 |     6096 |        0
1641.75/1642.24	c 1638s |      18 |   425142 |   354752 |    27292     20 |     6096 |        0
1644.05/1644.55	c 1640s |      18 |   425651 |   355152 |    27292     20 |     6096 |        0
1646.55/1647.04	c 1643s |      18 |   426102 |   355552 |    27292     20 |     6096 |        0
1649.15/1649.64	c 1645s |      18 |   426635 |   355952 |    27292     20 |     6096 |        0
1651.65/1652.12	c 1648s |      18 |   427093 |   356352 |    27292     20 |     6096 |        0
1653.84/1654.36	c 1650s |      18 |   427550 |   356752 |    27292     20 |     6096 |        0
1656.25/1656.75	c 1652s |      18 |   428010 |   357152 |    27292     20 |     6096 |        0
1658.64/1659.13	c 1655s |      18 |   428529 |   357552 |    27292     20 |     6096 |        0
1661.05/1661.55	c 1657s |      18 |   428978 |   357952 |    27292     20 |     6096 |        0
1663.55/1664.09	c 1660s |      18 |   429454 |   358352 |    27292     20 |     6096 |        0
1665.85/1666.30	c 1662s |      18 |   429789 |   358652 |    27292     20 |     6096 |        0
1667.95/1668.43	c 1664s |      18 |   430125 |   358952 |    27292     20 |     6096 |        0
1670.05/1670.54	c 1666s |      18 |   430464 |   359252 |    27292     20 |     6096 |        0
1672.35/1672.86	c 1668s |      18 |   430937 |   359652 |    27292     20 |     6096 |        0
1674.75/1675.29	c 1671s |      18 |   431555 |   360152 |    27292     20 |     6096 |        0
1677.05/1677.58	c 1673s |      18 |   432041 |   360552 |    27292     20 |     6096 |        0
1679.45/1679.93	c 1676s |      18 |   432510 |   360952 |    27292     20 |     6096 |        0
1682.05/1682.57	c 1678s |      18 |   432947 |   361352 |    27292     20 |     6096 |        0
1684.45/1684.93	c 1681s |      18 |   433430 |   361752 |    27292     20 |     6096 |        0
1686.85/1687.38	c 1683s |      18 |   433873 |   362152 |    27292     20 |     6096 |        0
1689.15/1689.63	c 1685s |      18 |   434370 |   362552 |    27292     20 |     6096 |        0
1691.54/1692.08	c 1688s |      18 |   434824 |   362952 |    27292     20 |     6096 |        0
1693.65/1694.16	c 1690s |      18 |   435187 |   363252 |    27292     20 |     6096 |        0
1695.85/1696.34	c 1692s |      18 |   435546 |   363552 |    27292     20 |     6096 |        0
1698.44/1698.90	c 1694s |      18 |   436031 |   363952 |    27292     20 |     6096 |        0
1700.44/1700.91	c 1696s |      18 |   436378 |   364252 |    27292     20 |     6096 |        0
1703.04/1703.50	c 1699s |      18 |   436888 |   364652 |    27292     20 |     6096 |        0
1705.44/1705.95	c 1702s |      18 |   437356 |   365052 |    27292     20 |     6096 |        0
1707.54/1708.00	c 1704s |      18 |   437708 |   365352 |    27292     20 |     6096 |        0
1709.94/1710.48	c 1706s |      18 |   438151 |   365752 |    27292     20 |     6096 |        0
1712.64/1713.17	c 1709s |      18 |   438588 |   366152 |    27292     20 |     6096 |        0
1714.94/1715.40	c 1711s |      18 |   438936 |   366452 |    27292     20 |     6096 |        0
1717.54/1718.07	c 1714s |      18 |   439407 |   366852 |    27292     20 |     6096 |        0
1719.74/1720.29	c 1716s |      18 |   439739 |   367152 |    27292     20 |     6096 |        0
1721.84/1722.36	c 1718s |      18 |   440228 |   367552 |    27292     20 |     6096 |        0
1723.94/1724.42	c 1720s |      18 |   440584 |   367852 |    27292     20 |     6096 |        0
1726.13/1726.61	c 1722s |      18 |   440939 |   368152 |    27292     20 |     6096 |        0
1728.23/1728.73	c 1724s |      18 |   441277 |   368452 |    27292     20 |     6096 |        0
1730.73/1731.27	c 1727s |      18 |   441767 |   368852 |    27292     20 |     6096 |        0
1732.83/1733.36	c 1729s |      18 |   442104 |   369152 |    27292     20 |     6096 |        0
1735.03/1735.55	c 1731s |      18 |   442434 |   369452 |    27292     20 |     6096 |        0
1737.13/1737.70	c 1733s |      18 |   442673 |   369652 |    27292     21 |     6096 |        0
1739.33/1739.86	c 1735s |      18 |   443105 |   370052 |    27292     21 |     6096 |        0
1742.14/1742.63	c 1738s |      18 |   443574 |   370452 |    27292     21 |     6096 |        0
1744.64/1745.10	c 1741s |      18 |   444046 |   370852 |    27292     21 |     6096 |        0
1747.44/1747.99	c 1744s |      18 |   444498 |   371252 |    27292     21 |     6096 |        0
1750.04/1750.55	c 1746s |      18 |   444965 |   371652 |    27292     21 |     6096 |        0
1752.24/1752.79	c 1748s |      18 |   445430 |   372052 |    27292     21 |     6096 |        0
1754.64/1755.19	c 1751s |      18 |   445871 |   372452 |    27292     21 |     6096 |        0
1756.94/1757.47	c 1753s |      18 |   446327 |   372852 |    27292     21 |     6096 |        0
1759.64/1760.11	c 1756s |      18 |   446796 |   373252 |    27292     21 |     6096 |        0
1761.74/1762.25	c 1758s |      18 |   447124 |   373552 |    27292     21 |     6096 |        0
1764.33/1764.85	c 1760s |      18 |   447590 |   373952 |    27292     21 |     6096 |        0
1766.73/1767.22	c 1763s |      18 |   448042 |   374352 |    27292     21 |     6096 |        0
1769.03/1769.51	c 1765s |      18 |   448382 |   374652 |    27292     21 |     6096 |        0
1771.13/1771.65	c 1767s |      18 |   448742 |   374952 |    27292     21 |     6096 |        0
1773.23/1773.76	c 1769s |      18 |   449110 |   375252 |    27292     21 |     6096 |        0
1775.33/1775.86	c 1771s |      18 |   449445 |   375552 |    27292     21 |     6096 |        0
1777.93/1778.43	c 1774s |      18 |   449879 |   375952 |    27292     21 |     6096 |        0
1780.13/1780.64	c 1776s |      18 |   450321 |   376352 |    27292     21 |     6096 |        0
1782.33/1782.83	c 1778s |      18 |   450759 |   376752 |    27292     21 |     6096 |        0
1784.43/1784.95	c 1781s |      18 |   451183 |   377152 |    27292     21 |     6096 |        0
1786.63/1787.15	c 1783s |      18 |   451595 |   377552 |    27292     21 |     6096 |        0
1788.63/1789.16	c 1785s |      18 |   451924 |   377852 |    27292     21 |     6096 |        0
1791.13/1791.63	c 1787s |      18 |   452404 |   378252 |    27292     21 |     6096 |        0
1793.53/1794.00	c 1790s |      18 |   452842 |   378652 |    27292     21 |     6096 |        0
1795.83/1796.34	c 1792s |      18 |   453291 |   379052 |    27292     21 |     6096 |        0
1798.23/1798.76	c 1794s |      18 |   453740 |   379452 |    27292     21 |     6096 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.15 2.09 3/179 6074
/proc/meminfo: memFree=17427100/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 2679 0 0 0 0 0 0 0 20 0 4 0 25994579 735506432 3040 33554432000 4194304 16246674 140734806094768 140734806094192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 180079 3049 441 2943 0 176973 0
[pid=6074/tid=6075] ppid=6071 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 753332224 3109 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 758575104 3127 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994579 762769408 3143 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.15 2.15 2.09 3/179 6074
/proc/meminfo: memFree=17427100/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 29576 0 0 0 5 4 0 0 20 0 4 0 25994579 1334382592 29875 33554432000 4194304 16246674 140734806094768 140734806094080 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 325777 29889 801 2943 0 322671 0
[pid=6074/tid=6075] ppid=6071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1334382592 29899 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1334382592 29910 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1334382592 29921 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20059 s]
/proc/loadavg: 2.15 2.15 2.09 3/179 6074
/proc/meminfo: memFree=17427100/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 44952 0 0 0 13 6 0 0 20 0 4 0 25994579 1343819776 45761 33554432000 4194304 16246674 140734806094768 140734806094080 12449248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 328081 45761 839 2943 0 324975 0
[pid=6074/tid=6075] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 45761 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 45761 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 45761 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300529 s]
/proc/loadavg: 2.15 2.15 2.09 3/179 6074
/proc/meminfo: memFree=17427100/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 57984 0 0 0 21 8 0 0 20 0 4 0 25994579 1343819776 58794 33554432000 4194304 16246674 140734806094768 140734806094080 12414100 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 328081 58810 839 2943 0 324975 0
[pid=6074/tid=6075] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 58820 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 58832 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 58844 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700406 s]
/proc/loadavg: 2.15 2.15 2.09 3/179 6074
/proc/meminfo: memFree=17427100/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 182188 0 0 0 45 24 0 0 20 0 4 0 25994579 1343819776 182998 33554432000 4194304 16246674 140734806094768 140734806094080 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 328081 183004 839 2943 0 324975 0
[pid=6074/tid=6075] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 183007 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 183011 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1343819776 183015 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50034 s]
/proc/loadavg: 2.15 2.15 2.09 3/183 6078
/proc/meminfo: memFree=16343668/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270498 0 0 0 114 35 0 0 20 0 4 0 25994579 1351159808 271307 33554432000 4194304 16246674 140734806094768 140734806094080 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271307 839 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271307 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271307 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271307 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10041 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 6078
/proc/meminfo: memFree=16342628/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=3.09 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270500 0 0 0 274 35 0 0 20 0 4 0 25994579 1351159808 271309 33554432000 4194304 16246674 140734806094768 140734806076672 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271309 840 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271309 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271309 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271309 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.30045 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 6078
/proc/meminfo: memFree=14981868/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=6.29 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270553 0 0 0 594 35 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140734806076672 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271362 891 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

[startup+12.7005 s]
/proc/loadavg: 2.11 2.15 2.09 4/183 6127
/proc/meminfo: memFree=28919232/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=12.69 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270553 0 0 0 1234 35 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140734806076672 13774432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271362 891 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271362 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.10 2.14 2.09 3/183 6127
/proc/meminfo: memFree=26817672/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=25.48 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270556 0 0 0 2513 35 0 0 20 0 4 0 25994579 1351159808 271365 33554432000 4194304 16246674 140734806094768 140734806076672 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271365 894 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271365 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271365 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271365 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 6127
/proc/meminfo: memFree=22299084/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270558 0 0 0 5073 35 0 0 20 0 4 0 25994579 1351159808 271367 33554432000 4194304 16246674 140734806094768 140734806076672 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271367 896 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271367 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271367 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271367 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.301 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 6128
/proc/meminfo: memFree=16326408/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1319492 CPUtime=102.27 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 270584 0 0 0 10190 37 0 0 20 0 4 0 25994579 1351159808 271372 33554432000 4194304 16246674 140734806094768 140734806093944 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 329873 271372 901 2943 0 326767 0
[pid=6074/tid=6075] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271372 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271372 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1351159808 271372 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328516 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1548868

[startup+1362.3 s]
/proc/loadavg: 1.15 1.16 1.49 2/173 6309
/proc/meminfo: memFree=29978940/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1548868 CPUtime=1361.89 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 328268 0 0 0 136132 57 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140734806076672 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 387217 328720 902 2943 0 384111 0
[pid=6074/tid=6075] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1548868

[startup+1422.3 s]
/proc/loadavg: 1.05 1.13 1.46 2/173 6311
/proc/meminfo: memFree=29978932/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1548868 CPUtime=1421.89 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 328268 0 0 0 142132 57 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140734806076672 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 387217 328720 902 2943 0 384111 0
[pid=6074/tid=6075] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1548868

[startup+1482.3 s]
/proc/loadavg: 1.02 1.10 1.43 3/173 6312
/proc/meminfo: memFree=29979164/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1548868 CPUtime=1481.87 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 328268 0 0 0 148130 57 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140734806076672 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 387217 328720 902 2943 0 384111 0
[pid=6074/tid=6075] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1548868

[startup+1542.31 s]
/proc/loadavg: 1.04 1.09 1.40 2/173 6313
/proc/meminfo: memFree=29979032/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1548868 CPUtime=1541.87 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 328268 0 0 0 154129 58 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140734806076672 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 387217 328720 902 2943 0 384111 0
[pid=6074/tid=6075] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1548868

[startup+1602.3 s]
/proc/loadavg: 1.05 1.09 1.38 2/174 6317
/proc/meminfo: memFree=29978744/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1548868 CPUtime=1601.86 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 328268 0 0 0 160128 58 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140734806076672 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 387217 328720 902 2943 0 384111 0
[pid=6074/tid=6075] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1548868 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1586040832 328720 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1548868

[startup+1662.3 s]
/proc/loadavg: 1.11 1.10 1.36 2/173 6318
/proc/meminfo: memFree=29919964/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1608260 CPUtime=1661.85 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 342877 0 0 0 166124 61 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140734806076672 6076924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 402065 343329 902 2943 0 398959 0
[pid=6074/tid=6075] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1608260

[startup+1722.3 s]
/proc/loadavg: 1.04 1.08 1.34 2/172 6319
/proc/meminfo: memFree=29920072/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1608260 CPUtime=1721.84 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 342877 0 0 0 172123 61 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140734806076672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 402065 343329 902 2943 0 398959 0
[pid=6074/tid=6075] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1646858240 343329 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1608260

[startup+1782.3 s]
/proc/loadavg: 1.08 1.08 1.32 2/173 6321
/proc/meminfo: memFree=29895996/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1631812 CPUtime=1781.83 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 348806 0 0 0 178120 63 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140734806076672 5601737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 407953 349258 902 2943 0 404847 0
[pid=6074/tid=6075] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1631812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.07 1.31 2/173 6321
/proc/meminfo: memFree=29895996/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1631812 CPUtime=1800.03 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 348806 0 0 0 179940 63 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140734806076672 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 407953 349258 902 2943 0 404847 0
[pid=6074/tid=6075] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1631812

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

[startup+1800.5 s]
/proc/loadavg: 1.06 1.07 1.31 2/173 6321
/proc/meminfo: memFree=29895996/32872528 swapFree=681964/737152
[pid=6074] ppid=6071 vsize=1631812 CPUtime=1800.03 cores=1,3,5,7
/proc/6074/stat : 6074 (toysat) R 6071 6074 1377 0 -1 4202496 348806 0 0 0 179940 63 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140734806076672 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6074/statm: 407953 349258 902 2943 0 404847 0
[pid=6074/tid=6075] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6075/stat : 6075 (toysat) S 6071 6074 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545676520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6074/tid=6076] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6076/stat : 6076 (toysat) S 6071 6074 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545666030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6074/tid=6077] ppid=6071 vsize=1631812 CPUtime=0 cores=1,3,5,7
/proc/6074/task/6077/stat : 6077 (toysat) S 6071 6074 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994579 1670975488 349258 33554432000 4194304 16246674 140734806094768 140545655557296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1631812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1799.41
CPU system time (s): 0.644901
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1631812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.644901
maximum resident set size= 1397032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348806
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= 375
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74597 second user time and 19.3061 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:44:13
IDJOB=4103893
IDBENCH=2498
IDSOLVER=2542
FILE ID=node112/4103893-1466239453
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103893-1466239453/watcher-4103893-1466239453 -o /tmp/evaluation-result-4103893-1466239453/solver-4103893-1466239453 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103893-1466239453.opb

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

MD5SUM BENCH= 72b327feddced7495a083616b5e4ecd7
RANDOM SEED=1161674134

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17427108 kB
Buffers:           25200 kB
Cached:            91004 kB
SwapCached:         2288 kB
Active:         13902936 kB
Inactive:          44368 kB
Active(anon):   13830736 kB
Inactive(anon):     2416 kB
Active(file):      72200 kB
Inactive(file):    41952 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093596 kB
Dirty:             17248 kB
Writeback:             0 kB
AnonPages:      14569244 kB
Mapped:            10160 kB
Shmem:                 0 kB
Slab:             601104 kB
SReclaimable:      44664 kB
SUnreclaim:       556440 kB
KernelStack:        1456 kB
PageTables:        32540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14714520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node112 at 2016-06-18 11:14:14