Trace number 4100801

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.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
MD5SUM76d897d8437070b9cbeb866c2620c3bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9240
Total number of constraints145
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint30
Maximum length of a constraint3990
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527485
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T04:36:39+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-4100801-1466217399.opb"]
0.00/0.01	c use --random-gen="721280070 3751438667 785780873 1620810030 3767589851 4198714065 1449793105 1201956807 365700427 834733731 2080205516 4232606663 3224846749 3341787742 2248510698 553028754 1170690643 1640360817 1585520864 2656289393 692620132 1423009202 126539546 692869662 2214065 3764457548 2601765205 3884844071 2271273871 1620755106 1667519589 2613788549 503451658 2600140935 1610450547 1431716503 2938633375 3733612903 1731520104 1870916963 3415516510 883334797 1772668004 1518207936 2930058661 1453529161 3037002016 243114559 2169737544 319507669 1997527518 3510003955 3382264584 1162575667 1542115935 3213668251 2813665164 1571124274 592235128 318159311 2490551938 4217599201 1567887318 1220026439 2915526577 1379787270 69599729 4141427056 2048379881 485635521 1336586658 2032111113 3896097098 3574839139 2820149448 2660961112 1646819039 1188850063 1294931733 950752228 95993923 2027262324 545846198 388575870 1766047602 3331575502 2383058960 2295320600 1773882850 1430618846 320020121 4086152140 1425012204 3486884562 3881126196 3057509502 488541688 1539119978 1898218448 1723865220 495279908 1603402296 1726776797 948542994 3950968737 3215494126 4116143960 1794843865 3357521749 1857874450 3391698105 155285949 154147552 3604933879 3428453799 797091590 2169236943 361653491 3372859031 2474066565 787102361 439356793 4188028937 1165445064 2034497343 260492439 497133814 2972699382 2488154113 2336365870 789958699 1706764329 2035206909 1636988083 695892341 872177028 1499127122 1489486592 1305713130 2281708745 2485597430 563893475 1073478917 3147239988 2432977432 3225547338 2619213862 1202929788 1218380400 3291481753 3443866565 4246112452 777881838 919621348 3533232172 2951038621 2644049583 4132792747 2061972231 3677397156 646063248 2916662085 3755813825 4109185399 1983734615 3196100066 3107317461 3591651704 514820950 3269480248 2289452903 2686859276 2881586113 1181416955 1067175029 208558065 602922557 859019744 1615741253 3636465279 2601389241 1711793109 1530169403 714270814 3347562444 1174357708 2331590966 1816582411 3046406112 2361503692 2518019902 703172572 3298395953 1255247493 3455491096 4224893854 1908744109 1888976646 2228319303 1110212465 2968282841 2260227885 1525863882 953588114 3411668004 4228041793 3301843647 3032714527 613311349 460678353 4130049352 598455113 824641669 2688530510 1986360860 3298635900 1833903354 2413505643 2082385612 1592239019 236718125 525335955 1788337251 3861019398 3509943150 788582219 1051858736 927354098 403981428 3076465018 2797152227 1195949480 2631977706 3700443024 2054678686 3690746933 1928555370 3119955440 1157980144 862617041 2459728333 4194814990 2514443315 1528874904 2115708496 3469819916 3669038193 3161246872 3026423711 384350909 1073933589 536237614 1536875397 4216718920 343544055 1919732776 255 362436" option to reproduce the execution
0.00/0.07	c #vars 9240
0.00/0.07	c #constraints 145
0.29/0.35	c BCD2: Hardening is enabled.
0.29/0.35	c BCD2: BiasedSearch is enabled.
0.29/0.35	c Solving starts ...
0.29/0.35	c ============================[ Search Statistics ]============================
0.29/0.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.35	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.35	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |     3160      0 |     1798 |        0
0.38/0.49	c  0.1s |       1 |      481 |      100 |     3160      0 |     1802 |        0
0.48/0.57	c  0.2s |       2 |      858 |      250 |     3477      0 |     1802 |        0
0.69/0.70	c  0.3s |       3 |     1267 |      475 |     3825      0 |     1802 |        0
0.89/0.97	c  0.6s |       4 |     1883 |      813 |     4208      0 |     1802 |        0
1.39/1.42	c  1.0s |       5 |     3471 |     1320 |     4629      0 |     1805 |        0
2.19/2.25	c  1.9s |       6 |     4383 |     2081 |     5602      0 |     1805 |        0
2.89/2.96	c  2.6s |       7 |     6292 |     3223 |     6163      0 |     1805 |        0
4.79/4.84	c  4.5s |       8 |     8417 |     4936 |     6780      0 |     1805 |        0
6.89/6.95	c  6.6s |       8 |    10699 |     6636 |     6780      0 |     1805 |        0
7.98/8.00	c  7.6s |       9 |    11749 |     7506 |     7459      0 |     1805 |        0
9.99/10.04	c  9.7s |       9 |    14302 |     9606 |     7459      1 |     1805 |        0
11.98/12.00	c 11.6s |      10 |    16083 |    11361 |     8205      1 |     1805 |        0
13.98/14.06	c 13.7s |      10 |    17881 |    13061 |     8205      1 |     1805 |        0
16.08/16.16	c 15.8s |      10 |    19604 |    14761 |     8205      1 |     1805 |        0
18.18/18.29	c 17.9s |      10 |    21204 |    16361 |     8205      2 |     1805 |        0
19.28/19.36	c 19.0s |      11 |    21989 |    17144 |     9026      2 |     1805 |        0
21.38/21.48	c 21.1s |      11 |    23572 |    18644 |     9026      2 |     1805 |        0
23.48/23.57	c 23.2s |      11 |    24978 |    20044 |     9026      2 |     1805 |        0
25.58/25.60	c 25.2s |      11 |    26308 |    21344 |     9026      3 |     1805 |        0
27.59/27.67	c 27.3s |      11 |    28150 |    23144 |     9026      3 |     1805 |        0
29.68/29.77	c 29.4s |      11 |    29862 |    24844 |     9026      3 |     1805 |        0
30.98/31.04	c 30.7s |      12 |    30852 |    25819 |     9929      3 |     1805 |        0
33.09/33.11	c 32.7s |      12 |    32234 |    27119 |     9929      3 |     1805 |        0
35.19/35.26	c 34.9s |      12 |    33849 |    28719 |     9929      4 |     1805 |        0
37.29/37.32	c 36.9s |      12 |    35361 |    30219 |     9929      4 |     1805 |        0
39.39/39.45	c 39.1s |      12 |    36573 |    31419 |     9929      4 |     1805 |        0
41.59/41.61	c 41.2s |      12 |    37989 |    32819 |     9929      4 |     1805 |        0
43.59/43.63	c 43.3s |      12 |    39543 |    34319 |     9929      5 |     1805 |        0
45.68/45.73	c 45.4s |      12 |    41178 |    35919 |     9929      5 |     1805 |        0
47.78/47.87	c 47.5s |      12 |    42601 |    37319 |     9929      5 |     1805 |        0
49.88/49.94	c 49.6s |      12 |    43915 |    38619 |    10922      5 |     1805 |        0
50.18/50.24	c 49.9s |      13 |    44138 |    38832 |    10922      5 |     1805 |        0
52.28/52.37	c 52.0s |      13 |    45524 |    40132 |    10922      5 |     1805 |        0
54.38/54.49	c 54.1s |      13 |    47105 |    41632 |    10922      6 |     1806 |        0
56.48/56.54	c 56.2s |      13 |    49623 |    43232 |    10922      6 |     1808 |        0
58.48/58.56	c 58.2s |      13 |    60025 |    51632 |    10922      7 |     1808 |        0
60.48/60.54	c 60.2s |      14 |    68081 |    58352 |    12015      8 |     1808 |        0
62.48/62.58	c 62.2s |      14 |    75395 |    65152 |    12015      9 |     1808 |        0
64.78/64.87	c 64.5s |      14 |    79808 |    69252 |    12015     10 |     1808 |        0
66.88/66.90	c 66.5s |      14 |    84746 |    73952 |    12015     10 |     1808 |        0
68.88/68.93	c 68.6s |      14 |    87637 |    76752 |    12015     11 |     1808 |        0
70.88/70.96	c 70.6s |      14 |    89611 |    78652 |    12015     11 |     1808 |        0
73.48/73.53	c 73.2s |      14 |    93386 |    82352 |    12015     12 |     1808 |        0
75.48/75.59	c 75.2s |      14 |    96531 |    85452 |    12015     12 |     1808 |        0
76.48/76.59	c 76.2s |      15 |    98768 |    87632 |    13217     12 |     1808 |        0
78.58/78.61	c 78.2s |      15 |   106471 |    94732 |    13217     13 |     1808 |        0
80.58/80.62	c 80.2s |      15 |   111689 |    99632 |    13217     14 |     1808 |        0
82.58/82.62	c 82.2s |      15 |   117626 |   105332 |    13217     14 |     1808 |        0
84.58/84.70	c 84.3s |      15 |   122955 |   108432 |    13217     15 |     1810 |        0
86.68/86.76	c 86.4s |      15 |   125352 |   110432 |    13217     15 |     1810 |        0
88.68/88.77	c 88.4s |      15 |   127744 |   112432 |    13217     15 |     1810 |        0
90.78/90.85	c 90.5s |      15 |   129875 |   114232 |    13217     16 |     1810 |        0
92.87/92.93	c 92.6s |      15 |   131986 |   116032 |    13217     16 |     1810 |        0
94.97/95.00	c 94.6s |      15 |   134215 |   117832 |    13217     16 |     1810 |        0
97.07/97.10	c 96.7s |      15 |   136023 |   119432 |    13217     16 |     1810 |        0
99.08/99.18	c 98.8s |      15 |   137766 |   120932 |    13217     16 |     1810 |        0
101.18/101.25	c  100s |      15 |   139523 |   122332 |    13217     17 |     1810 |        0
103.27/103.35	c  102s |      15 |   141432 |   123932 |    13217     17 |     1810 |        0
105.37/105.42	c  105s |      15 |   143225 |   125432 |    13217     17 |     1810 |        0
107.47/107.50	c  107s |      15 |   144973 |   126832 |    13217     17 |     1810 |        0
109.47/109.52	c  109s |      15 |   146628 |   128232 |    13217     17 |     1810 |        0
111.57/111.64	c  111s |      15 |   148249 |   129632 |    13217     17 |     1810 |        0
113.57/113.69	c  113s |      15 |   149557 |   130732 |    14539     18 |     1810 |        0
114.87/114.93	c  114s |      16 |   150547 |   131552 |    14539     18 |     1810 |        0
116.87/116.94	c  116s |      16 |   155286 |   134752 |    14539     18 |     1810 |        0
118.88/118.94	c  118s |      16 |   157827 |   137252 |    14539     18 |     1810 |        0
120.87/120.97	c  120s |      16 |   160263 |   139652 |    14539     19 |     1810 |        0
122.87/122.97	c  122s |      16 |   162697 |   142052 |    14539     19 |     1810 |        0
124.97/125.04	c  124s |      16 |   164942 |   144252 |    14539     19 |     1810 |        0
126.97/127.08	c  126s |      16 |   167612 |   146752 |    14539     20 |     1810 |        0
129.07/129.12	c  128s |      16 |   169327 |   148452 |    14539     20 |     1810 |        0
131.07/131.14	c  130s |      16 |   171564 |   150652 |    14539     20 |     1810 |        0
133.07/133.16	c  132s |      16 |   174022 |   152952 |    14539     20 |     1810 |        0
135.17/135.22	c  134s |      16 |   175849 |   154752 |    14539     20 |     1810 |        0
137.17/137.27	c  136s |      16 |   177679 |   156552 |    14539     21 |     1810 |        0
139.17/139.29	c  138s |      16 |   178936 |   157752 |    14539     21 |     1810 |        0
141.27/141.34	c  140s |      16 |   180855 |   159652 |    14539     21 |     1810 |        0
143.36/143.42	c  143s |      16 |   182712 |   161452 |    14539     21 |     1810 |        0
145.36/145.46	c  145s |      16 |   184294 |   162952 |    14539     21 |     1810 |        0
147.47/147.52	c  147s |      16 |   185912 |   164552 |    14539     22 |     1810 |        0
149.46/149.56	c  149s |      16 |   187629 |   166252 |    14539     22 |     1810 |        0
151.56/151.65	c  151s |      16 |   189541 |   168152 |    14539     22 |     1810 |        0
153.56/153.66	c  153s |      16 |   191150 |   169752 |    14539     22 |     1810 |        0
155.66/155.70	c  155s |      16 |   192770 |   171352 |    14539     22 |     1810 |        0
157.66/157.73	c  157s |      16 |   194631 |   173152 |    14539     23 |     1810 |        0
159.77/159.84	c  159s |      16 |   196842 |   175152 |    14539     23 |     1810 |        0
161.87/161.99	c  161s |      16 |   198465 |   176752 |    14539     23 |     1810 |        0
164.07/164.14	c  163s |      16 |   200191 |   178452 |    14539     23 |     1810 |        0
166.37/166.44	c  166s |      16 |   201614 |   179852 |    14539     24 |     1810 |        0
168.46/168.54	c  168s |      16 |   203349 |   181552 |    14539     24 |     1810 |        0
170.47/170.59	c  170s |      16 |   205202 |   183352 |    14539     24 |     1810 |        0
172.67/172.73	c  172s |      16 |   207062 |   185152 |    14539     24 |     1810 |        0
174.76/174.85	c  174s |      16 |   208133 |   186152 |    14539     24 |     1810 |        0
176.96/177.01	c  176s |      16 |   209922 |   187852 |    14539     24 |     1810 |        0
179.66/179.76	c  179s |      16 |   210527 |   188452 |    14539     25 |     1810 |        0
181.66/181.79	c  181s |      16 |   212427 |   190352 |    14539     25 |     1810 |        0
183.86/183.91	c  183s |      16 |   214641 |   192452 |    14539     25 |     1810 |        0
185.86/185.99	c  185s |      16 |   216246 |   194052 |    14539     25 |     1810 |        0
187.96/188.08	c  187s |      16 |   218810 |   195752 |    14539     25 |     1810 |        0
189.56/189.62	c  189s |      17 |   222509 |   197432 |    15993     25 |     1810 |        0
191.56/191.65	c  191s |      17 |   224964 |   198632 |    15993     26 |     1810 |        0
193.66/193.77	c  193s |      17 |   230607 |   200932 |    15993     26 |     1811 |        0
195.86/195.93	c  195s |      17 |   232311 |   202032 |    15993     26 |     1811 |        0
197.86/197.97	c  197s |      17 |   233830 |   203032 |    15993     26 |     1811 |        0
200.06/200.10	c  199s |      17 |   235229 |   204032 |    15993     26 |     1811 |        0
202.16/202.28	c  201s |      17 |   236941 |   205032 |    15993     26 |     1811 |        0
204.35/204.40	c  204s |      17 |   238407 |   205932 |    15993     26 |     1811 |        0
206.55/206.60	c  206s |      17 |   239940 |   206932 |    15993     26 |     1811 |        0
208.55/208.67	c  208s |      17 |   241416 |   207832 |    15993     26 |     1811 |        0
210.65/210.78	c  210s |      17 |   243124 |   208732 |    15993     26 |     1811 |        0
212.75/212.81	c  212s |      17 |   244483 |   209632 |    15993     26 |     1811 |        0
214.95/215.04	c  214s |      17 |   245812 |   210532 |    15993     27 |     1811 |        0
217.15/217.20	c  216s |      17 |   247241 |   211432 |    15993     27 |     1811 |        0
219.25/219.32	c  218s |      17 |   248604 |   212332 |    15993     27 |     1811 |        0
221.35/221.48	c  221s |      17 |   249923 |   213232 |    15993     27 |     1811 |        0
223.55/223.65	c  223s |      17 |   251233 |   214132 |    15993     27 |     1811 |        0
225.56/225.66	c  225s |      17 |   252586 |   215032 |    15993     27 |     1811 |        0
227.55/227.70	c  227s |      17 |   253884 |   215932 |    15993     27 |     1811 |        0
229.65/229.71	c  229s |      17 |   254984 |   216932 |    15993     27 |     1811 |        0
231.65/231.73	c  231s |      17 |   256176 |   217632 |    15993     27 |     1811 |        0
233.85/233.95	c  233s |      17 |   257129 |   218332 |    15993     27 |     1811 |        0
236.15/236.23	c  235s |      17 |   258440 |   219232 |    15993     27 |     1811 |        0
238.35/238.41	c  238s |      17 |   259913 |   220132 |    15993     27 |     1811 |        0
240.35/240.43	c  240s |      17 |   260742 |   220732 |    15993     28 |     1811 |        0
242.45/242.58	c  242s |      17 |   261942 |   221532 |    15993     28 |     1811 |        0
244.65/244.76	c  244s |      17 |   263089 |   222332 |    15993     28 |     1811 |        0
248.05/248.12	c  247s |      17 |   264050 |   222932 |    15993     28 |     1811 |        0
250.15/250.24	c  249s |      17 |   265164 |   223632 |    15993     28 |     1811 |        0
252.25/252.31	c  251s |      17 |   266341 |   224332 |    15993     28 |     1811 |        0
254.25/254.38	c  254s |      17 |   267355 |   225032 |    15993     28 |     1811 |        0
256.36/256.41	c  256s |      17 |   268443 |   225732 |    15993     28 |     1811 |        0
258.35/258.49	c  258s |      17 |   269488 |   226332 |    15993     28 |     1811 |        0
260.66/260.71	c  260s |      17 |   270570 |   227132 |    15993     28 |     1811 |        0
262.75/262.85	c  262s |      17 |   271713 |   227932 |    15993     28 |     1811 |        0
264.95/265.05	c  264s |      17 |   272753 |   228532 |    15993     28 |     1811 |        0
267.15/267.30	c  266s |      17 |   273811 |   229332 |    15993     28 |     1811 |        0
269.35/269.40	c  269s |      17 |   275019 |   230032 |    15993     28 |     1811 |        0
271.65/271.71	c  271s |      17 |   276093 |   230732 |    15993     28 |     1811 |        0
273.96/274.07	c  273s |      17 |   276860 |   231232 |    15993     29 |     1811 |        0
276.05/276.11	c  275s |      17 |   277839 |   231832 |    15993     29 |     1811 |        0
278.05/278.16	c  277s |      17 |   278772 |   232532 |    15993     29 |     1811 |        0
280.25/280.33	c  279s |      17 |   279706 |   233132 |    15993     29 |     1811 |        0
282.45/282.57	c  282s |      17 |   281106 |   233932 |    15993     29 |     1811 |        0
284.55/284.64	c  284s |      17 |   282241 |   234732 |    15993     29 |     1811 |        0
286.85/286.99	c  286s |      17 |   283327 |   235532 |    15993     29 |     1811 |        0
288.95/289.05	c  288s |      17 |   284304 |   236232 |    15993     29 |     1811 |        0
291.05/291.15	c  290s |      17 |   285399 |   236932 |    15993     29 |     1811 |        0
293.45/293.53	c  293s |      17 |   286567 |   237732 |    15993     29 |     1811 |        0
295.65/295.72	c  295s |      17 |   287488 |   238432 |    15993     29 |     1811 |        0
297.75/297.84	c  297s |      17 |   288653 |   239132 |    15993     29 |     1811 |        0
299.75/299.87	c  299s |      17 |   289610 |   239732 |    15993     29 |     1811 |        0
301.95/302.06	c  301s |      17 |   290522 |   240332 |    15993     29 |     1811 |        0
303.94/304.08	c  303s |      17 |   291751 |   241132 |    15993     29 |     1811 |        0
306.34/306.46	c  306s |      17 |   292808 |   241832 |    15993     30 |     1811 |        0
308.54/308.63	c  308s |      17 |   293682 |   242432 |    15993     30 |     1811 |        0
311.74/311.81	c  311s |      17 |   294494 |   242932 |    15993     30 |     1811 |        0
313.94/314.02	c  313s |      17 |   295839 |   243732 |    15993     30 |     1811 |        0
315.94/316.06	c  315s |      17 |   297095 |   244532 |    15993     30 |     1811 |        0
318.14/318.28	c  317s |      17 |   298367 |   245332 |    15993     30 |     1811 |        0
320.34/320.44	c  320s |      17 |   299631 |   246132 |    15993     30 |     1811 |        0
322.35/322.45	c  322s |      17 |   300569 |   246832 |    15993     30 |     1811 |        0
324.54/324.64	c  324s |      17 |   301657 |   247632 |    15993     30 |     1811 |        0
326.74/326.88	c  326s |      17 |   302744 |   248432 |    15993     30 |     1811 |        0
329.14/329.21	c  328s |      17 |   304047 |   249232 |    15993     30 |     1811 |        0
331.24/331.30	c  330s |      17 |   305092 |   249932 |    15993     30 |     1811 |        0
333.24/333.39	c  333s |      17 |   306148 |   250632 |    15993     30 |     1811 |        0
335.44/335.53	c  335s |      17 |   307142 |   251332 |    15993     30 |     1811 |        0
337.74/337.85	c  337s |      17 |   308181 |   252032 |    15993     30 |     1811 |        0
340.74/340.87	c  340s |      17 |   309103 |   252532 |    15993     31 |     1811 |        0
342.73/342.87	c  342s |      17 |   310288 |   253232 |    15993     31 |     1811 |        0
344.83/344.94	c  344s |      17 |   311284 |   253932 |    15993     31 |     1811 |        0
346.93/347.06	c  346s |      17 |   312378 |   254632 |    15993     31 |     1811 |        0
349.03/349.17	c  348s |      17 |   313243 |   255132 |    15993     31 |     1811 |        0
351.13/351.21	c  350s |      17 |   314568 |   255932 |    15993     31 |     1811 |        0
353.23/353.35	c  352s |      17 |   315743 |   256732 |    15993     31 |     1811 |        0
355.43/355.57	c  355s |      17 |   316972 |   257532 |    15993     31 |     1811 |        0
357.54/357.67	c  357s |      17 |   318151 |   258232 |    15993     31 |     1811 |        0
359.64/359.79	c  359s |      17 |   319173 |   258932 |    15993     31 |     1811 |        0
361.84/361.94	c  361s |      17 |   320271 |   259632 |    15993     31 |     1811 |        0
364.04/364.10	c  363s |      17 |   321281 |   260332 |    15993     31 |     1811 |        0
366.03/366.13	c  365s |      17 |   322156 |   261032 |    15993     31 |     1811 |        0
368.33/368.47	c  368s |      17 |   323359 |   261732 |    15993     31 |     1811 |        0
370.53/370.63	c  370s |      17 |   324350 |   262432 |    15993     31 |     1811 |        0
372.94/373.03	c  372s |      17 |   325272 |   263032 |    15993     32 |     1811 |        0
375.14/375.21	c  374s |      17 |   326505 |   263832 |    15993     32 |     1811 |        0
377.34/377.41	c  377s |      17 |   327710 |   264632 |    15993     32 |     1811 |        0
380.84/380.93	c  380s |      17 |   327968 |   264832 |    15993     32 |     1811 |        0
383.13/383.22	c  382s |      17 |   329176 |   265532 |    15993     32 |     1811 |        0
385.23/385.37	c  384s |      17 |   330251 |   266232 |    15993     32 |     1811 |        0
387.43/387.58	c  387s |      17 |   331453 |   266932 |    15993     32 |     1811 |        0
389.63/389.74	c  389s |      17 |   332463 |   267732 |    15993     32 |     1811 |        0
391.73/391.89	c  391s |      17 |   333361 |   268632 |    15993     32 |     1811 |        0
393.93/394.07	c  393s |      17 |   334571 |   269432 |    15993     32 |     1811 |        0
396.13/396.26	c  395s |      17 |   335803 |   270232 |    15993     32 |     1811 |        0
398.43/398.52	c  398s |      17 |   336799 |   271032 |    15993     32 |     1811 |        0
400.73/400.80	c  400s |      17 |   337885 |   271832 |    15993     32 |     1811 |        0
402.93/403.02	c  402s |      17 |   338817 |   272532 |    15993     32 |     1811 |        0
405.03/405.20	c  404s |      17 |   339862 |   273232 |    15993     32 |     1811 |        0
407.13/407.28	c  406s |      17 |   340601 |   273832 |    15993     33 |     1811 |        0
409.13/409.29	c  408s |      17 |   341301 |   274532 |    15993     33 |     1811 |        0
411.23/411.39	c  411s |      17 |   342254 |   275232 |    15993     33 |     1811 |        0
413.53/413.65	c  413s |      17 |   343433 |   276032 |    15993     33 |     1811 |        0
415.73/415.81	c  415s |      17 |   344229 |   276532 |    15993     33 |     1811 |        0
417.82/417.96	c  417s |      17 |   344989 |   277032 |    15993     33 |     1811 |        0
420.13/420.26	c  419s |      17 |   345838 |   277532 |    15993     33 |     1811 |        0
422.52/422.66	c  422s |      17 |   346614 |   278032 |    15993     33 |     1811 |        0
424.63/424.72	c  424s |      17 |   347141 |   278432 |    15993     33 |     1811 |        0
426.83/426.95	c  426s |      17 |   348261 |   279132 |    15993     33 |     1811 |        0
428.82/428.95	c  428s |      17 |   349168 |   279732 |    15993     33 |     1811 |        0
430.82/430.96	c  430s |      17 |   350173 |   280332 |    15993     33 |     1811 |        0
432.92/433.00	c  432s |      17 |   351075 |   280932 |    15993     33 |     1811 |        0
435.02/435.10	c  434s |      17 |   351970 |   281532 |    15993     33 |     1811 |        0
437.12/437.20	c  436s |      17 |   352953 |   282132 |    15993     33 |     1811 |        0
439.22/439.30	c  438s |      17 |   353823 |   282732 |    15993     33 |     1811 |        0
441.32/441.40	c  441s |      17 |   354794 |   283332 |    15993     33 |     1811 |        0
443.33/443.44	c  443s |      17 |   355419 |   283832 |    15993     33 |     1811 |        0
445.72/445.81	c  445s |      17 |   356147 |   284332 |    15993     34 |     1811 |        0
447.72/447.83	c  447s |      17 |   357130 |   285032 |    15993     34 |     1811 |        0
449.82/449.91	c  449s |      17 |   358342 |   285832 |    15993     34 |     1811 |        0
451.82/451.97	c  451s |      17 |   359327 |   286532 |    15993     34 |     1811 |        0
454.12/454.28	c  453s |      17 |   360452 |   287232 |    15993     34 |     1811 |        0
456.22/456.37	c  455s |      17 |   362169 |   288232 |    15993     34 |     1811 |        0
458.42/458.52	c  458s |      17 |   364664 |   289532 |    15993     34 |     1811 |        0
460.42/460.56	c  460s |      17 |   366883 |   290732 |    15993     34 |     1811 |        0
462.52/462.69	c  462s |      17 |   368576 |   292132 |    15993     34 |     1811 |        0
464.62/464.76	c  464s |      17 |   370933 |   293132 |    15993     34 |     1811 |        0
466.72/466.85	c  466s |      17 |   372523 |   294032 |    15993     35 |     1811 |        0
468.92/469.04	c  468s |      17 |   374453 |   295332 |    17593     35 |     1811 |        0
470.62/470.78	c  470s |      18 |   376102 |   296252 |    17593     35 |     1811 |        0
472.61/472.78	c  472s |      18 |   384616 |   300352 |    17593     35 |     1822 |        0
474.71/474.82	c  474s |      18 |   390634 |   305852 |    17593     36 |     1822 |        0
476.71/476.85	c  476s |      18 |   397646 |   312352 |    17593     36 |     1822 |        0
478.71/478.86	c  478s |      18 |   404223 |   318452 |    17593     37 |     1822 |        0
483.22/483.36	c  482s |      18 |   406710 |   319952 |    17593     37 |     1822 |        0
485.32/485.49	c  485s |      18 |   406850 |   320052 |    17593     37 |     1822 |        0
487.41/487.54	c  487s |      18 |   413727 |   322452 |    17593     37 |     1822 |        0
489.52/489.67	c  489s |      18 |   415321 |   324052 |    17593     37 |     1822 |        0
491.62/491.74	c  491s |      18 |   416827 |   325552 |    17593     37 |     1822 |        0
493.71/493.87	c  493s |      18 |   418333 |   327052 |    17593     38 |     1822 |        0
495.81/495.99	c  495s |      18 |   419850 |   328552 |    17593     38 |     1822 |        0
497.91/498.03	c  497s |      18 |   421358 |   330052 |    17593     38 |     1822 |        0
499.91/500.07	c  499s |      18 |   422861 |   331552 |    17593     38 |     1822 |        0
502.01/502.10	c  501s |      18 |   424267 |   332952 |    17593     38 |     1822 |        0
504.01/504.11	c  503s |      18 |   425868 |   334252 |    17593     38 |     1822 |        0
506.02/506.18	c  505s |      18 |   427667 |   335252 |    17593     38 |     1822 |        0
508.12/508.24	c  507s |      18 |   429039 |   336252 |    17593     38 |     1822 |        0
510.32/510.49	c  510s |      18 |   430902 |   337152 |    17593     38 |     1822 |        0
512.41/512.56	c  512s |      18 |   431948 |   338052 |    17593     39 |     1822 |        0
515.31/515.45	c  515s |      18 |   432351 |   338452 |    17593     39 |     1822 |        0
517.41/517.50	c  517s |      18 |   433378 |   339452 |    17593     39 |     1822 |        0
519.61/519.72	c  519s |      18 |   434331 |   340352 |    17593     39 |     1822 |        0
521.71/521.88	c  521s |      18 |   435251 |   341252 |    17593     39 |     1822 |        0
523.90/524.04	c  523s |      18 |   436311 |   342252 |    17593     39 |     1822 |        0
525.91/526.06	c  525s |      18 |   437201 |   343052 |    17593     39 |     1822 |        0
528.01/528.12	c  527s |      18 |   438115 |   343952 |    17593     39 |     1822 |        0
530.11/530.27	c  529s |      18 |   438968 |   344752 |    17593     39 |     1822 |        0
532.10/532.27	c  531s |      18 |   439880 |   345652 |    17593     39 |     1822 |        0
534.20/534.35	c  533s |      18 |   440753 |   346452 |    17593     39 |     1822 |        0
536.30/536.43	c  536s |      18 |   441663 |   347352 |    17593     39 |     1822 |        0
538.60/538.75	c  538s |      18 |   442485 |   348152 |    17593     39 |     1822 |        0
540.70/540.84	c  540s |      18 |   443286 |   348952 |    17593     39 |     1822 |        0
542.81/542.94	c  542s |      18 |   443987 |   349652 |    17593     40 |     1822 |        0
547.31/547.48	c  547s |      18 |   444228 |   349852 |    17593     40 |     1822 |        0
549.61/549.73	c  549s |      18 |   445154 |   350752 |    17593     40 |     1822 |        0
551.61/551.74	c  551s |      18 |   445954 |   351552 |    17593     40 |     1822 |        0
553.81/553.91	c  553s |      18 |   446790 |   352352 |    17593     40 |     1822 |        0
556.01/556.15	c  555s |      18 |   447793 |   353352 |    17593     40 |     1822 |        0
558.01/558.15	c  557s |      18 |   448621 |   354152 |    17593     40 |     1822 |        0
560.31/560.45	c  560s |      18 |   449531 |   355052 |    17593     40 |     1822 |        0
562.51/562.60	c  562s |      18 |   450253 |   355752 |    17593     40 |     1822 |        0
564.51/564.63	c  564s |      18 |   450992 |   356452 |    17593     40 |     1822 |        0
566.70/566.82	c  566s |      18 |   452060 |   357352 |    17593     40 |     1822 |        0
568.80/568.93	c  568s |      18 |   454329 |   359452 |    17593     40 |     1822 |        0
570.91/571.01	c  570s |      18 |   455841 |   360952 |    17593     41 |     1822 |        0
572.90/573.09	c  572s |      18 |   457565 |   362652 |    17593     41 |     1822 |        0
575.00/575.17	c  574s |      18 |   459165 |   364252 |    17593     41 |     1822 |        0
577.10/577.21	c  576s |      18 |   461053 |   366052 |    17593     41 |     1822 |        0
579.10/579.24	c  578s |      18 |   462703 |   367552 |    17593     41 |     1822 |        0
581.10/581.26	c  580s |      18 |   464047 |   368752 |    17593     41 |     1822 |        0
583.20/583.39	c  583s |      18 |   465716 |   370052 |    17593     41 |     1822 |        0
585.30/585.43	c  585s |      18 |   466830 |   371052 |    17593     42 |     1822 |        0
587.30/587.50	c  587s |      18 |   467993 |   372152 |    17593     42 |     1822 |        0
589.40/589.51	c  589s |      18 |   469382 |   373452 |    17593     42 |     1822 |        0
591.50/591.62	c  591s |      18 |   470660 |   374652 |    17593     42 |     1822 |        0
593.70/593.81	c  593s |      18 |   471992 |   375852 |    17593     42 |     1822 |        0
595.70/595.88	c  595s |      18 |   472943 |   376752 |    17593     42 |     1822 |        0
597.80/597.95	c  597s |      18 |   474078 |   377852 |    17593     42 |     1822 |        0
600.00/600.17	c  599s |      18 |   475233 |   378952 |    17593     42 |     1822 |        0
602.20/602.30	c  601s |      18 |   476246 |   379952 |    17593     42 |     1822 |        0
604.30/604.44	c  604s |      18 |   477267 |   380952 |    17593     42 |     1822 |        0
606.40/606.57	c  606s |      18 |   478151 |   381752 |    17593     43 |     1822 |        0
608.60/608.70	c  608s |      18 |   479477 |   382952 |    17593     43 |     1822 |        0
610.60/610.72	c  610s |      18 |   480750 |   384152 |    17593     43 |     1822 |        0
612.60/612.79	c  612s |      18 |   481794 |   385152 |    17593     43 |     1822 |        0
614.80/614.94	c  614s |      18 |   482806 |   386152 |    17593     43 |     1822 |        0
616.90/617.06	c  616s |      18 |   483945 |   387252 |    17593     43 |     1822 |        0
619.09/619.20	c  618s |      18 |   485104 |   388352 |    17593     43 |     1822 |        0
621.09/621.25	c  620s |      18 |   486188 |   389352 |    17593     43 |     1822 |        0
623.19/623.37	c  622s |      18 |   487225 |   390352 |    17593     43 |     1822 |        0
625.39/625.56	c  625s |      18 |   488291 |   391352 |    17593     43 |     1822 |        0
627.59/627.77	c  627s |      18 |   489353 |   392352 |    17593     43 |     1822 |        0
629.69/629.83	c  629s |      18 |   489996 |   392952 |    17593     44 |     1822 |        0
631.69/631.85	c  631s |      18 |   490660 |   393552 |    17593     44 |     1822 |        0
633.79/633.94	c  633s |      18 |   491849 |   394652 |    17593     44 |     1822 |        0
635.89/636.06	c  635s |      18 |   492995 |   395752 |    17593     44 |     1822 |        0
637.89/638.07	c  637s |      18 |   494066 |   396752 |    17593     44 |     1822 |        0
640.09/640.30	c  639s |      18 |   495088 |   397752 |    17593     44 |     1822 |        0
642.19/642.37	c  641s |      18 |   496128 |   398752 |    17593     44 |     1822 |        0
644.29/644.49	c  644s |      18 |   497170 |   399752 |    17593     44 |     1822 |        0
646.39/646.59	c  646s |      18 |   498239 |   400752 |    17593     44 |     1822 |        0
648.49/648.60	c  648s |      18 |   499284 |   401752 |    17593     44 |     1822 |        0
650.59/650.78	c  650s |      18 |   500306 |   402752 |    17593     44 |     1822 |        0
652.69/652.83	c  652s |      18 |   501048 |   403452 |    17593     45 |     1822 |        0
654.79/654.95	c  654s |      18 |   502297 |   404652 |    17593     45 |     1822 |        0
656.99/657.10	c  656s |      18 |   503517 |   405852 |    17593     45 |     1822 |        0
658.99/659.16	c  658s |      18 |   504654 |   406952 |    17593     45 |     1822 |        0
661.09/661.24	c  660s |      18 |   505783 |   408052 |    17593     45 |     1822 |        0
663.19/663.38	c  663s |      18 |   506972 |   409152 |    17593     45 |     1822 |        0
665.28/665.41	c  665s |      18 |   508060 |   410152 |    17593     45 |     1822 |        0
667.38/667.54	c  667s |      18 |   509093 |   411152 |    17593     45 |     1822 |        0
669.48/669.65	c  669s |      18 |   510138 |   412152 |    17593     45 |     1822 |        0
671.68/671.82	c  671s |      18 |   511185 |   413152 |    17593     45 |     1822 |        0
673.78/673.93	c  673s |      18 |   512141 |   414052 |    17593     45 |     1822 |        0
675.88/676.09	c  675s |      18 |   512952 |   414852 |    17593     46 |     1822 |        0
679.59/679.71	c  679s |      18 |   513379 |   415252 |    17593     46 |     1822 |        0
681.79/681.93	c  681s |      18 |   514530 |   416352 |    17593     46 |     1822 |        0
683.99/684.15	c  683s |      18 |   515696 |   417452 |    17593     46 |     1822 |        0
685.99/686.17	c  685s |      18 |   516854 |   418552 |    17593     46 |     1822 |        0
688.09/688.29	c  687s |      18 |   518002 |   419652 |    17593     46 |     1822 |        0
690.19/690.30	c  689s |      18 |   519030 |   420652 |    17593     46 |     1822 |        0
692.29/692.44	c  692s |      18 |   520184 |   421752 |    17593     46 |     1822 |        0
694.39/694.52	c  694s |      18 |   521395 |   422952 |    17593     46 |     1822 |        0
696.39/696.53	c  696s |      18 |   522435 |   423952 |    17593     46 |     1822 |        0
698.49/698.64	c  698s |      18 |   523540 |   425052 |    17593     46 |     1822 |        0
701.08/701.26	c  700s |      18 |   524169 |   425652 |    17593     47 |     1822 |        0
703.68/703.86	c  703s |      18 |   524992 |   426452 |    17593     47 |     1822 |        0
705.78/705.95	c  705s |      18 |   526551 |   427952 |    17593     47 |     1822 |        0
707.98/708.13	c  707s |      18 |   527935 |   429252 |    17593     47 |     1822 |        0
710.08/710.25	c  709s |      18 |   529225 |   430452 |    17593     47 |     1822 |        0
712.28/712.47	c  712s |      18 |   530379 |   431552 |    17593     47 |     1822 |        0
714.48/714.65	c  714s |      18 |   531610 |   432752 |    17593     47 |     1822 |        0
716.58/716.78	c  716s |      18 |   532679 |   433752 |    17593     47 |     1822 |        0
718.78/718.91	c  718s |      18 |   533708 |   434752 |    17593     47 |     1822 |        0
720.78/720.97	c  720s |      18 |   534610 |   435652 |    17593     47 |     1822 |        0
722.88/723.09	c  722s |      18 |   535438 |   436452 |    17593     48 |     1822 |        0
725.28/725.43	c  725s |      18 |   535648 |   436652 |    17593     48 |     1822 |        0
727.28/727.49	c  727s |      18 |   536681 |   437652 |    17593     48 |     1822 |        0
729.48/729.65	c  729s |      18 |   537705 |   438652 |    17593     48 |     1822 |        0
731.68/731.82	c  731s |      18 |   538734 |   439652 |    17593     48 |     1822 |        0
733.78/733.99	c  733s |      18 |   539763 |   440652 |    17593     48 |     1822 |        0
735.89/736.02	c  735s |      18 |   540705 |   441552 |    19353     48 |     1822 |        0
737.88/738.06	c  737s |      18 |   541616 |   442452 |    19353     48 |     1822 |        0
739.98/740.19	c  739s |      18 |   542549 |   443352 |    19353     48 |     1822 |        0
742.08/742.23	c  741s |      18 |   543465 |   444252 |    19353     48 |     1822 |        0
742.68/742.82	c  742s |      19 |   543720 |   444482 |    19353     48 |     1822 |        0
749.17/749.33	c  748s |      19 |   547060 |   445782 |    19353     48 |     1822 |        0
751.18/751.34	c  750s |      19 |   550281 |   448482 |    19353     49 |     1822 |        0
753.17/753.38	c  753s |      19 |   553104 |   450982 |    19353     49 |     1822 |        0
755.27/755.41	c  755s |      19 |   556093 |   453482 |    19353     49 |     1822 |        0
757.27/757.46	c  757s |      19 |   560209 |   456582 |    19353     49 |     1822 |        0
759.27/759.46	c  759s |      19 |   563258 |   458982 |    19353     49 |     1822 |        0
761.37/761.54	c  761s |      19 |   565833 |   460982 |    19353     50 |     1822 |        0
763.47/763.63	c  763s |      19 |   568738 |   463182 |    19353     50 |     1822 |        0
765.47/765.66	c  765s |      19 |   572262 |   465282 |    19353     50 |     1822 |        0
767.47/767.69	c  767s |      19 |   576497 |   468782 |    19353     50 |     1822 |        0
769.57/769.73	c  769s |      19 |   579697 |   470782 |    19353     51 |     1822 |        0
771.57/771.74	c  771s |      19 |   583241 |   473182 |    19353     51 |     1822 |        0
773.57/773.75	c  773s |      19 |   585911 |   475282 |    19353     51 |     1822 |        0
775.67/775.88	c  775s |      19 |   588785 |   477182 |    19353     51 |     1822 |        0
777.77/777.92	c  777s |      19 |   591181 |   478982 |    19353     51 |     1822 |        0
779.87/780.01	c  779s |      19 |   592902 |   480582 |    19353     51 |     1822 |        0
781.87/782.02	c  781s |      19 |   594504 |   482082 |    19353     52 |     1822 |        0
783.87/784.02	c  783s |      19 |   596865 |   484382 |    19353     52 |     1822 |        0
785.97/786.11	c  785s |      19 |   599092 |   486582 |    19353     52 |     1822 |        0
787.97/788.20	c  787s |      19 |   600946 |   488382 |    19353     52 |     1822 |        0
790.07/790.20	c  789s |      19 |   603067 |   490282 |    19353     52 |     1822 |        0
792.07/792.22	c  791s |      19 |   605179 |   492382 |    19353     52 |     1822 |        0
794.07/794.28	c  793s |      19 |   606757 |   493782 |    19353     53 |     1822 |        0
796.17/796.37	c  795s |      19 |   608586 |   495382 |    19353     53 |     1822 |        0
798.17/798.39	c  798s |      19 |   611054 |   497482 |    19353     53 |     1822 |        0
800.27/800.44	c  800s |      19 |   613423 |   499482 |    19353     53 |     1822 |        0
802.27/802.45	c  802s |      19 |   615530 |   501082 |    19353     53 |     1822 |        0
804.36/804.56	c  804s |      19 |   617518 |   502582 |    19353     53 |     1822 |        0
806.46/806.63	c  806s |      19 |   619384 |   504182 |    19353     53 |     1822 |        0
808.47/808.66	c  808s |      19 |   621225 |   505882 |    19353     54 |     1822 |        0
810.57/810.74	c  810s |      19 |   623598 |   507982 |    19353     54 |     1822 |        0
812.66/812.80	c  812s |      19 |   625243 |   509082 |    19353     54 |     1822 |        0
814.66/814.82	c  814s |      19 |   628547 |   510582 |    19353     54 |     1822 |        0
816.76/816.94	c  816s |      19 |   631008 |   512082 |    19353     54 |     1822 |        0
818.86/819.04	c  818s |      19 |   633401 |   513382 |    19353     54 |     1822 |        0
820.86/821.06	c  820s |      19 |   636519 |   514782 |    19353     54 |     1822 |        0
823.06/823.20	c  822s |      19 |   639362 |   516082 |    19353     55 |     1822 |        0
825.16/825.30	c  824s |      19 |   643245 |   517782 |    19353     55 |     1822 |        0
827.26/827.44	c  827s |      19 |   646836 |   519482 |    19353     55 |     1822 |        0
829.27/829.49	c  829s |      19 |   649943 |   520982 |    19353     55 |     1822 |        0
831.36/831.59	c  831s |      19 |   654397 |   522982 |    19353     55 |     1822 |        0
833.46/833.62	c  833s |      19 |   657726 |   524582 |    19353     55 |     1822 |        0
835.46/835.66	c  835s |      19 |   661311 |   526082 |    19353     55 |     1822 |        0
837.46/837.69	c  837s |      19 |   663495 |   527382 |    19353     56 |     1822 |        0
839.56/839.73	c  839s |      19 |   666287 |   529182 |    19353     56 |     1822 |        0
841.56/841.79	c  841s |      19 |   669588 |   530882 |    19353     56 |     1822 |        0
843.66/843.89	c  843s |      19 |   673140 |   532682 |    19353     56 |     1822 |        0
846.06/846.25	c  845s |      19 |   675842 |   534482 |    19353     56 |     1822 |        0
848.16/848.36	c  847s |      19 |   678512 |   536282 |    19353     56 |     1822 |        0
850.16/850.38	c  850s |      19 |   680796 |   537882 |    19353     56 |     1822 |        0
852.25/852.46	c  852s |      19 |   682864 |   539382 |    19353     57 |     1822 |        0
854.35/854.55	c  854s |      19 |   685664 |   541582 |    19353     57 |     1822 |        0
856.35/856.57	c  856s |      19 |   689261 |   543282 |    19353     57 |     1822 |        0
858.45/858.63	c  858s |      19 |   692765 |   545982 |    19353     57 |     1822 |        0
860.44/860.65	c  860s |      19 |   695241 |   548282 |    19353     57 |     1822 |        0
862.54/862.70	c  862s |      19 |   697286 |   550182 |    19353     58 |     1822 |        0
864.55/864.73	c  864s |      19 |   699625 |   552282 |    19353     58 |     1822 |        0
866.54/866.75	c  866s |      19 |   701505 |   554082 |    19353     58 |     1822 |        0
868.64/868.84	c  868s |      19 |   703355 |   555882 |    19353     58 |     1822 |        0
870.74/870.93	c  870s |      19 |   704961 |   557382 |    19353     58 |     1822 |        0
872.84/873.01	c  872s |      19 |   706475 |   558882 |    19353     58 |     1822 |        0
874.84/875.02	c  874s |      19 |   708339 |   560582 |    19353     58 |     1822 |        0
877.44/877.61	c  877s |      19 |   710191 |   561682 |    19353     59 |     1822 |        0
879.44/879.66	c  879s |      19 |   713183 |   563282 |    19353     59 |     1822 |        0
881.53/881.72	c  881s |      19 |   715664 |   565682 |    19353     59 |     1822 |        0
883.53/883.73	c  883s |      19 |   718340 |   567882 |    19353     59 |     1822 |        0
885.53/885.74	c  885s |      19 |   721658 |   571182 |    19353     59 |     1822 |        0
887.54/887.79	c  887s |      19 |   723502 |   572882 |    19353     60 |     1822 |        0
889.63/889.85	c  889s |      19 |   725216 |   574282 |    19353     60 |     1822 |        0
891.73/891.96	c  891s |      19 |   727682 |   575782 |    19353     60 |     1822 |        0
893.83/894.07	c  893s |      19 |   729753 |   577382 |    19353     60 |     1822 |        0
895.93/896.12	c  895s |      19 |   731551 |   578682 |    19353     60 |     1822 |        0
898.03/898.27	c  897s |      19 |   733507 |   580082 |    19353     60 |     1822 |        0
900.03/900.29	c  899s |      19 |   737715 |   582182 |    19353     60 |     1822 |        0
902.13/902.39	c  902s |      19 |   740621 |   583982 |    19353     61 |     1822 |        0
904.23/904.44	c  904s |      19 |   743113 |   585082 |    19353     61 |     1822 |        0
906.23/906.50	c  906s |      19 |   746859 |   587482 |    19353     61 |     1822 |        0
908.33/908.56	c  908s |      19 |   749600 |   589182 |    19353     61 |     1822 |        0
910.33/910.58	c  910s |      19 |   752516 |   590682 |    19353     61 |     1822 |        0
912.42/912.69	c  912s |      19 |   755528 |   592482 |    19353     61 |     1822 |        0
914.62/914.80	c  914s |      19 |   760784 |   594382 |    19353     61 |     1822 |        0
916.62/916.84	c  916s |      19 |   765267 |   596382 |    19353     62 |     1822 |        0
918.62/918.85	c  918s |      19 |   769670 |   598682 |    19353     62 |     1822 |        0
920.62/920.89	c  920s |      19 |   773148 |   600682 |    19353     62 |     1822 |        0
922.72/922.91	c  922s |      19 |   776144 |   602782 |    19353     62 |     1822 |        0
924.72/924.96	c  924s |      19 |   778953 |   604482 |    19353     62 |     1822 |        0
926.82/927.01	c  926s |      19 |   781329 |   606382 |    19353     62 |     1822 |        0
928.82/929.04	c  928s |      19 |   784318 |   608682 |    19353     63 |     1822 |        0
930.91/931.12	c  930s |      19 |   789015 |   610582 |    19353     63 |     1822 |        0
932.91/933.15	c  932s |      19 |   791799 |   612982 |    19353     63 |     1822 |        0
934.92/935.17	c  934s |      19 |   794461 |   615182 |    19353     63 |     1822 |        0
937.03/937.27	c  936s |      19 |   797010 |   617182 |    19353     63 |     1822 |        0
939.23/939.48	c  939s |      19 |   799150 |   618882 |    19353     64 |     1822 |        0
941.32/941.53	c  941s |      19 |   801944 |   621082 |    19353     64 |     1822 |        0
943.32/943.57	c  943s |      19 |   804184 |   622782 |    19353     64 |     1822 |        0
945.42/945.64	c  945s |      19 |   806673 |   624882 |    19353     64 |     1822 |        0
947.42/947.67	c  947s |      19 |   808914 |   626582 |    19353     64 |     1822 |        0
949.52/949.70	c  949s |      19 |   810893 |   628282 |    19353     64 |     1822 |        0
951.52/951.79	c  951s |      19 |   812271 |   629382 |    19353     65 |     1822 |        0
953.62/953.88	c  953s |      19 |   814274 |   630982 |    19353     65 |     1822 |        0
955.72/955.93	c  955s |      19 |   816853 |   632682 |    19353     65 |     1822 |        0
957.81/958.01	c  957s |      19 |   819885 |   634482 |    19353     65 |     1822 |        0
959.91/960.14	c  959s |      19 |   822968 |   636382 |    19353     65 |     1822 |        0
961.91/962.15	c  961s |      19 |   826053 |   638082 |    19353     65 |     1822 |        0
964.01/964.24	c  963s |      19 |   830528 |   640582 |    19353     66 |     1822 |        0
966.01/966.27	c  965s |      19 |   834529 |   642582 |    19353     66 |     1822 |        0
968.01/968.29	c  967s |      19 |   838195 |   644582 |    19353     66 |     1822 |        0
970.12/970.32	c  969s |      19 |   843121 |   646882 |    19353     66 |     1822 |        0
972.21/972.42	c  972s |      19 |   847408 |   649182 |    19353     66 |     1822 |        0
974.20/974.46	c  974s |      19 |   848750 |   649982 |    19353     66 |     1822 |        0
976.30/976.54	c  976s |      19 |   853624 |   651582 |    19353     66 |     1822 |        0
978.30/978.57	c  978s |      19 |   857171 |   653882 |    19353     67 |     1822 |        0
980.40/980.60	c  980s |      19 |   860777 |   656382 |    19353     67 |     1822 |        0
982.50/982.71	c  982s |      19 |   863065 |   657582 |    19353     67 |     1822 |        0
984.50/984.78	c  984s |      19 |   865144 |   659182 |    19353     67 |     1822 |        0
986.50/986.80	c  986s |      19 |   867696 |   660882 |    19353     67 |     1822 |        0
988.60/988.89	c  988s |      19 |   870703 |   662382 |    21289     67 |     1822 |        0
990.69/990.98	c  990s |      19 |   873160 |   663482 |    21289     67 |     1822 |        0
992.79/993.08	c  992s |      19 |   875244 |   664582 |    21289     67 |     1822 |        0
994.89/995.14	c  994s |      19 |   877219 |   665582 |    21289     68 |     1822 |        0
996.40/996.63	c  996s |      20 |   878986 |   666827 |    21289     68 |     1822 |        0
998.39/998.68	c  998s |      20 |   882387 |   668227 |    21289     68 |     1822 |        0
1000.49/1000.79	c 1000s |      20 |   886201 |   669827 |    21289     68 |     1822 |        0
1002.59/1002.83	c 1002s |      20 |   889356 |   671427 |    21289     68 |     1822 |        0
1004.69/1004.92	c 1004s |      20 |   891560 |   672727 |    21289     68 |     1822 |        0
1006.69/1006.92	c 1006s |      20 |   893889 |   674027 |    21289     68 |     1822 |        0
1008.79/1009.04	c 1008s |      20 |   895533 |   675127 |    21289     68 |     1822 |        0
1010.98/1011.20	c 1010s |      20 |   896697 |   676127 |    21289     69 |     1822 |        0
1013.08/1013.30	c 1012s |      20 |   900472 |   678627 |    21289     69 |     1822 |        0
1015.09/1015.37	c 1014s |      20 |   903468 |   679927 |    21289     69 |     1822 |        0
1017.18/1017.45	c 1017s |      20 |   906570 |   681127 |    21289     69 |     1822 |        0
1019.18/1019.48	c 1019s |      20 |   909236 |   682427 |    21289     69 |     1822 |        0
1021.28/1021.53	c 1021s |      20 |   919321 |   686127 |    21289     69 |     1822 |        0
1023.39/1023.60	c 1023s |      20 |   922232 |   688727 |    21289     69 |     1822 |        0
1025.39/1025.61	c 1025s |      20 |   924948 |   691427 |    21289     70 |     1822 |        0
1027.39/1027.64	c 1027s |      20 |   928064 |   694527 |    21289     70 |     1822 |        0
1029.39/1029.67	c 1029s |      20 |   930774 |   697227 |    21289     70 |     1822 |        0
1031.48/1031.74	c 1031s |      20 |   933580 |   700027 |    21289     70 |     1822 |        0
1033.48/1033.79	c 1033s |      20 |   936089 |   702527 |    21289     70 |     1822 |        0
1035.58/1035.86	c 1035s |      20 |   938194 |   704627 |    21289     71 |     1822 |        0
1037.58/1037.86	c 1037s |      20 |   940401 |   706827 |    21289     71 |     1822 |        0
1039.68/1039.90	c 1039s |      20 |   943185 |   709127 |    21289     71 |     1822 |        0
1041.67/1041.96	c 1041s |      20 |   946197 |   711327 |    21289     71 |     1822 |        0
1043.68/1044.00	c 1043s |      20 |   949040 |   713427 |    21289     71 |     1822 |        0
1045.77/1046.01	c 1045s |      20 |   951577 |   715327 |    21289     71 |     1822 |        0
1047.77/1048.07	c 1047s |      20 |   953750 |   716927 |    21289     72 |     1822 |        0
1049.87/1050.13	c 1049s |      20 |   956108 |   718727 |    21289     72 |     1822 |        0
1051.87/1052.15	c 1051s |      20 |   957666 |   719927 |    21289     72 |     1822 |        0
1053.97/1054.20	c 1053s |      20 |   960046 |   721727 |    21289     72 |     1822 |        0
1055.97/1056.21	c 1055s |      20 |   962333 |   723427 |    21289     72 |     1822 |        0
1058.07/1058.33	c 1057s |      20 |   964701 |   725227 |    21289     72 |     1822 |        0
1060.07/1060.36	c 1059s |      20 |   966891 |   726727 |    21289     72 |     1822 |        0
1062.16/1062.43	c 1062s |      20 |   968809 |   728127 |    21289     72 |     1822 |        0
1064.36/1064.61	c 1064s |      20 |   970385 |   729327 |    21289     73 |     1822 |        0
1066.36/1066.63	c 1066s |      20 |   972375 |   730827 |    21289     73 |     1822 |        0
1072.46/1072.73	c 1072s |      20 |   974605 |   732527 |    21289     73 |     1822 |        0
1075.36/1075.62	c 1075s |      20 |   974831 |   732727 |    21289     73 |     1822 |        0
1077.36/1077.69	c 1077s |      20 |   977405 |   734927 |    21289     73 |     1822 |        0
1079.46/1079.73	c 1079s |      20 |   979225 |   736627 |    21289     73 |     1822 |        0
1081.55/1081.84	c 1081s |      20 |   980839 |   738227 |    21289     73 |     1822 |        0
1083.65/1083.91	c 1083s |      20 |   982254 |   739627 |    21289     73 |     1822 |        0
1085.65/1085.96	c 1085s |      20 |   983557 |   740927 |    21289     73 |     1822 |        0
1088.25/1088.50	c 1088s |      20 |   984875 |   742227 |    21289     74 |     1822 |        0
1090.85/1091.10	c 1090s |      20 |   986286 |   743627 |    21289     74 |     1822 |        0
1092.85/1093.17	c 1092s |      20 |   988193 |   745527 |    21289     74 |     1822 |        0
1094.95/1095.21	c 1094s |      20 |   990308 |   747627 |    21289     74 |     1822 |        0
1096.95/1097.22	c 1096s |      20 |   992221 |   749527 |    21289     74 |     1822 |        0
1098.95/1099.22	c 1098s |      20 |   994349 |   751627 |    21289     74 |     1822 |        0
1100.95/1101.23	c 1100s |      20 |   996756 |   754027 |    21289     74 |     1822 |        0
1102.94/1103.23	c 1102s |      20 |   997960 |   755227 |    21289     75 |     1822 |        0
1105.94/1106.24	c 1105s |      20 |   998166 |   755427 |    21289     75 |     1822 |        0
1108.04/1108.32	c 1107s |      20 |  1000366 |   757627 |    21289     75 |     1822 |        0
1110.04/1110.35	c 1109s |      20 |  1002380 |   759627 |    21289     75 |     1822 |        0
1112.14/1112.41	c 1112s |      20 |  1004398 |   761627 |    21289     75 |     1822 |        0
1114.43/1114.73	c 1114s |      20 |  1005795 |   763027 |    21289     75 |     1822 |        0
1116.43/1116.77	c 1116s |      20 |  1007912 |   765127 |    21289     75 |     1822 |        0
1118.54/1118.87	c 1118s |      20 |  1009824 |   767027 |    21289     75 |     1822 |        0
1120.63/1120.93	c 1120s |      20 |  1011133 |   768327 |    21289     76 |     1822 |        0
1122.63/1122.96	c 1122s |      20 |  1013143 |   770327 |    21289     76 |     1822 |        0
1124.73/1125.02	c 1124s |      20 |  1015037 |   772227 |    21289     76 |     1822 |        0
1130.13/1130.49	c 1130s |      20 |  1016757 |   773927 |    21289     76 |     1822 |        0
1132.23/1132.55	c 1132s |      20 |  1018667 |   775827 |    21289     76 |     1822 |        0
1134.23/1134.57	c 1134s |      20 |  1020279 |   777427 |    21289     76 |     1822 |        0
1136.23/1136.58	c 1136s |      20 |  1021794 |   778927 |    21289     76 |     1822 |        0
1138.34/1138.60	c 1138s |      20 |  1023298 |   780427 |    21289     76 |     1822 |        0
1140.33/1140.63	c 1140s |      20 |  1024105 |   781227 |    21289     77 |     1822 |        0
1142.33/1142.64	c 1142s |      20 |  1025818 |   782927 |    21289     77 |     1822 |        0
1144.33/1144.66	c 1144s |      20 |  1027427 |   784527 |    21289     77 |     1822 |        0
1148.52/1148.82	c 1148s |      20 |  1028133 |   785227 |    21289     77 |     1822 |        0
1150.62/1150.96	c 1150s |      20 |  1029950 |   787027 |    21289     77 |     1822 |        0
1152.62/1152.97	c 1152s |      20 |  1031655 |   788727 |    21289     77 |     1822 |        0
1154.72/1155.04	c 1154s |      20 |  1033567 |   790627 |    21289     77 |     1822 |        0
1156.72/1157.07	c 1156s |      20 |  1035270 |   792327 |    21289     77 |     1822 |        0
1158.92/1159.21	c 1158s |      20 |  1036779 |   793827 |    21289     77 |     1822 |        0
1160.92/1161.25	c 1160s |      20 |  1037580 |   794627 |    21289     78 |     1822 |        0
1162.92/1163.26	c 1162s |      20 |  1039390 |   796427 |    21289     78 |     1822 |        0
1165.02/1165.30	c 1164s |      20 |  1041698 |   798727 |    21289     78 |     1822 |        0
1167.02/1167.35	c 1166s |      20 |  1043710 |   800727 |    21289     78 |     1822 |        0
1169.02/1169.35	c 1168s |      20 |  1045714 |   802727 |    21289     78 |     1822 |        0
1171.12/1171.40	c 1171s |      20 |  1047426 |   804427 |    21289     78 |     1822 |        0
1173.11/1173.45	c 1173s |      20 |  1048835 |   805827 |    21289     78 |     1822 |        0
1175.62/1175.99	c 1175s |      20 |  1049936 |   806927 |    21289     79 |     1822 |        0
1177.71/1178.09	c 1177s |      20 |  1051041 |   808027 |    21289     79 |     1822 |        0
1179.81/1180.14	c 1179s |      20 |  1052646 |   809627 |    21289     79 |     1822 |        0
1181.90/1182.28	c 1181s |      20 |  1054353 |   811327 |    21289     79 |     1822 |        0
1184.00/1184.35	c 1183s |      20 |  1056391 |   812927 |    21289     79 |     1822 |        0
1186.10/1186.42	c 1186s |      20 |  1058351 |   814827 |    21289     79 |     1822 |        0
1188.20/1188.52	c 1188s |      20 |  1060596 |   816427 |    21289     79 |     1822 |        0
1190.30/1190.61	c 1190s |      20 |  1062883 |   818027 |    21289     79 |     1822 |        0
1192.30/1192.68	c 1192s |      20 |  1064678 |   819527 |    21289     79 |     1822 |        0
1195.80/1196.14	c 1195s |      20 |  1065481 |   820327 |    21289     80 |     1822 |        0
1197.90/1198.26	c 1197s |      20 |  1067191 |   822027 |    21289     80 |     1822 |        0
1200.00/1200.30	c 1199s |      20 |  1069228 |   823527 |    21289     80 |     1822 |        0
1202.00/1202.30	c 1201s |      20 |  1071748 |   825427 |    21289     80 |     1822 |        0
1204.00/1204.35	c 1203s |      20 |  1074257 |   827327 |    21289     80 |     1822 |        0
1206.20/1206.51	c 1206s |      20 |  1076253 |   828827 |    21289     80 |     1822 |        0
1208.20/1208.54	c 1208s |      20 |  1078460 |   830427 |    21289     80 |     1822 |        0
1210.20/1210.56	c 1210s |      20 |  1080421 |   831927 |    21289     80 |     1822 |        0
1212.19/1212.58	c 1212s |      20 |  1081325 |   832827 |    21289     81 |     1822 |        0
1214.39/1214.77	c 1214s |      20 |  1082660 |   834027 |    21289     81 |     1822 |        0
1216.49/1216.80	c 1216s |      20 |  1085403 |   836127 |    21289     81 |     1822 |        0
1218.49/1218.83	c 1218s |      20 |  1087602 |   837827 |    21289     81 |     1822 |        0
1220.59/1220.94	c 1220s |      20 |  1089935 |   839527 |    21289     81 |     1822 |        0
1222.59/1222.94	c 1222s |      20 |  1091665 |   841027 |    21289     81 |     1822 |        0
1224.69/1225.03	c 1224s |      20 |  1093763 |   842627 |    21289     81 |     1822 |        0
1226.69/1227.03	c 1226s |      20 |  1095879 |   844227 |    21289     81 |     1822 |        0
1230.60/1230.92	c 1230s |      20 |  1096387 |   844627 |    21289     81 |     1822 |        0
1241.18/1241.59	c 1241s |      20 |  1096493 |   844727 |    21289     81 |     1822 |        0
1243.58/1243.94	c 1243s |      20 |  1097503 |   845727 |    21289     82 |     1822 |        0
1245.78/1246.12	c 1245s |      20 |  1098709 |   846927 |    21289     82 |     1822 |        0
1247.78/1248.18	c 1247s |      20 |  1100514 |   848727 |    21289     82 |     1822 |        0
1249.88/1250.20	c 1249s |      20 |  1101622 |   849827 |    21289     82 |     1822 |        0
1251.88/1252.26	c 1251s |      20 |  1103237 |   851427 |    21289     82 |     1822 |        0
1253.98/1254.35	c 1253s |      20 |  1104644 |   852827 |    21289     82 |     1822 |        0
1256.08/1256.46	c 1256s |      20 |  1105948 |   854127 |    21289     82 |     1822 |        0
1258.18/1258.55	c 1258s |      20 |  1107255 |   855427 |    21289     82 |     1822 |        0
1260.28/1260.68	c 1260s |      20 |  1108555 |   856727 |    21289     82 |     1822 |        0
1262.37/1262.72	c 1262s |      20 |  1109758 |   857927 |    21289     82 |     1822 |        0
1265.17/1265.56	c 1265s |      20 |  1110565 |   858727 |    21289     83 |     1822 |        0
1267.27/1267.62	c 1267s |      20 |  1111762 |   859927 |    21289     83 |     1822 |        0
1269.27/1269.67	c 1269s |      20 |  1113372 |   861527 |    21289     83 |     1822 |        0
1271.37/1271.77	c 1271s |      20 |  1114776 |   862927 |    21289     83 |     1822 |        0
1274.07/1274.49	c 1274s |      20 |  1115885 |   864027 |    21289     83 |     1822 |        0
1276.17/1276.54	c 1276s |      20 |  1117987 |   866127 |    21289     83 |     1822 |        0
1278.27/1278.61	c 1278s |      20 |  1120196 |   868327 |    21289     83 |     1822 |        0
1280.37/1280.71	c 1280s |      20 |  1122410 |   870527 |    21289     83 |     1822 |        0
1282.38/1282.73	c 1282s |      20 |  1124014 |   872127 |    21289     84 |     1822 |        0
1284.47/1284.82	c 1284s |      20 |  1125924 |   874027 |    21289     84 |     1822 |        0
1286.57/1286.92	c 1286s |      20 |  1127729 |   875827 |    21289     84 |     1822 |        0
1291.26/1291.64	c 1291s |      20 |  1129240 |   877327 |    21289     84 |     1822 |        0
1293.37/1293.74	c 1293s |      20 |  1130443 |   878527 |    21289     84 |     1822 |        0
1295.47/1295.87	c 1295s |      20 |  1131758 |   879827 |    21289     84 |     1822 |        0
1297.46/1297.89	c 1297s |      20 |  1132967 |   881027 |    21289     84 |     1822 |        0
1299.66/1300.00	c 1299s |      20 |  1134271 |   882327 |    21289     84 |     1822 |        0
1301.76/1302.11	c 1301s |      20 |  1135578 |   883627 |    21289     84 |     1822 |        0
1304.46/1304.85	c 1304s |      20 |  1136485 |   884527 |    21289     85 |     1822 |        0
1306.46/1306.87	c 1306s |      20 |  1137596 |   885627 |    21289     85 |     1822 |        0
1308.55/1308.97	c 1308s |      20 |  1139003 |   887027 |    21289     85 |     1822 |        0
1310.55/1310.98	c 1310s |      20 |  1140105 |   888127 |    21289     85 |     1822 |        0
1313.25/1313.68	c 1313s |      20 |  1140611 |   888627 |    21289     85 |     1822 |        0
1315.45/1315.82	c 1315s |      20 |  1142120 |   890127 |    21289     85 |     1822 |        0
1317.45/1317.88	c 1317s |      20 |  1143431 |   891427 |    21289     85 |     1822 |        0
1319.55/1319.90	c 1319s |      20 |  1144746 |   892727 |    21289     85 |     1822 |        0
1321.64/1322.03	c 1321s |      20 |  1145948 |   893927 |    21289     85 |     1822 |        0
1323.64/1324.07	c 1323s |      20 |  1147955 |   895927 |    21289     85 |     1822 |        0
1325.64/1326.07	c 1325s |      20 |  1149566 |   897527 |    21289     86 |     1822 |        0
1327.74/1328.13	c 1327s |      20 |  1151165 |   899127 |    21289     86 |     1822 |        0
1330.24/1330.69	c 1330s |      20 |  1152473 |   900427 |    21289     86 |     1822 |        0
1332.34/1332.75	c 1332s |      20 |  1153775 |   901727 |    21289     86 |     1822 |        0
1334.44/1334.82	c 1334s |      20 |  1154979 |   902927 |    21289     86 |     1822 |        0
1336.44/1336.82	c 1336s |      20 |  1156085 |   904027 |    21289     86 |     1822 |        0
1338.54/1338.96	c 1338s |      20 |  1157189 |   905127 |    21289     86 |     1822 |        0
1340.54/1341.00	c 1340s |      20 |  1158397 |   906327 |    21289     86 |     1822 |        0
1354.54/1354.90	c 1354s |      20 |  1159507 |   907427 |    21289     86 |     1822 |        0
1356.64/1357.08	c 1356s |      20 |  1160509 |   908427 |    21289     86 |     1822 |        0
1358.84/1359.24	c 1358s |      20 |  1161512 |   909427 |    21289     86 |     1822 |        0
1361.64/1362.08	c 1361s |      20 |  1162517 |   910427 |    21289     87 |     1822 |        0
1363.75/1364.16	c 1363s |      20 |  1163729 |   911627 |    21289     87 |     1822 |        0
1365.84/1366.23	c 1365s |      20 |  1165233 |   913127 |    21289     87 |     1822 |        0
1367.94/1368.32	c 1367s |      20 |  1166143 |   914027 |    21289     87 |     1822 |        0
1370.04/1370.42	c 1370s |      20 |  1167251 |   915127 |    21289     87 |     1822 |        0
1372.14/1372.51	c 1372s |      20 |  1168253 |   916127 |    21289     87 |     1822 |        0
1374.24/1374.69	c 1374s |      20 |  1169362 |   917227 |    21289     87 |     1822 |        0
1376.44/1376.82	c 1376s |      20 |  1170469 |   918327 |    21289     87 |     1822 |        0
1378.44/1378.88	c 1378s |      20 |  1171574 |   919427 |    21289     87 |     1822 |        0
1380.63/1381.02	c 1380s |      20 |  1172575 |   920427 |    21289     87 |     1822 |        0
1382.63/1383.04	c 1382s |      20 |  1173385 |   921227 |    21289     87 |     1822 |        0
1384.64/1385.09	c 1384s |      20 |  1174190 |   922027 |    21289     87 |     1822 |        0
1386.84/1387.29	c 1386s |      20 |  1174987 |   922827 |    21289     87 |     1822 |        0
1389.53/1389.96	c 1389s |      20 |  1175489 |   923327 |    21289     88 |     1822 |        0
1391.63/1392.06	c 1391s |      20 |  1176796 |   924627 |    21289     88 |     1822 |        0
1400.32/1400.71	c 1400s |      20 |  1177603 |   925427 |    21289     88 |     1822 |        0
1402.32/1402.73	c 1402s |      20 |  1179115 |   926927 |    21289     88 |     1822 |        0
1404.43/1404.83	c 1404s |      20 |  1180733 |   928527 |    21289     88 |     1822 |        0
1406.42/1406.89	c 1406s |      20 |  1182144 |   929927 |    21289     88 |     1822 |        0
1408.52/1408.95	c 1408s |      20 |  1183444 |   931227 |    21289     88 |     1822 |        0
1410.62/1411.03	c 1410s |      20 |  1185672 |   933427 |    21289     88 |     1822 |        0
1412.62/1413.06	c 1412s |      20 |  1187577 |   935327 |    21289     88 |     1822 |        0
1414.72/1415.16	c 1414s |      20 |  1189184 |   936927 |    21289     89 |     1822 |        0
1417.71/1418.11	c 1417s |      20 |  1189993 |   937727 |    21289     89 |     1822 |        0
1419.82/1420.21	c 1419s |      20 |  1191699 |   939427 |    21289     89 |     1822 |        0
1421.81/1422.23	c 1421s |      20 |  1193202 |   940927 |    21289     89 |     1822 |        0
1423.81/1424.26	c 1423s |      20 |  1194613 |   942327 |    21289     89 |     1822 |        0
1425.91/1426.32	c 1425s |      20 |  1195920 |   943627 |    21289     89 |     1822 |        0
1428.01/1428.46	c 1428s |      20 |  1197225 |   944927 |    21289     89 |     1822 |        0
1440.11/1440.55	c 1440s |      20 |  1197433 |   945127 |    21289     89 |     1822 |        0
1442.30/1442.71	c 1442s |      20 |  1198541 |   946227 |    21289     89 |     1822 |        0
1444.30/1444.79	c 1444s |      20 |  1199541 |   947227 |    21289     89 |     1822 |        0
1446.50/1446.90	c 1446s |      20 |  1200644 |   948327 |    21289     89 |     1822 |        0
1448.80/1449.27	c 1448s |      20 |  1201547 |   949227 |    21289     90 |     1822 |        0
1451.00/1451.44	c 1451s |      20 |  1202752 |   950427 |    21289     90 |     1822 |        0
1454.11/1454.52	c 1454s |      20 |  1203658 |   951327 |    21289     90 |     1822 |        0
1456.11/1456.57	c 1456s |      20 |  1205063 |   952727 |    21289     90 |     1822 |        0
1458.21/1458.64	c 1458s |      20 |  1206571 |   954227 |    21289     90 |     1822 |        0
1460.21/1460.67	c 1460s |      20 |  1207876 |   955527 |    21289     90 |     1822 |        0
1462.40/1462.85	c 1462s |      20 |  1209085 |   956727 |    21289     90 |     1822 |        0
1464.40/1464.86	c 1464s |      20 |  1210193 |   957827 |    21289     90 |     1822 |        0
1466.60/1467.05	c 1466s |      20 |  1211199 |   958827 |    21289     90 |     1822 |        0
1468.80/1469.22	c 1468s |      20 |  1212208 |   959827 |    21289     90 |     1822 |        0
1470.80/1471.29	c 1470s |      20 |  1213114 |   960727 |    21289     90 |     1822 |        0
1473.00/1473.45	c 1473s |      20 |  1214023 |   961627 |    21289     90 |     1822 |        0
1475.90/1476.36	c 1475s |      20 |  1214524 |   962127 |    21289     91 |     1822 |        0
1478.00/1478.42	c 1478s |      20 |  1215725 |   963327 |    21289     91 |     1822 |        0
1486.19/1486.64	c 1486s |      20 |  1216035 |   963627 |    21289     91 |     1822 |        0
1488.19/1488.67	c 1488s |      20 |  1217438 |   965027 |    21289     91 |     1822 |        0
1490.20/1490.69	c 1490s |      20 |  1218745 |   966327 |    21289     91 |     1822 |        0
1492.29/1492.71	c 1492s |      20 |  1220053 |   967627 |    21289     91 |     1822 |        0
1494.39/1494.83	c 1494s |      20 |  1221560 |   969127 |    21289     91 |     1822 |        0
1496.49/1496.91	c 1496s |      20 |  1222661 |   970227 |    21289     91 |     1822 |        0
1498.49/1498.99	c 1498s |      20 |  1223566 |   971127 |    21289     91 |     1822 |        0
1500.59/1501.09	c 1500s |      20 |  1224566 |   972127 |    21289     91 |     1822 |        0
1502.79/1503.20	c 1502s |      20 |  1225774 |   973327 |    21289     91 |     1822 |        0
1504.89/1505.31	c 1504s |      20 |  1226778 |   974327 |    21289     91 |     1822 |        0
1507.09/1507.59	c 1507s |      20 |  1227480 |   975027 |    21289     92 |     1822 |        0
1509.18/1509.64	c 1509s |      20 |  1228991 |   976527 |    21289     92 |     1822 |        0
1511.28/1511.72	c 1511s |      20 |  1231396 |   978927 |    21289     92 |     1822 |        0
1513.38/1513.83	c 1513s |      20 |  1233204 |   980727 |    21289     92 |     1822 |        0
1515.58/1516.00	c 1515s |      20 |  1235218 |   982727 |    21289     92 |     1822 |        0
1517.58/1518.09	c 1517s |      20 |  1237025 |   984527 |    21289     92 |     1822 |        0
1519.68/1520.13	c 1519s |      20 |  1238634 |   986127 |    21289     92 |     1822 |        0
1521.78/1522.25	c 1521s |      20 |  1240243 |   987727 |    21289     92 |     1822 |        0
1523.88/1524.34	c 1523s |      20 |  1241643 |   989127 |    21289     93 |     1822 |        0
1540.98/1541.48	c 1541s |      20 |  1242956 |   990427 |    21289     93 |     1822 |        0
1543.18/1543.61	c 1543s |      20 |  1244364 |   991827 |    21289     93 |     1822 |        0
1545.19/1545.69	c 1545s |      20 |  1245770 |   993227 |    23418     93 |     1822 |        0
1547.39/1547.82	c 1547s |      20 |  1246979 |   994427 |    23418     93 |     1822 |        0
1549.59/1550.02	c 1549s |      20 |  1248078 |   995527 |    23418     93 |     1822 |        0
1551.58/1552.02	c 1551s |      20 |  1249085 |   996527 |    23418     93 |     1822 |        0
1553.58/1554.03	c 1553s |      20 |  1249984 |   997427 |    23418     93 |     1822 |        0
1555.68/1556.17	c 1555s |      20 |  1250993 |   998427 |    23418     93 |     1822 |        0
1557.68/1558.18	c 1557s |      20 |  1251996 |   999427 |    23418     93 |     1822 |        0
1559.18/1559.66	c 1559s |      21 |  1252923 |  1000345 |    23418     93 |     1822 |        0
1569.58/1570.08	c 1569s |      21 |  1253183 |  1000445 |    23418     94 |     1822 |        0
1571.58/1572.09	c 1571s |      21 |  1256380 |  1003545 |    23418     94 |     1822 |        0
1573.68/1574.16	c 1573s |      21 |  1259236 |  1006345 |    23418     94 |     1822 |        0
1575.78/1576.20	c 1575s |      21 |  1261446 |  1008445 |    23418     94 |     1822 |        0
1577.78/1578.24	c 1577s |      21 |  1263394 |  1010245 |    23418     94 |     1822 |        0
1579.88/1580.31	c 1579s |      21 |  1265270 |  1012045 |    23418     94 |     1822 |        0
1581.88/1582.34	c 1581s |      21 |  1266830 |  1013545 |    23418     95 |     1822 |        0
1583.88/1584.36	c 1583s |      21 |  1268192 |  1014845 |    23418     95 |     1822 |        0
1585.88/1586.39	c 1586s |      21 |  1269910 |  1016545 |    23418     95 |     1822 |        0
1588.08/1588.51	c 1588s |      21 |  1271710 |  1018145 |    23418     95 |     1822 |        0
1590.07/1590.60	c 1590s |      21 |  1273433 |  1019745 |    23418     95 |     1822 |        0
1592.27/1592.73	c 1592s |      21 |  1274995 |  1021245 |    23418     95 |     1822 |        0
1594.37/1594.81	c 1594s |      21 |  1276733 |  1022845 |    23418     95 |     1822 |        0
1596.37/1596.87	c 1596s |      21 |  1278261 |  1024345 |    23418     95 |     1822 |        0
1598.47/1598.93	c 1598s |      21 |  1279601 |  1025645 |    23418     95 |     1822 |        0
1600.47/1600.99	c 1600s |      21 |  1280519 |  1026545 |    23418     96 |     1822 |        0
1607.77/1608.29	c 1607s |      21 |  1280933 |  1026945 |    23418     96 |     1822 |        0
1609.97/1610.41	c 1610s |      21 |  1283100 |  1028945 |    23418     96 |     1822 |        0
1611.97/1612.44	c 1612s |      21 |  1285123 |  1030845 |    23418     96 |     1822 |        0
1613.96/1614.47	c 1614s |      21 |  1286870 |  1032545 |    23418     96 |     1822 |        0
1615.96/1616.49	c 1616s |      21 |  1288123 |  1033645 |    23418     96 |     1822 |        0
1618.06/1618.50	c 1618s |      21 |  1289895 |  1035145 |    23418     96 |     1822 |        0
1620.06/1620.52	c 1620s |      21 |  1291455 |  1036645 |    23418     96 |     1822 |        0
1622.17/1622.64	c 1622s |      21 |  1292999 |  1038145 |    23418     96 |     1822 |        0
1624.27/1624.71	c 1624s |      21 |  1293886 |  1038945 |    23418     97 |     1822 |        0
1626.26/1626.79	c 1626s |      21 |  1296285 |  1041245 |    23418     97 |     1822 |        0
1635.37/1635.80	c 1635s |      21 |  1297213 |  1042145 |    23418     97 |     1822 |        0
1637.36/1637.88	c 1637s |      21 |  1300432 |  1045245 |    23418     97 |     1822 |        0
1639.47/1639.93	c 1639s |      21 |  1303407 |  1048145 |    23418     97 |     1822 |        0
1641.47/1641.99	c 1641s |      21 |  1305658 |  1050345 |    23418     97 |     1822 |        0
1643.57/1644.02	c 1643s |      21 |  1307068 |  1051745 |    23418     98 |     1822 |        0
1647.47/1647.93	c 1647s |      21 |  1308606 |  1053245 |    23418     98 |     1822 |        0
1649.57/1650.02	c 1649s |      21 |  1310461 |  1055045 |    23418     98 |     1822 |        0
1651.56/1652.07	c 1651s |      21 |  1312392 |  1056945 |    23418     98 |     1822 |        0
1653.66/1654.14	c 1653s |      21 |  1314213 |  1058745 |    23418     98 |     1822 |        0
1655.66/1656.17	c 1655s |      21 |  1316739 |  1061245 |    23418     98 |     1822 |        0
1657.76/1658.21	c 1657s |      21 |  1318958 |  1063445 |    23418     98 |     1822 |        0
1659.86/1660.32	c 1659s |      21 |  1320065 |  1064545 |    23418     99 |     1822 |        0
1668.16/1668.67	c 1668s |      21 |  1321286 |  1065745 |    23418     99 |     1822 |        0
1670.26/1670.73	c 1670s |      21 |  1323895 |  1068245 |    23418     99 |     1822 |        0
1672.26/1672.78	c 1672s |      21 |  1326066 |  1070345 |    23418     99 |     1822 |        0
1674.36/1674.86	c 1674s |      21 |  1327995 |  1072245 |    23418     99 |     1822 |        0
1676.46/1676.90	c 1676s |      21 |  1329925 |  1073945 |    23418     99 |     1822 |        0
1678.46/1678.90	c 1678s |      21 |  1332090 |  1076045 |    23418     99 |     1822 |        0
1681.46/1681.97	c 1681s |      21 |  1333003 |  1076945 |    23418    100 |     1822 |        0
1683.46/1683.98	c 1683s |      21 |  1335467 |  1079345 |    23418    100 |     1822 |        0
1685.56/1686.05	c 1685s |      21 |  1337638 |  1081445 |    23418    100 |     1822 |        0
1688.25/1688.71	c 1688s |      21 |  1337862 |  1081645 |    23418    100 |     1822 |        0
1690.26/1690.73	c 1690s |      21 |  1340509 |  1084045 |    23418    100 |     1822 |        0
1692.25/1692.76	c 1692s |      21 |  1342679 |  1086145 |    23418    100 |     1822 |        0
1694.35/1694.82	c 1694s |      21 |  1344605 |  1088045 |    23418    100 |     1822 |        0
1696.65/1697.13	c 1696s |      21 |  1346178 |  1089545 |    23418    101 |     1822 |        0
1698.65/1699.14	c 1698s |      21 |  1347501 |  1090845 |    23418    101 |     1822 |        0
1703.76/1704.23	c 1703s |      21 |  1347761 |  1091045 |    23418    101 |     1822 |        0
1705.76/1706.26	c 1705s |      21 |  1350424 |  1093445 |    23418    101 |     1822 |        0
1707.76/1708.27	c 1707s |      21 |  1352654 |  1095645 |    23418    101 |     1822 |        0
1709.86/1710.30	c 1709s |      21 |  1354623 |  1097545 |    23418    101 |     1822 |        0
1711.86/1712.31	c 1711s |      21 |  1356281 |  1099145 |    23418    101 |     1822 |        0
1713.86/1714.38	c 1714s |      21 |  1357705 |  1100545 |    23418    101 |     1822 |        0
1715.86/1716.38	c 1716s |      21 |  1358845 |  1101645 |    23418    101 |     1822 |        0
1717.95/1718.42	c 1718s |      21 |  1362546 |  1104945 |    23418    102 |     1822 |        0
1722.05/1722.56	c 1722s |      21 |  1363123 |  1105445 |    23418    102 |     1822 |        0
1724.05/1724.58	c 1724s |      21 |  1366971 |  1108745 |    23418    102 |     1822 |        0
1726.05/1726.59	c 1726s |      21 |  1370198 |  1111345 |    23418    102 |     1822 |        0
1728.15/1728.66	c 1728s |      21 |  1373698 |  1114445 |    23418    102 |     1822 |        0
1730.25/1730.77	c 1730s |      21 |  1374484 |  1115145 |    23418    103 |     1822 |        0
1732.35/1732.82	c 1732s |      21 |  1377935 |  1118045 |    23418    103 |     1822 |        0
1734.36/1734.82	c 1734s |      21 |  1380984 |  1120545 |    23418    103 |     1822 |        0
1736.35/1736.86	c 1736s |      21 |  1382894 |  1122145 |    23418    103 |     1822 |        0
1738.45/1738.92	c 1738s |      21 |  1385268 |  1124245 |    23418    103 |     1822 |        0
1740.45/1740.96	c 1740s |      21 |  1387467 |  1126145 |    23418    103 |     1822 |        0
1743.06/1743.55	c 1743s |      21 |  1389463 |  1127845 |    23418    104 |     1822 |        0
1745.45/1745.98	c 1745s |      21 |  1391276 |  1129345 |    23418    104 |     1822 |        0
1747.55/1748.08	c 1747s |      21 |  1394297 |  1131845 |    23418    104 |     1822 |        0
1751.75/1752.27	c 1751s |      21 |  1395526 |  1132845 |    23418    104 |     1822 |        0
1753.85/1754.32	c 1753s |      21 |  1398942 |  1135845 |    23418    104 |     1822 |        0
1755.85/1756.37	c 1755s |      21 |  1401717 |  1138345 |    23418    104 |     1822 |        0
1757.94/1758.43	c 1758s |      21 |  1403664 |  1140045 |    23418    104 |     1822 |        0
1762.64/1763.18	c 1762s |      21 |  1404398 |  1140645 |    23418    105 |     1822 |        0
1764.74/1765.26	c 1764s |      21 |  1407968 |  1143745 |    23418    105 |     1822 |        0
1766.74/1767.28	c 1766s |      21 |  1410538 |  1145945 |    23418    105 |     1822 |        0
1770.44/1771.00	c 1770s |      21 |  1412660 |  1147645 |    23418    105 |     1822 |        0
1772.54/1773.04	c 1772s |      21 |  1414572 |  1149345 |    23418    105 |     1822 |        0
1774.64/1775.11	c 1774s |      21 |  1416467 |  1151045 |    23418    105 |     1822 |        0
1776.74/1777.24	c 1776s |      21 |  1418814 |  1153145 |    23418    105 |     1822 |        0
1778.75/1779.26	c 1778s |      21 |  1419599 |  1153845 |    23418    106 |     1822 |        0
1780.85/1781.33	c 1780s |      21 |  1423118 |  1156845 |    23418    106 |     1822 |        0
1782.85/1783.36	c 1782s |      21 |  1425716 |  1158945 |    23418    106 |     1822 |        0
1784.85/1785.37	c 1784s |      21 |  1428040 |  1160845 |    23418    106 |     1822 |        0
1786.95/1787.47	c 1787s |      21 |  1430402 |  1162945 |    23418    106 |     1822 |        0
1789.04/1789.59	c 1789s |      21 |  1432786 |  1165045 |    23418    106 |     1822 |        0
1796.34/1796.87	c 1796s |      21 |  1433567 |  1165745 |    23418    106 |     1822 |        0
1799.34/1799.86	c 1799s |      21 |  1433906 |  1166045 |    23418    107 |     1822 |        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-4100801-1466217399/watcher-4100801-1466217399 -o /tmp/evaluation-result-4100801-1466217399/solver-4100801-1466217399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100801-1466217399.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.21 2.18 3/179 981
/proc/meminfo: memFree=29472444/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=395844 CPUtime=0 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 1417 0 0 0 0 0 0 0 20 0 4 0 23786395 405344256 2289 33554432000 4194304 16246674 140737292779744 140737292779168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 99729 2298 442 2943 0 96623 0
[pid=981/tid=982] ppid=978 vsize=679492 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 695799808 3398 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=684612 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 701042688 3417 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=688708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23786395 705236992 3434 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.30 2.21 2.18 3/179 981
/proc/meminfo: memFree=29472444/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 29861 0 0 0 5 3 0 0 20 0 4 0 23786395 1249447936 30672 33554432000 4194304 16246674 140737292779744 140737292779056 13008268 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 305041 30681 834 2943 0 301935 0
[pid=981/tid=982] ppid=978 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1249447936 30689 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1249447936 30697 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23786395 1249447936 30704 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.30 2.21 2.18 3/179 981
/proc/meminfo: memFree=29472444/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 42721 0 0 0 14 5 0 0 20 0 4 0 23786395 1339625472 43531 33554432000 4194304 16246674 140737292779744 140737292779056 4225157 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 327057 43531 836 2943 0 323951 0
[pid=981/tid=982] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 43531 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 43531 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 43531 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300506 s]
/proc/loadavg: 2.30 2.21 2.18 3/179 981
/proc/meminfo: memFree=29472444/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1308228 CPUtime=0.29 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 54026 0 0 0 22 7 0 0 20 0 4 0 23786395 1339625472 54836 33554432000 4194304 16246674 140737292779744 140737292779056 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 327057 54836 843 2943 0 323951 0
[pid=981/tid=982] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 54836 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 54836 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1339625472 54836 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1308228

[startup+0.700452 s]
/proc/loadavg: 2.30 2.21 2.18 3/179 981
/proc/meminfo: memFree=29472444/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 65872 0 0 0 60 9 0 0 20 0 4 0 23786395 1345916928 66682 33554432000 4194304 16246674 140737292779744 140737292779056 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 66686 890 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 66690 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 66692 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 66694 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.30 2.21 2.18 4/183 985
/proc/meminfo: memFree=28953660/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 188259 0 0 0 122 26 0 0 20 0 4 0 23786395 1345916928 189069 33554432000 4194304 16246674 140737292779744 140737292761600 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 189071 892 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 189072 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 189073 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 189074 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.30 2.21 2.18 4/183 985
/proc/meminfo: memFree=28391940/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 269538 0 0 0 272 37 0 0 20 0 4 0 23786395 1345916928 270348 33554432000 4194304 16246674 140737292779744 140737292762744 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 270348 895 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270348 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270348 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270348 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 985
/proc/meminfo: memFree=28390340/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 269791 0 0 0 592 37 0 0 20 0 4 0 23786395 1345916928 270601 33554432000 4194304 16246674 140737292779744 140737292761664 5600140 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 270601 901 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270601 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270601 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270601 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 985
/proc/meminfo: memFree=28363240/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 269793 0 0 0 1231 37 0 0 20 0 4 0 23786395 1345916928 270603 33554432000 4194304 16246674 140737292779744 140737292761664 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 270603 903 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270603 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270603 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270603 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 985
/proc/meminfo: memFree=28363004/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 269794 0 0 0 2511 37 0 0 20 0 4 0 23786395 1345916928 270604 33554432000 4194304 16246674 140737292779744 140737292761664 12478241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 328593 270604 904 2943 0 325487 0
[pid=981/tid=982] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270604 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270604 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1345916928 270604 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 985
/proc/meminfo: memFree=28357504/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 271074 0 0 0 5070 38 0 0 20 0 4 0 23786395 1351159808 271884 33554432000 4194304 16246674 140737292779744 140737292761664 5599912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 329873 271884 904 2943 0 326767 0
[pid=981/tid=982] ppid=978 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1351159808 271884 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1351159808 271884 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1351159808 271884 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 986
/proc/meminfo: memFree=28337144/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1339972 CPUtime=102.28 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 276194 0 0 0 10189 39 0 0 20 0 4 0 23786395 1372131328 277004 33554432000 4194304 16246674 140737292779744 140737292761664 5824959 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 334993 277004 904 2943 0 331887 0
[pid=981/tid=982] ppid=978 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1372131328 277004 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1372131328 277004 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1372131328 277004 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1454660

[startup+1362.3 s]
/proc/loadavg: 2.49 2.33 2.22 3/183 1017
/proc/meminfo: memFree=27902764/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1454660 CPUtime=1361.94 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305160 0 0 0 136133 61 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140737292778920 5677784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 363665 305679 904 2943 0 360559 0
[pid=981/tid=982] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1454660

[startup+1422.3 s]
/proc/loadavg: 2.46 2.35 2.23 3/184 1022
/proc/meminfo: memFree=27882600/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1454660 CPUtime=1421.91 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305194 0 0 0 142129 62 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140737292761664 5712628 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 363665 305679 904 2943 0 360559 0
[pid=981/tid=982] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1454660 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1489571840 305679 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1454660

[startup+1482.3 s]
/proc/loadavg: 2.40 2.35 2.24 3/184 1046
/proc/meminfo: memFree=27880828/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1481.89 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305733 0 0 0 148125 64 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778920 4220894 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1456708

[startup+1542.31 s]
/proc/loadavg: 2.41 2.36 2.25 3/183 1098
/proc/meminfo: memFree=28273968/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1541.89 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 154122 67 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292761664 5673435 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1456708

[startup+1602.3 s]
/proc/loadavg: 2.37 2.34 2.25 3/183 1099
/proc/meminfo: memFree=28273104/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1601.87 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 160119 68 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778840 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1456708

[startup+1662.3 s]
/proc/loadavg: 2.40 2.37 2.26 4/183 1100
/proc/meminfo: memFree=28273376/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1661.86 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 166116 70 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1456708

[startup+1722.3 s]
/proc/loadavg: 2.47 2.39 2.28 3/183 1102
/proc/meminfo: memFree=28273400/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1721.85 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 172113 72 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778840 5808428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1456708

[startup+1782.3 s]
/proc/loadavg: 2.34 2.36 2.27 3/183 1103
/proc/meminfo: memFree=28273424/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1781.85 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 178111 74 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292761664 5523154 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1456708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.35 2.27 3/183 1103
/proc/meminfo: memFree=28273784/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1800.04 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 179929 75 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778920 13874759 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1456708

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.35 2.27 3/183 1103
/proc/meminfo: memFree=28273784/32872528 swapFree=1200228/1314692
[pid=981] ppid=978 vsize=1456708 CPUtime=1800.04 cores=0,2,4,6
/proc/981/stat : 981 (toysat) R 978 981 31224 0 -1 4202496 305739 0 0 0 179929 75 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140737292778920 13874759 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/981/statm: 364177 306191 904 2943 0 361071 0
[pid=981/tid=982] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/982/stat : 982 (toysat) S 978 981 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054473190640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=981/tid=983] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/983/stat : 983 (toysat) S 978 981 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054387207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=981/tid=984] ppid=978 vsize=1456708 CPUtime=0 cores=0,2,4,6
/proc/981/task/984/stat : 984 (toysat) S 978 981 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23786395 1491668992 306191 33554432000 4194304 16246674 140737292779744 140054376733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1456708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.3
CPU system time (s): 0.752885
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1456708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.752885
maximum resident set size= 1224764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305739
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= 374
involuntary context switches= 1832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3298 second user time and 13.256 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 04:36:39
IDJOB=4100801
IDBENCH=1663
IDSOLVER=2542
FILE ID=node131/4100801-1466217399
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100801-1466217399/watcher-4100801-1466217399 -o /tmp/evaluation-result-4100801-1466217399/solver-4100801-1466217399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100801-1466217399.opb

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

MD5SUM BENCH= 76d897d8437070b9cbeb866c2620c3bc
RANDOM SEED=92148198

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29472972 kB
Buffers:          101600 kB
Cached:           122552 kB
SwapCached:         1508 kB
Active:          1221208 kB
Inactive:         129948 kB
Active(anon):    1126460 kB
Inactive(anon):     2680 kB
Active(file):      94748 kB
Inactive(file):   127268 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2440672 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             600688 kB
SReclaimable:      44744 kB
SUnreclaim:       555944 kB
KernelStack:        1504 kB
PageTables:         8660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2581656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71672 MiB
End job on node131 at 2016-06-18 05:06:39