Trace number 4098059

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
MD5SUM60625a8f4cfa2ca63ddafc7817561234
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.83896
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7656
Total number of constraints37502
Number of constraints which are clauses37497
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 110
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:21:46+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-4098059-1466119306.opb"]
0.00/0.01	c use --random-gen="2773560729 1944200061 3810714080 4224922094 2110971199 1657461449 2459724887 1789763296 2191052697 1544516898 645764838 646424488 3624200142 1035974181 2825290424 2494852922 2962582114 2161437107 2744912011 455042437 51408026 4276233208 563561480 2128977416 570349455 1093144888 1646897193 2445813859 677165369 3084289074 1373686114 3999614244 335095738 1041837990 1270317506 1380232344 3414662798 3160049054 2270576422 1934242016 3556734129 3046006603 744275591 1341766810 2545316141 1671228258 3972082710 467767814 1756262584 808524131 3052822797 2799930654 2783407792 2453996531 1005929868 1840806765 989513079 2864927525 3372578347 1643949483 831213413 4250135654 3774286034 1227183510 2382580677 2251408369 3675772983 2014017031 3426122507 2458869432 4137762107 886040506 986987283 2606435491 1625430560 3199640980 1724031906 915829660 3300236955 1993225310 3755160953 530497058 3457167159 847298306 2846375686 1691890056 3369120135 145345403 639883232 1789029029 2838909019 736278711 2882200781 1522259336 3279014036 311120160 3942229002 2105389192 1892473142 2381748623 2058642595 4061075011 207099286 3765211451 3183060438 102171587 3330775449 3477445674 2606208405 4034799187 755478499 2201902425 783268090 702905535 2949071174 3533708290 1661436987 1867589291 4124920393 2168012302 2296136799 657545549 2866237377 3011147340 1558631295 1016844069 932081938 97640291 648468069 2422615962 1075490296 1245151934 2801420351 628623528 1115178260 247084969 2194253727 1326408576 1079795882 2082824339 1520155194 996791995 4085757777 1665641087 2054034899 3464504668 2929852137 1731050433 2169509897 3318543626 3739700327 2621551451 2185270405 698865136 2123998674 1358631285 377253425 3283477102 3294145589 2535026931 4142426336 1526612268 736769674 2350962599 3796872615 3229037916 918104341 1301318024 1435585565 430366487 2720848380 3941354656 1481071682 1069542211 1292294025 2721250925 2848730786 227735494 4006101363 2918610522 690524220 4294503292 1711861424 3927586223 3786304082 65786586 4267847975 2641482795 1913467349 1650914547 1939484685 1609567832 476314720 3286966608 33857163 4064474596 2406174007 1464255792 464365893 1737410954 1496479030 2127399138 134632449 1327626578 712062484 94445188 455323729 2164111084 793781626 2452522260 1997531235 3219284119 448152228 790445862 569356368 955415283 3112197606 1549120079 642024222 2651163611 4214135629 4031632631 3771599728 1074933954 1604291577 3337747487 20585123 1689242385 3212168871 3348705903 3105591425 3781766389 3703244041 1680492006 2253885281 3311946957 3088141752 1034474694 2201800683 1833257739 3734651540 3629678577 2912594477 2414322404 1286697494 3401501109 886892110 884441710 1724161541 2542626645 3901845620 2173453468 2621896915 3230688906 1187563305 724481547 255 362436" option to reproduce the execution
0.89/0.92	c #vars 7656
0.89/0.92	c #constraints 37502
2.49/2.51	c Solving starts ...
2.49/2.51	c ============================[ Search Statistics ]============================
2.49/2.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.49/2.51	c       |         |          |          |    Limit     GC | Var      | Constra 
2.49/2.51	c =============================================================================
2.49/2.52	c  0.0s |       0 |        0 |        0 |    15051      0 |        5 |        0
3.19/3.21	c  0.7s |       1 |      976 |      100 |    15051      0 |        5 |      752
3.99/4.02	c  1.5s |       2 |     2755 |      250 |    16557      0 |        5 |      752
5.09/5.18	c  2.7s |       3 |     7242 |      475 |    18213      0 |        5 |      752
6.79/6.84	c  4.3s |       4 |    10295 |      813 |    20035      0 |        5 |      752
8.89/8.93	c  6.4s |       4 |    13162 |     1213 |    22039      0 |        5 |      752
9.38/9.47	c  7.0s |       5 |    14147 |     1320 |    22039      0 |        5 |      752
11.58/11.61	c  9.1s |       5 |    17558 |     1720 |    24243      0 |        5 |      752
12.98/13.00	c 10.5s |       6 |    20991 |     2081 |    26668      0 |        5 |      752
15.28/15.37	c 12.9s |       6 |    24102 |     2581 |    26668      0 |        5 |      752
17.48/17.58	c 15.1s |       6 |    26779 |     3181 |    26668      0 |        5 |      752
17.69/17.73	c 15.2s |       7 |    27098 |     3223 |    29335      0 |        5 |      752
19.98/20.04	c 17.5s |       7 |    31451 |     3723 |    29335      0 |        5 |      752
22.18/22.24	c 19.7s |       7 |    35362 |     4123 |    29335      0 |        5 |      752
24.48/24.53	c 22.0s |       7 |    39337 |     4623 |    29335      0 |        5 |      752
25.68/25.74	c 23.2s |       8 |    40951 |     4936 |    32269      0 |        5 |      752
27.98/28.02	c 25.5s |       8 |    45485 |     5336 |    32269      0 |        5 |      752
30.28/30.38	c 27.9s |       8 |    50756 |     5836 |    32269      0 |        5 |      752
32.48/32.58	c 30.1s |       8 |    53808 |     6436 |    32269      0 |        5 |      752
34.78/34.82	c 32.3s |       8 |    60277 |     6936 |    32269      0 |        5 |      752
37.18/37.22	c 34.7s |       8 |    64609 |     7336 |    32269      0 |        5 |      752
38.08/38.14	c 35.6s |       9 |    66413 |     7506 |    35496      0 |        5 |      752
40.48/40.55	c 38.0s |       9 |    70904 |     7906 |    35496      0 |        5 |      752
42.48/42.57	c 40.1s |       9 |    73303 |     8306 |    35496      0 |        5 |      752
44.58/44.66	c 42.1s |       9 |    76585 |     8806 |    35496      0 |        5 |      752
46.78/46.87	c 44.4s |       9 |    81878 |     9406 |    35496      0 |        5 |      752
48.88/48.97	c 46.5s |       9 |    87608 |     9806 |    35496      0 |        5 |      752
51.08/51.15	c 48.6s |       9 |    91774 |    10206 |    35496      0 |        5 |      752
53.18/53.21	c 50.7s |       9 |    94933 |    10706 |    35496      0 |        5 |      752
55.28/55.39	c 52.9s |       9 |    97668 |    11306 |    39046      0 |        5 |      752
55.58/55.62	c 53.1s |      10 |    98133 |    11361 |    39046      0 |        5 |      752
57.78/57.84	c 55.3s |      10 |   100907 |    11761 |    39046      0 |        5 |      752
60.07/60.12	c 57.6s |      10 |   104511 |    12161 |    39046      0 |        5 |      752
62.27/62.36	c 59.8s |      10 |   110669 |    12561 |    39046      0 |        5 |      752
64.47/64.51	c 62.0s |      10 |   114708 |    13061 |    39046      0 |        5 |      752
66.67/66.74	c 64.2s |      10 |   117990 |    13661 |    39046      0 |        5 |      752
68.97/69.04	c 66.5s |      10 |   122902 |    14161 |    39046      0 |        5 |      752
71.27/71.33	c 68.8s |      10 |   127158 |    14561 |    39046      0 |        5 |      752
73.47/73.55	c 71.0s |      10 |   133378 |    15061 |    39046      0 |        5 |      752
75.47/75.59	c 73.1s |      10 |   137257 |    15661 |    39046      0 |        5 |      752
77.77/77.84	c 75.3s |      10 |   141296 |    16161 |    39046      0 |        5 |      752
79.87/79.96	c 77.4s |      10 |   145584 |    16561 |    39046      0 |        5 |      752
82.07/82.12	c 79.6s |      10 |   150658 |    16961 |    39046      0 |        5 |      752
83.07/83.18	c 80.7s |      11 |   153020 |    17144 |    42951      0 |        5 |      752
85.27/85.35	c 82.8s |      11 |   158368 |    17544 |    42951      0 |        5 |      752
87.47/87.51	c 85.0s |      11 |   162395 |    18044 |    42951      0 |        5 |      752
89.57/89.62	c 87.1s |      11 |   167123 |    18744 |    42951      0 |        5 |      752
91.57/91.68	c 89.2s |      11 |   173326 |    19144 |    42951      0 |        5 |      752
94.07/94.19	c 91.7s |      11 |   177149 |    19644 |    42951      0 |        5 |      752
96.27/96.33	c 93.8s |      11 |   180405 |    20144 |    42951      0 |        5 |      752
98.57/98.65	c 96.1s |      11 |   184004 |    20844 |    42951      0 |        5 |      752
100.97/101.09	c 98.6s |      11 |   191066 |    21344 |    42951      0 |        5 |      752
103.38/103.42	c  100s |      11 |   196276 |    21844 |    42951      0 |        5 |      752
105.37/105.44	c  102s |      11 |   199363 |    22444 |    42951      0 |        5 |      752
107.47/107.59	c  105s |      11 |   204057 |    22944 |    42951      0 |        5 |      752
109.57/109.63	c  107s |      11 |   207977 |    23344 |    42951      0 |        5 |      752
111.67/111.79	c  109s |      11 |   212152 |    23944 |    42951      0 |        5 |      752
113.77/113.81	c  111s |      11 |   215958 |    24444 |    42951      0 |        5 |      752
115.97/116.00	c  113s |      11 |   219405 |    24844 |    42951      0 |        5 |      752
118.27/118.36	c  115s |      11 |   227199 |    25744 |    47247      0 |        5 |      752
118.67/118.71	c  116s |      12 |   227922 |    25819 |    47247      0 |        5 |      752
120.77/120.85	c  118s |      12 |   230976 |    26219 |    47247      0 |        5 |      752
122.97/123.10	c  120s |      12 |   235249 |    26719 |    47247      0 |        5 |      752
125.07/125.12	c  122s |      12 |   238640 |    27319 |    47247      0 |        5 |      752
127.06/127.19	c  124s |      12 |   244778 |    27819 |    47247      0 |        5 |      752
129.36/129.43	c  126s |      12 |   250068 |    28219 |    47247      0 |        5 |      752
131.36/131.46	c  128s |      12 |   256324 |    28619 |    47247      0 |        5 |      752
133.36/133.50	c  130s |      12 |   260197 |    29019 |    47247      0 |        5 |      752
135.76/135.80	c  133s |      12 |   265014 |    29619 |    47247      0 |        5 |      752
137.86/137.99	c  135s |      12 |   269466 |    30119 |    47247      0 |        5 |      752
140.16/140.22	c  137s |      12 |   274005 |    30519 |    47247      0 |        5 |      752
142.66/142.78	c  140s |      12 |   278284 |    30919 |    47247      0 |        5 |      752
144.77/144.82	c  142s |      12 |   281740 |    31319 |    47247      0 |        5 |      752
146.97/147.06	c  144s |      12 |   284708 |    31919 |    47247      0 |        5 |      752
149.37/149.41	c  146s |      12 |   288796 |    32519 |    47247      0 |        5 |      752
151.37/151.42	c  148s |      12 |   291936 |    32919 |    47247      0 |        5 |      752
153.37/153.43	c  150s |      12 |   296761 |    33319 |    47247      0 |        5 |      752
155.47/155.56	c  153s |      12 |   300229 |    33919 |    47247      0 |        5 |      752
157.87/157.92	c  155s |      12 |   304529 |    34419 |    47247      0 |        5 |      752
160.07/160.10	c  157s |      12 |   312557 |    34919 |    47247      0 |        5 |      752
162.07/162.16	c  159s |      12 |   316265 |    35319 |    47247      0 |        5 |      752
164.47/164.50	c  161s |      12 |   320370 |    36019 |    47247      0 |        5 |      752
166.77/166.84	c  164s |      12 |   325265 |    36519 |    47247      0 |        5 |      752
168.77/168.88	c  166s |      12 |   328363 |    36919 |    47247      0 |        5 |      752
170.87/170.97	c  168s |      12 |   331632 |    37519 |    47247      0 |        5 |      752
172.97/173.09	c  170s |      12 |   335918 |    38019 |    47247      0 |        5 |      752
175.37/175.46	c  172s |      12 |   340614 |    38519 |    47247      0 |        5 |      752
176.87/176.95	c  174s |      13 |   343671 |    38832 |    51972      0 |        5 |      752
179.17/179.22	c  176s |      13 |   348753 |    39232 |    51972      0 |        5 |      752
181.17/181.28	c  178s |      13 |   353014 |    39732 |    51972      0 |        5 |      752
183.27/183.39	c  180s |      13 |   356523 |    40332 |    51972      0 |        5 |      752
185.66/185.74	c  183s |      13 |   362035 |    40832 |    51972      0 |        5 |      752
187.86/187.99	c  185s |      13 |   365955 |    41332 |    51972      0 |        5 |      752
190.06/190.12	c  187s |      13 |   368904 |    41932 |    51972      0 |        5 |      752
192.47/192.51	c  189s |      13 |   374116 |    42432 |    51972      0 |        5 |      752
194.67/194.75	c  192s |      13 |   378579 |    43132 |    51972      0 |        5 |      752
196.87/196.96	c  194s |      13 |   383953 |    43632 |    51972      0 |        5 |      752
199.17/199.27	c  196s |      13 |   387739 |    44132 |    51972      0 |        5 |      752
201.27/201.30	c  198s |      13 |   391740 |    44832 |    51972      0 |        5 |      752
203.36/203.44	c  200s |      13 |   397459 |    45332 |    51972      0 |        5 |      752
205.46/205.52	c  203s |      13 |   401776 |    46032 |    51972      0 |        5 |      752
207.56/207.60	c  205s |      13 |   405419 |    46632 |    51972      0 |        5 |      752
209.56/209.67	c  207s |      13 |   409299 |    47132 |    51972      0 |        5 |      752
211.86/211.92	c  209s |      13 |   413385 |    47732 |    51972      0 |        5 |      752
214.06/214.17	c  211s |      13 |   417098 |    48232 |    51972      0 |        5 |      752
216.26/216.31	c  213s |      13 |   421454 |    48932 |    51972      0 |        5 |      752
218.36/218.48	c  215s |      13 |   424278 |    49532 |    51972      0 |        5 |      752
220.66/220.72	c  218s |      13 |   429222 |    50132 |    51972      0 |        5 |      752
222.86/222.95	c  220s |      13 |   434844 |    50932 |    51972      0 |        5 |      752
224.96/225.03	c  222s |      13 |   438430 |    51632 |    51972      0 |        5 |      752
227.06/227.10	c  224s |      13 |   441266 |    52232 |    51972      0 |        5 |      752
229.26/229.36	c  226s |      13 |   444290 |    52932 |    51972      0 |        5 |      752
231.36/231.47	c  228s |      13 |   448318 |    53532 |    51972      0 |        5 |      752
233.66/233.76	c  231s |      13 |   451320 |    54332 |    51972      0 |        5 |      752
235.96/236.03	c  233s |      13 |   454272 |    55032 |    51972      0 |        5 |      752
238.06/238.15	c  235s |      13 |   456497 |    55732 |    51972      0 |        5 |      752
240.06/240.18	c  237s |      13 |   458709 |    56232 |    51972      1 |        5 |      752
242.16/242.23	c  239s |      13 |   460761 |    57032 |    51972      1 |        5 |      752
245.36/245.42	c  242s |      13 |   463391 |    58032 |    57170      1 |        5 |      752
246.75/246.82	c  244s |      14 |   466473 |    58352 |    57170      1 |        5 |      752
248.85/248.94	c  246s |      14 |   471743 |    58652 |    57170      1 |        5 |      752
250.95/251.09	c  248s |      14 |   475581 |    59052 |    57170      1 |        5 |      752
253.06/253.12	c  250s |      14 |   480212 |    59552 |    57170      1 |        5 |      752
258.04/258.15	c  255s |      14 |   481451 |    59752 |    57170      1 |        5 |      752
260.14/260.20	c  257s |      14 |   486167 |    60252 |    57170      1 |        5 |      752
262.24/262.39	c  259s |      14 |   490993 |    60652 |    57170      1 |        5 |      752
264.54/264.66	c  262s |      14 |   495591 |    61152 |    57170      1 |        5 |      752
266.94/267.04	c  264s |      14 |   499792 |    61852 |    57170      1 |        5 |      752
269.34/269.44	c  266s |      14 |   505470 |    62352 |    57170      1 |        5 |      752
271.65/271.76	c  269s |      14 |   509830 |    62752 |    57170      1 |        5 |      752
273.85/273.96	c  271s |      14 |   513784 |    63352 |    57170      1 |        5 |      752
275.94/276.09	c  273s |      14 |   518367 |    63852 |    57170      1 |        5 |      752
278.25/278.31	c  275s |      14 |   523591 |    64252 |    57170      1 |        5 |      752
280.45/280.59	c  278s |      14 |   527181 |    64652 |    57170      1 |        5 |      752
282.75/282.82	c  280s |      14 |   530842 |    65352 |    57170      1 |        5 |      752
284.95/285.08	c  282s |      14 |   535150 |    65852 |    57170      1 |        5 |      752
287.15/287.23	c  284s |      14 |   540944 |    66252 |    57170      1 |        5 |      752
289.25/289.37	c  286s |      14 |   544196 |    66852 |    57170      1 |        5 |      752
291.45/291.51	c  288s |      14 |   548467 |    67352 |    57170      1 |        5 |      752
293.44/293.53	c  291s |      14 |   552761 |    67752 |    57170      1 |        5 |      752
295.64/295.71	c  293s |      14 |   558582 |    68252 |    57170      1 |        5 |      752
297.74/297.80	c  295s |      14 |   563442 |    68952 |    57170      1 |        5 |      752
300.14/300.26	c  297s |      14 |   569144 |    69452 |    57170      1 |        5 |      752
302.34/302.45	c  299s |      14 |   573257 |    69852 |    57170      1 |        5 |      752
304.44/304.54	c  302s |      14 |   576148 |    70352 |    57170      1 |        5 |      752
306.64/306.77	c  304s |      14 |   579233 |    70852 |    57170      1 |        5 |      752
308.74/308.85	c  306s |      14 |   582139 |    71452 |    57170      1 |        5 |      752
310.94/311.08	c  308s |      14 |   585522 |    71952 |    57170      1 |        5 |      752
313.14/313.29	c  310s |      14 |   589298 |    72352 |    57170      1 |        5 |      752
315.34/315.46	c  312s |      14 |   592343 |    72952 |    57170      1 |        5 |      752
317.44/317.56	c  315s |      14 |   597708 |    73452 |    57170      1 |        5 |      752
319.94/320.06	c  317s |      14 |   603007 |    73952 |    57170      1 |        5 |      752
322.04/322.16	c  319s |      14 |   607449 |    74652 |    57170      1 |        5 |      752
324.33/324.42	c  321s |      14 |   611527 |    75152 |    57170      1 |        5 |      752
326.33/326.42	c  323s |      14 |   614663 |    75752 |    57170      1 |        5 |      752
328.63/328.71	c  326s |      14 |   618371 |    76252 |    57170      1 |        5 |      752
330.63/330.76	c  328s |      14 |   621492 |    76652 |    57170      1 |        5 |      752
332.93/333.04	c  330s |      14 |   625682 |    77352 |    57170      1 |        5 |      752
334.93/335.07	c  332s |      14 |   629322 |    77952 |    57170      1 |        5 |      752
337.03/337.19	c  334s |      14 |   634044 |    78452 |    57170      1 |        5 |      752
339.23/339.40	c  336s |      14 |   637834 |    79152 |    57170      1 |        5 |      752
341.43/341.58	c  339s |      14 |   641495 |    79852 |    57170      1 |        5 |      752
343.73/343.82	c  341s |      14 |   643634 |    80452 |    57170      1 |        5 |      752
345.93/346.06	c  343s |      14 |   647075 |    81152 |    57170      1 |        5 |      752
348.23/348.33	c  345s |      14 |   650133 |    81852 |    57170      1 |        5 |      752
350.53/350.62	c  348s |      14 |   652949 |    82552 |    57170      1 |        5 |      752
352.63/352.79	c  350s |      14 |   655559 |    83252 |    57170      1 |        5 |      752
354.83/354.93	c  352s |      14 |   658945 |    84152 |    57170      1 |        5 |      752
357.03/357.17	c  354s |      14 |   660431 |    84852 |    57170      1 |        5 |      752
359.23/359.33	c  356s |      14 |   663545 |    85352 |    57170      1 |        5 |      752
361.53/361.66	c  359s |      14 |   666387 |    86052 |    57170      1 |        5 |      752
363.73/363.89	c  361s |      14 |   669689 |    86552 |    57170      1 |        5 |      752
366.13/366.20	c  363s |      14 |   672345 |    87152 |    62888      1 |        5 |      752
368.33/368.43	c  365s |      14 |   676172 |    87552 |    62888      1 |        5 |      752
368.73/368.80	c  366s |      15 |   676640 |    87632 |    62888      1 |        5 |      752
370.93/371.08	c  368s |      15 |   680934 |    87932 |    62888      1 |        5 |      752
373.33/373.45	c  370s |      15 |   686543 |    88332 |    62888      1 |        5 |      752
375.43/375.55	c  373s |      15 |   689405 |    88732 |    62888      1 |        5 |      752
377.53/377.62	c  375s |      15 |   692703 |    89332 |    62888      1 |        5 |      752
380.03/380.10	c  377s |      15 |   698449 |    89832 |    62888      1 |        5 |      752
382.43/382.52	c  380s |      15 |   702145 |    90232 |    62888      1 |        5 |      752
384.53/384.66	c  382s |      15 |   705033 |    90632 |    62888      1 |        5 |      752
386.73/386.83	c  384s |      15 |   707632 |    91132 |    62888      1 |        5 |      752
389.22/389.30	c  386s |      15 |   711693 |    91632 |    62888      1 |        5 |      752
391.32/391.47	c  388s |      15 |   714833 |    91932 |    62888      2 |        5 |      752
393.42/393.51	c  390s |      15 |   717438 |    92232 |    62888      2 |        5 |      752
395.42/395.52	c  393s |      15 |   720158 |    92732 |    62888      2 |        5 |      752
397.92/398.04	c  395s |      15 |   724468 |    93332 |    62888      2 |        5 |      752
400.02/400.15	c  397s |      15 |   728479 |    93732 |    62888      2 |        5 |      752
402.02/402.16	c  399s |      15 |   734061 |    94132 |    62888      2 |        5 |      752
404.32/404.47	c  401s |      15 |   739843 |    94632 |    62888      2 |        5 |      752
406.62/406.71	c  404s |      15 |   744858 |    95332 |    62888      2 |        5 |      752
409.13/409.29	c  406s |      15 |   750358 |    95832 |    62888      2 |        5 |      752
411.33/411.46	c  408s |      15 |   755866 |    96332 |    62888      2 |        5 |      752
413.53/413.69	c  411s |      15 |   759570 |    96932 |    62888      2 |        5 |      752
415.83/415.96	c  413s |      15 |   763265 |    97332 |    62888      2 |        5 |      752
418.12/418.21	c  415s |      15 |   769037 |    98032 |    62888      2 |        5 |      752
420.52/420.62	c  418s |      15 |   773241 |    98532 |    62888      2 |        5 |      752
422.72/422.86	c  420s |      15 |   777125 |    98932 |    62888      2 |        5 |      752
424.92/425.07	c  422s |      15 |   781079 |    99432 |    62888      2 |        5 |      752
426.92/427.09	c  424s |      15 |   784963 |   100032 |    62888      2 |        5 |      752
429.42/429.51	c  426s |      15 |   790165 |   100532 |    62888      2 |        5 |      752
431.72/431.84	c  429s |      15 |   795109 |   101232 |    62888      2 |        5 |      752
434.12/434.27	c  431s |      15 |   799421 |   101732 |    62888      2 |        5 |      752
436.42/436.53	c  434s |      15 |   803231 |   102432 |    62888      2 |        5 |      752
438.72/438.80	c  436s |      15 |   807147 |   102932 |    62888      2 |        5 |      752
440.72/440.84	c  438s |      15 |   810376 |   103532 |    62888      2 |        5 |      752
442.82/442.99	c  440s |      15 |   815901 |   104032 |    62888      2 |        5 |      752
444.92/445.09	c  442s |      15 |   819842 |   104732 |    62888      2 |        5 |      752
447.32/447.43	c  444s |      15 |   822904 |   105332 |    62888      2 |        5 |      752
449.62/449.74	c  447s |      15 |   826459 |   105832 |    62888      2 |        5 |      752
451.72/451.87	c  449s |      15 |   829094 |   106432 |    62888      2 |        5 |      752
453.82/453.93	c  451s |      15 |   833228 |   106932 |    62888      2 |        5 |      752
455.91/456.09	c  453s |      15 |   837501 |   107632 |    62888      2 |        5 |      752
458.11/458.22	c  455s |      15 |   841286 |   108232 |    62888      2 |        5 |      752
460.21/460.39	c  457s |      15 |   845322 |   108832 |    62888      2 |        5 |      752
462.31/462.46	c  459s |      15 |   848696 |   109532 |    62888      2 |        5 |      752
464.61/464.75	c  462s |      15 |   852331 |   110132 |    62888      2 |        5 |      752
466.71/466.84	c  464s |      15 |   855146 |   110832 |    62888      2 |        5 |      752
468.81/468.96	c  466s |      15 |   858461 |   111432 |    62888      2 |        5 |      752
470.91/471.09	c  468s |      15 |   861175 |   112132 |    62888      2 |        5 |      752
473.11/473.22	c  470s |      15 |   863924 |   112832 |    62888      2 |        5 |      752
475.12/475.25	c  472s |      15 |   866417 |   113532 |    62888      2 |        5 |      752
477.21/477.33	c  474s |      15 |   868785 |   114332 |    62888      2 |        5 |      752
479.41/479.57	c  477s |      15 |   871750 |   114932 |    62888      2 |        5 |      752
481.51/481.63	c  479s |      15 |   876514 |   115332 |    62888      2 |        5 |      752
483.51/483.66	c  481s |      15 |   877980 |   115732 |    62888      2 |        5 |      752
486.12/486.21	c  483s |      15 |   882821 |   116132 |    62888      2 |        5 |      752
488.32/488.49	c  485s |      15 |   886833 |   116532 |    62888      2 |        5 |      752
490.72/490.81	c  488s |      15 |   891515 |   117232 |    62888      2 |        5 |      752
493.12/493.25	c  490s |      15 |   897600 |   117732 |    62888      2 |        5 |      752
495.32/495.43	c  492s |      15 |   904167 |   118132 |    62888      2 |        5 |      752
497.72/497.84	c  495s |      15 |   908792 |   118532 |    62888      2 |        5 |      752
499.92/500.07	c  497s |      15 |   911936 |   118932 |    62888      2 |        5 |      752
502.02/502.14	c  499s |      15 |   915981 |   119432 |    62888      2 |        5 |      752
504.52/504.68	c  502s |      15 |   921426 |   120032 |    62888      2 |        5 |      752
506.62/506.75	c  504s |      15 |   926211 |   120432 |    62888      2 |        5 |      752
508.61/508.76	c  506s |      15 |   929303 |   120832 |    62888      2 |        5 |      752
510.91/511.05	c  508s |      15 |   934735 |   121532 |    62888      2 |        5 |      752
512.91/513.09	c  510s |      15 |   937729 |   122032 |    62888      2 |        5 |      752
515.11/515.21	c  512s |      15 |   942136 |   122532 |    62888      2 |        5 |      752
517.31/517.49	c  514s |      15 |   946694 |   122932 |    62888      2 |        5 |      752
519.51/519.60	c  517s |      15 |   950705 |   123432 |    62888      2 |        5 |      752
521.71/521.81	c  519s |      15 |   954197 |   123932 |    62888      2 |        5 |      752
523.81/523.97	c  521s |      15 |   957324 |   124332 |    62888      2 |        5 |      752
525.91/526.09	c  523s |      15 |   959008 |   124832 |    62888      2 |        5 |      752
528.41/528.57	c  526s |      15 |   963239 |   125232 |    62888      3 |        5 |      752
530.81/530.91	c  528s |      15 |   966773 |   125632 |    62888      3 |        5 |      752
533.01/533.10	c  530s |      15 |   972075 |   126132 |    62888      3 |        5 |      752
535.21/535.32	c  532s |      15 |   977782 |   126932 |    62888      3 |        5 |      752
537.41/537.56	c  535s |      15 |   982187 |   127632 |    62888      3 |        5 |      752
539.81/539.91	c  537s |      15 |   986144 |   128132 |    62888      3 |        5 |      752
541.91/542.00	c  539s |      15 |   992269 |   128932 |    62888      3 |        5 |      752
544.01/544.17	c  541s |      15 |   997155 |   129532 |    62888      3 |        5 |      752
546.11/546.28	c  543s |      15 |  1002810 |   130232 |    62888      3 |        5 |      752
548.21/548.37	c  545s |      15 |  1008538 |   131032 |    69177      3 |        5 |      752
549.41/549.56	c  547s |      16 |  1011725 |   131552 |    69177      3 |        5 |      752
551.61/551.76	c  549s |      16 |  1017447 |   132352 |    69177      3 |        5 |      752
553.71/553.80	c  551s |      16 |  1022700 |   133052 |    69177      3 |        5 |      752
555.71/555.82	c  553s |      16 |  1026954 |   133752 |    69177      3 |        5 |      752
557.71/557.86	c  555s |      16 |  1031112 |   134452 |    69177      3 |        5 |      752
559.81/559.93	c  557s |      16 |  1034632 |   135252 |    69177      3 |        5 |      752
561.81/561.99	c  559s |      16 |  1039100 |   136052 |    69177      3 |        5 |      752
563.91/564.06	c  561s |      16 |  1042704 |   136852 |    69177      3 |        5 |      752
566.11/566.28	c  563s |      16 |  1045718 |   137752 |    69177      3 |        5 |      752
568.31/568.44	c  565s |      16 |  1049034 |   138752 |    69177      3 |        5 |      752
601.19/601.33	c  598s |      16 |  1051019 |   139352 |    69177      3 |        5 |      752
603.29/603.47	c  600s |      16 |  1054867 |   139752 |    69177      3 |        5 |      752
605.39/605.59	c  603s |      16 |  1058818 |   140252 |    69177      3 |        5 |      752
607.59/607.75	c  605s |      16 |  1062045 |   140852 |    69177      3 |        5 |      752
609.79/609.99	c  607s |      16 |  1065934 |   141252 |    69177      3 |        5 |      752
612.09/612.20	c  609s |      16 |  1072370 |   141652 |    69177      3 |        5 |      752
614.39/614.54	c  612s |      16 |  1076225 |   142052 |    69177      3 |        5 |      752
616.59/616.75	c  614s |      16 |  1078918 |   142652 |    69177      3 |        5 |      752
618.89/619.03	c  616s |      16 |  1082925 |   143152 |    69177      3 |        5 |      752
621.09/621.20	c  618s |      16 |  1086562 |   143552 |    69177      3 |        5 |      752
623.49/623.61	c  621s |      16 |  1090872 |   144052 |    69177      3 |        5 |      752
625.69/625.83	c  623s |      16 |  1093623 |   144652 |    69177      3 |        5 |      752
627.79/627.95	c  625s |      16 |  1096986 |   145052 |    69177      3 |        5 |      752
629.99/630.19	c  627s |      16 |  1101009 |   145452 |    69177      3 |        5 |      752
632.49/632.62	c  630s |      16 |  1104321 |   145852 |    69177      3 |        5 |      752
634.69/634.82	c  632s |      16 |  1107272 |   146352 |    69177      3 |        5 |      752
636.79/636.96	c  634s |      16 |  1109715 |   146852 |    69177      3 |        5 |      752
639.09/639.27	c  636s |      16 |  1114029 |   147352 |    69177      3 |        5 |      752
641.29/641.41	c  638s |      16 |  1118153 |   147752 |    69177      3 |        5 |      752
643.29/643.44	c  640s |      16 |  1121627 |   148252 |    69177      3 |        5 |      752
645.39/645.51	c  642s |      16 |  1125500 |   148852 |    69177      3 |        5 |      752
647.49/647.63	c  645s |      16 |  1129579 |   149252 |    69177      3 |        5 |      752
649.69/649.84	c  647s |      16 |  1133133 |   149652 |    69177      3 |        5 |      752
652.08/652.22	c  649s |      16 |  1135361 |   150252 |    69177      3 |        5 |      752
654.18/654.37	c  651s |      16 |  1137755 |   150652 |    69177      3 |        5 |      752
656.38/656.53	c  654s |      16 |  1142162 |   151052 |    69177      3 |        5 |      752
658.68/658.86	c  656s |      16 |  1145989 |   151552 |    69177      3 |        5 |      752
660.88/661.05	c  658s |      16 |  1150075 |   152052 |    69177      3 |        5 |      752
663.08/663.26	c  660s |      16 |  1153466 |   152452 |    69177      3 |        5 |      752
665.39/665.59	c  663s |      16 |  1157118 |   152952 |    69177      3 |        5 |      752
667.69/667.86	c  665s |      16 |  1160618 |   153552 |    69177      3 |        5 |      752
669.89/670.08	c  667s |      16 |  1163693 |   154052 |    69177      3 |        5 |      752
671.99/672.14	c  669s |      16 |  1166681 |   154652 |    69177      3 |        5 |      752
674.48/674.62	c  672s |      16 |  1170454 |   155152 |    69177      3 |        5 |      752
676.78/676.99	c  674s |      16 |  1175416 |   155652 |    69177      3 |        5 |      752
678.98/679.11	c  676s |      16 |  1177807 |   156152 |    69177      3 |        5 |      752
681.28/681.46	c  678s |      16 |  1180844 |   156652 |    69177      3 |        5 |      752
683.68/683.83	c  681s |      16 |  1183472 |   157252 |    69177      3 |        5 |      752
685.88/686.08	c  683s |      16 |  1187691 |   157752 |    69177      3 |        5 |      752
688.08/688.27	c  685s |      16 |  1190249 |   158252 |    69177      3 |        5 |      752
690.08/690.28	c  687s |      16 |  1192252 |   158752 |    69177      3 |        5 |      752
692.48/692.61	c  690s |      16 |  1195367 |   159252 |    69177      3 |        5 |      752
694.48/694.63	c  692s |      16 |  1197296 |   159752 |    69177      3 |        5 |      752
696.88/697.06	c  694s |      16 |  1200686 |   160252 |    69177      3 |        5 |      752
699.18/699.34	c  696s |      16 |  1203764 |   160852 |    69177      3 |        5 |      752
701.29/701.43	c  698s |      16 |  1206744 |   161352 |    69177      3 |        5 |      752
703.39/703.54	c  701s |      16 |  1208973 |   161852 |    69177      3 |        5 |      752
705.69/705.88	c  703s |      16 |  1211805 |   162452 |    69177      3 |        5 |      752
708.09/708.21	c  705s |      16 |  1214356 |   163052 |    69177      3 |        5 |      752
710.19/710.35	c  707s |      16 |  1216216 |   163552 |    69177      3 |        5 |      752
712.38/712.58	c  710s |      16 |  1217871 |   164052 |    69177      3 |        5 |      752
714.48/714.64	c  712s |      16 |  1220221 |   164552 |    69177      3 |        5 |      752
716.68/716.82	c  714s |      16 |  1222171 |   165052 |    69177      3 |        5 |      752
718.88/719.01	c  716s |      16 |  1224065 |   165652 |    69177      3 |        5 |      752
721.68/721.86	c  719s |      16 |  1225754 |   166252 |    69177      4 |        5 |      752
723.79/723.94	c  721s |      16 |  1227059 |   166852 |    69177      4 |        5 |      752
725.99/726.19	c  723s |      16 |  1227941 |   167252 |    69177      4 |        5 |      752
732.18/732.35	c  729s |      16 |  1228962 |   167352 |    69177      4 |        5 |      752
734.48/734.62	c  732s |      16 |  1231547 |   167752 |    69177      4 |        5 |      752
736.68/736.82	c  734s |      16 |  1233792 |   168352 |    69177      4 |        5 |      752
738.97/739.11	c  736s |      16 |  1236686 |   168852 |    69177      4 |        5 |      752
740.97/741.17	c  738s |      16 |  1240388 |   169252 |    69177      4 |        5 |      752
743.48/743.65	c  741s |      16 |  1243927 |   169652 |    69177      4 |        5 |      752
745.87/746.02	c  743s |      16 |  1248025 |   170052 |    69177      4 |        5 |      752
748.27/748.47	c  745s |      16 |  1251960 |   170552 |    69177      4 |        5 |      752
750.57/750.70	c  748s |      16 |  1254717 |   171152 |    69177      4 |        5 |      752
752.77/752.91	c  750s |      16 |  1259348 |   171552 |    69177      4 |        5 |      752
755.27/755.40	c  752s |      16 |  1264187 |   171952 |    69177      4 |        5 |      752
757.57/757.79	c  755s |      16 |  1268090 |   172452 |    69177      4 |        5 |      752
759.77/759.99	c  757s |      16 |  1272484 |   173152 |    69177      4 |        5 |      752
761.97/762.14	c  759s |      16 |  1276220 |   173552 |    69177      4 |        5 |      752
764.38/764.55	c  762s |      16 |  1281743 |   173952 |    69177      4 |        5 |      752
766.87/767.07	c  764s |      16 |  1286579 |   174352 |    69177      4 |        5 |      752
768.88/769.09	c  766s |      16 |  1288802 |   174852 |    69177      4 |        5 |      752
770.97/771.19	c  768s |      16 |  1291831 |   175352 |    69177      4 |        5 |      752
773.57/773.74	c  771s |      16 |  1295811 |   175852 |    69177      4 |        5 |      752
775.77/775.98	c  773s |      16 |  1299691 |   176252 |    69177      4 |        5 |      752
778.27/778.40	c  775s |      16 |  1303077 |   176652 |    69177      4 |        5 |      752
780.57/780.76	c  778s |      16 |  1309145 |   177052 |    69177      4 |        5 |      752
782.77/782.95	c  780s |      16 |  1313458 |   177452 |    69177      4 |        5 |      752
784.76/784.97	c  782s |      16 |  1317122 |   178052 |    69177      4 |        5 |      752
787.36/787.54	c  785s |      16 |  1322889 |   178652 |    69177      4 |        5 |      752
789.77/789.95	c  787s |      16 |  1327247 |   179052 |    69177      4 |        5 |      752
791.76/791.96	c  789s |      16 |  1329820 |   179452 |    69177      4 |        5 |      752
794.17/794.31	c  791s |      16 |  1334715 |   180152 |    69177      4 |        5 |      752
796.27/796.44	c  793s |      16 |  1337060 |   180552 |    69177      4 |        5 |      752
798.86/799.03	c  796s |      16 |  1341595 |   180952 |    69177      4 |        5 |      752
801.16/801.39	c  798s |      16 |  1344620 |   181552 |    69177      4 |        5 |      752
803.66/803.87	c  801s |      16 |  1348363 |   182052 |    69177      4 |        5 |      752
805.86/806.08	c  803s |      16 |  1352151 |   182452 |    69177      4 |        5 |      752
808.26/808.41	c  805s |      16 |  1356029 |   182852 |    69177      4 |        5 |      752
810.36/810.54	c  808s |      16 |  1360660 |   183352 |    69177      4 |        5 |      752
812.36/812.57	c  810s |      16 |  1363985 |   183952 |    69177      4 |        5 |      752
814.66/814.89	c  812s |      16 |  1366926 |   184352 |    69177      4 |        5 |      752
816.96/817.15	c  814s |      16 |  1371316 |   184752 |    69177      4 |        5 |      752
819.16/819.39	c  816s |      16 |  1374599 |   185152 |    69177      4 |        5 |      752
821.25/821.45	c  818s |      16 |  1379858 |   185752 |    69177      4 |        5 |      752
823.45/823.64	c  821s |      16 |  1383763 |   186252 |    69177      4 |        5 |      752
825.55/825.75	c  823s |      16 |  1389283 |   186652 |    69177      4 |        5 |      752
827.56/827.78	c  825s |      16 |  1392963 |   187052 |    69177      4 |        5 |      752
829.76/829.92	c  827s |      16 |  1395982 |   187652 |    69177      4 |        5 |      752
831.96/832.13	c  829s |      16 |  1400193 |   188152 |    69177      4 |        5 |      752
834.06/834.29	c  831s |      16 |  1402563 |   188752 |    69177      4 |        5 |      752
836.56/836.79	c  834s |      16 |  1405336 |   189252 |    69177      4 |        5 |      752
838.76/838.92	c  836s |      16 |  1408724 |   189652 |    69177      4 |        5 |      752
841.06/841.29	c  838s |      16 |  1412002 |   190352 |    69177      4 |        5 |      752
843.46/843.66	c  841s |      16 |  1417089 |   190852 |    69177      4 |        5 |      752
845.66/845.85	c  843s |      16 |  1420372 |   191252 |    69177      4 |        5 |      752
847.76/847.94	c  845s |      16 |  1423595 |   191752 |    69177      4 |        5 |      752
850.06/850.30	c  847s |      16 |  1426313 |   192252 |    69177      4 |        5 |      752
852.36/852.56	c  850s |      16 |  1429308 |   192652 |    69177      4 |        5 |      752
854.96/855.10	c  852s |      16 |  1432436 |   193252 |    69177      4 |        5 |      752
856.95/857.17	c  854s |      16 |  1435365 |   193652 |    69177      4 |        5 |      752
859.06/859.28	c  856s |      16 |  1437672 |   194152 |    69177      4 |        5 |      752
861.35/861.58	c  859s |      16 |  1441552 |   194652 |    69177      4 |        5 |      752
863.75/863.92	c  861s |      16 |  1444252 |   195252 |    69177      4 |        5 |      752
865.95/866.17	c  863s |      16 |  1447491 |   195852 |    69177      4 |        5 |      752
868.45/868.63	c  866s |      16 |  1450629 |   196352 |    76095      4 |        5 |      752
870.55/870.75	c  868s |      16 |  1453688 |   196852 |    76095      4 |        5 |      752
872.75/872.93	c  870s |      17 |  1456883 |   197432 |    76095      4 |        5 |      752
874.95/875.15	c  872s |      17 |  1459561 |   197832 |    76095      4 |        5 |      752
877.05/877.25	c  874s |      17 |  1462926 |   198432 |    76095      4 |        5 |      752
879.15/879.34	c  876s |      17 |  1466245 |   199032 |    76095      4 |        5 |      752
881.55/881.79	c  879s |      17 |  1469866 |   199732 |    76095      4 |        5 |      752
883.85/884.01	c  881s |      17 |  1472465 |   200332 |    76095      4 |        5 |      752
885.95/886.12	c  883s |      17 |  1475319 |   201032 |    76095      4 |        5 |      752
888.15/888.32	c  885s |      17 |  1478092 |   201632 |    76095      4 |        5 |      752
890.35/890.53	c  888s |      17 |  1480404 |   202332 |    76095      4 |        5 |      752
892.55/892.75	c  890s |      17 |  1482858 |   203132 |    76095      4 |        5 |      752
894.85/895.07	c  892s |      17 |  1486046 |   203732 |    76095      4 |        5 |      752
897.45/897.69	c  895s |      17 |  1490603 |   204132 |    76095      4 |        5 |      752
899.54/899.79	c  897s |      17 |  1493989 |   204532 |    76095      4 |        5 |      752
901.64/901.85	c  899s |      17 |  1496603 |   204932 |    76095      4 |        5 |      752
904.24/904.47	c  901s |      17 |  1501430 |   205532 |    76095      4 |        5 |      752
906.64/906.81	c  904s |      17 |  1508288 |   205932 |    76095      4 |        5 |      752
909.55/909.76	c  907s |      17 |  1511446 |   206132 |    76095      5 |        5 |      752
911.85/912.08	c  909s |      17 |  1513213 |   206232 |    76095      5 |        5 |      752
914.34/914.50	c  911s |      17 |  1517676 |   206632 |    76095      5 |        5 |      752
916.54/916.74	c  914s |      17 |  1521184 |   207032 |    76095      5 |        5 |      752
918.94/919.10	c  916s |      17 |  1526243 |   207532 |    76095      5 |        5 |      752
921.14/921.30	c  918s |      17 |  1528176 |   208032 |    76095      5 |        5 |      752
923.24/923.44	c  920s |      17 |  1532083 |   208432 |    76095      5 |        5 |      752
925.64/925.89	c  923s |      17 |  1537651 |   208932 |    76095      5 |        5 |      752
927.94/928.13	c  925s |      17 |  1540363 |   209532 |    76095      5 |        5 |      752
930.14/930.31	c  927s |      17 |  1544017 |   209932 |    76095      5 |        5 |      752
932.34/932.55	c  930s |      17 |  1548129 |   210332 |    76095      5 |        5 |      752
934.44/934.60	c  932s |      17 |  1551409 |   210732 |    76095      5 |        5 |      752
936.64/936.80	c  934s |      17 |  1555794 |   211432 |    76095      5 |        5 |      752
954.83/955.00	c  952s |      17 |  1561333 |   211932 |    76095      5 |        5 |      752
957.13/957.36	c  954s |      17 |  1564751 |   212332 |    76095      5 |        5 |      752
959.13/959.37	c  956s |      17 |  1568335 |   212732 |    76095      5 |        5 |      752
961.53/961.79	c  959s |      17 |  1571910 |   213432 |    76095      5 |        5 |      752
964.03/964.27	c  961s |      17 |  1576589 |   213932 |    76095      5 |        5 |      752
966.13/966.35	c  963s |      17 |  1579878 |   214332 |    76095      5 |        5 |      752
968.42/968.67	c  966s |      17 |  1583166 |   214932 |    76095      5 |        5 |      752
970.52/970.70	c  968s |      17 |  1587981 |   215332 |    76095      5 |        5 |      752
972.82/973.01	c  970s |      17 |  1592761 |   215732 |    76095      5 |        5 |      752
974.82/975.01	c  972s |      17 |  1595561 |   216132 |    76095      5 |        5 |      752
976.82/977.02	c  974s |      17 |  1598563 |   216632 |    76095      5 |        5 |      752
979.22/979.42	c  976s |      17 |  1603027 |   217232 |    76095      5 |        5 |      752
981.22/981.48	c  978s |      17 |  1606647 |   217632 |    76095      5 |        5 |      752
983.42/983.63	c  981s |      17 |  1608841 |   218232 |    76095      5 |        5 |      752
985.62/985.84	c  983s |      17 |  1611108 |   218732 |    76095      5 |        5 |      752
987.82/988.00	c  985s |      17 |  1614028 |   219132 |    76095      5 |        5 |      752
990.22/990.47	c  987s |      17 |  1618749 |   219632 |    76095      5 |        5 |      752
992.32/992.50	c  989s |      17 |  1621688 |   220232 |    76095      5 |        5 |      752
994.42/994.62	c  992s |      17 |  1624781 |   220632 |    76095      5 |        5 |      752
996.53/996.74	c  994s |      17 |  1627322 |   221232 |    76095      5 |        5 |      752
998.73/998.96	c  996s |      17 |  1630896 |   221732 |    76095      5 |        5 |      752
1000.83/1001.08	c  998s |      17 |  1634073 |   222332 |    76095      5 |        5 |      752
1003.02/1003.22	c 1000s |      17 |  1638673 |   222832 |    76095      5 |        5 |      752
1005.12/1005.37	c 1002s |      17 |  1642181 |   223332 |    76095      5 |        5 |      752
1007.22/1007.48	c 1004s |      17 |  1644238 |   223932 |    76095      5 |        5 |      752
1009.52/1009.78	c 1007s |      17 |  1648391 |   224432 |    76095      5 |        5 |      752
1011.82/1012.06	c 1009s |      17 |  1653592 |   225132 |    76095      5 |        5 |      752
1014.21/1014.41	c 1011s |      17 |  1658012 |   225832 |    76095      5 |        5 |      752
1016.41/1016.61	c 1014s |      17 |  1660853 |   226332 |    76095      5 |        5 |      752
1018.52/1018.73	c 1016s |      17 |  1664687 |   227032 |    76095      5 |        5 |      752
1020.72/1020.98	c 1018s |      17 |  1667658 |   227632 |    76095      5 |        5 |      752
1022.91/1023.12	c 1020s |      17 |  1670186 |   228232 |    76095      5 |        5 |      752
1025.21/1025.49	c 1022s |      17 |  1673501 |   228932 |    76095      5 |        5 |      752
1027.31/1027.59	c 1025s |      17 |  1676271 |   229532 |    76095      5 |        5 |      752
1029.31/1029.60	c 1027s |      17 |  1679187 |   230132 |    76095      5 |        5 |      752
1031.50/1031.77	c 1029s |      17 |  1681504 |   230832 |    76095      5 |        5 |      752
1033.60/1033.86	c 1031s |      17 |  1684565 |   231532 |    76095      5 |        5 |      752
1035.70/1035.99	c 1033s |      17 |  1687456 |   232332 |    76095      5 |        5 |      752
1037.80/1038.06	c 1035s |      17 |  1689300 |   233132 |    76095      5 |        5 |      752
1040.10/1040.34	c 1037s |      17 |  1693256 |   233732 |    76095      5 |        5 |      752
1042.40/1042.68	c 1040s |      17 |  1697181 |   234332 |    76095      5 |        5 |      752
1044.50/1044.72	c 1042s |      17 |  1701270 |   234732 |    76095      5 |        5 |      752
1047.11/1047.37	c 1044s |      17 |  1704605 |   235132 |    76095      5 |        5 |      752
1049.80/1050.07	c 1047s |      17 |  1707967 |   235532 |    76095      5 |        5 |      752
1052.20/1052.45	c 1049s |      17 |  1711261 |   235932 |    76095      5 |        5 |      752
1054.29/1054.59	c 1052s |      17 |  1713831 |   236432 |    76095      5 |        5 |      752
1056.69/1056.97	c 1054s |      17 |  1717916 |   236832 |    76095      5 |        5 |      752
1058.99/1059.24	c 1056s |      17 |  1723442 |   237232 |    76095      5 |        5 |      752
1061.09/1061.39	c 1058s |      17 |  1725704 |   237532 |    76095      5 |        5 |      752
1063.29/1063.57	c 1061s |      17 |  1730157 |   237932 |    76095      5 |        5 |      752
1065.39/1065.64	c 1063s |      17 |  1734432 |   238432 |    76095      5 |        5 |      752
1067.99/1068.21	c 1065s |      17 |  1739043 |   239032 |    76095      5 |        5 |      752
1070.39/1070.68	c 1068s |      17 |  1744380 |   239432 |    76095      5 |        5 |      752
1072.78/1073.00	c 1070s |      17 |  1749146 |   239832 |    76095      5 |        5 |      752
1074.78/1075.08	c 1072s |      17 |  1753211 |   240332 |    76095      5 |        5 |      752
1077.18/1077.49	c 1074s |      17 |  1756870 |   240832 |    76095      5 |        5 |      752
1079.38/1079.66	c 1077s |      17 |  1761275 |   241232 |    76095      5 |        5 |      752
1081.78/1082.02	c 1079s |      17 |  1766284 |   241632 |    76095      5 |        5 |      752
1084.28/1084.56	c 1082s |      17 |  1772097 |   242132 |    76095      5 |        5 |      752
1086.68/1086.93	c 1084s |      17 |  1774270 |   242632 |    76095      5 |        5 |      752
1088.98/1089.25	c 1086s |      17 |  1778424 |   243132 |    76095      5 |        5 |      752
1090.98/1091.27	c 1088s |      17 |  1783032 |   243532 |    76095      5 |        5 |      752
1093.37/1093.65	c 1091s |      17 |  1786900 |   244132 |    76095      5 |        5 |      752
1095.67/1095.93	c 1093s |      17 |  1790722 |   244532 |    76095      5 |        5 |      752
1098.27/1098.53	c 1096s |      17 |  1794685 |   244932 |    76095      5 |        5 |      752
1100.37/1100.62	c 1098s |      17 |  1799143 |   245332 |    76095      5 |        5 |      752
1102.56/1102.81	c 1100s |      17 |  1801280 |   245832 |    76095      5 |        5 |      752
1105.06/1105.39	c 1102s |      17 |  1803273 |   246132 |    76095      6 |        5 |      752
1107.36/1107.66	c 1105s |      17 |  1807348 |   246532 |    76095      6 |        5 |      752
1109.56/1109.83	c 1107s |      17 |  1811028 |   247032 |    76095      6 |        5 |      752
1111.87/1112.11	c 1109s |      17 |  1814280 |   247632 |    76095      6 |        5 |      752
1114.07/1114.32	c 1111s |      17 |  1817468 |   248032 |    76095      6 |        5 |      752
1116.16/1116.46	c 1113s |      17 |  1819727 |   248532 |    76095      6 |        5 |      752
1118.36/1118.68	c 1116s |      17 |  1823362 |   249032 |    76095      6 |        5 |      752
1120.56/1120.85	c 1118s |      17 |  1826018 |   249632 |    76095      6 |        5 |      752
1122.55/1122.86	c 1120s |      17 |  1829288 |   250032 |    76095      6 |        5 |      752
1124.65/1124.98	c 1122s |      17 |  1832288 |   250432 |    76095      6 |        5 |      752
1126.95/1127.21	c 1124s |      17 |  1835320 |   251032 |    76095      6 |        5 |      752
1128.95/1129.29	c 1126s |      17 |  1838040 |   251632 |    76095      6 |        5 |      752
1131.05/1131.32	c 1128s |      17 |  1842286 |   252132 |    76095      6 |        5 |      752
1133.15/1133.49	c 1130s |      17 |  1847469 |   252632 |    76095      6 |        5 |      752
1135.25/1135.57	c 1133s |      17 |  1849541 |   253132 |    76095      6 |        5 |      752
1137.55/1137.89	c 1135s |      17 |  1852742 |   253632 |    76095      6 |        5 |      752
1139.75/1140.00	c 1137s |      17 |  1855778 |   254232 |    76095      6 |        5 |      752
1141.94/1142.26	c 1139s |      17 |  1859457 |   254832 |    76095      6 |        5 |      752
1144.04/1144.38	c 1141s |      17 |  1862327 |   255532 |    76095      6 |        5 |      752
1146.14/1146.43	c 1143s |      17 |  1864802 |   256032 |    76095      6 |        5 |      752
1148.25/1148.57	c 1146s |      17 |  1866939 |   256632 |    76095      6 |        5 |      752
1150.45/1150.71	c 1148s |      17 |  1868939 |   257232 |    76095      6 |        5 |      752
1152.64/1152.97	c 1150s |      17 |  1872921 |   257932 |    76095      6 |        5 |      752
1154.74/1155.01	c 1152s |      17 |  1876463 |   258732 |    76095      6 |        5 |      752
1156.94/1157.23	c 1154s |      17 |  1879917 |   259532 |    76095      6 |        5 |      752
1159.03/1159.37	c 1156s |      17 |  1882541 |   260332 |    76095      6 |        5 |      752
1161.13/1161.49	c 1158s |      17 |  1884638 |   261232 |    76095      6 |        5 |      752
1163.83/1164.13	c 1161s |      17 |  1887726 |   261532 |    76095      6 |        5 |      752
1165.83/1166.14	c 1163s |      17 |  1889845 |   261832 |    76095      6 |        5 |      752
1168.03/1168.35	c 1165s |      17 |  1892533 |   262232 |    76095      6 |        5 |      752
1170.13/1170.45	c 1167s |      17 |  1895386 |   262732 |    76095      6 |        5 |      752
1172.62/1172.95	c 1170s |      17 |  1898286 |   263132 |    76095      6 |        5 |      752
1174.82/1175.12	c 1172s |      17 |  1901101 |   263432 |    76095      6 |        5 |      752
1177.02/1177.36	c 1174s |      17 |  1904231 |   263832 |    76095      6 |        5 |      752
1179.52/1179.87	c 1177s |      17 |  1908186 |   264432 |    76095      6 |        5 |      752
1181.82/1182.15	c 1179s |      17 |  1913666 |   264832 |    76095      6 |        5 |      752
1183.82/1184.18	c 1181s |      17 |  1916723 |   265132 |    76095      6 |        5 |      752
1185.92/1186.29	c 1183s |      17 |  1919233 |   265432 |    76095      6 |        5 |      752
1188.32/1188.60	c 1186s |      17 |  1922364 |   265832 |    76095      6 |        5 |      752
1190.32/1190.68	c 1188s |      17 |  1924784 |   266232 |    76095      6 |        5 |      752
1192.71/1193.01	c 1190s |      17 |  1927436 |   266732 |    76095      6 |        5 |      752
1194.71/1195.02	c 1192s |      17 |  1929809 |   267032 |    76095      6 |        5 |      752
1197.21/1197.51	c 1194s |      17 |  1933467 |   267432 |    76095      6 |        5 |      752
1199.51/1199.89	c 1197s |      17 |  1937616 |   267932 |    76095      6 |        5 |      752
1201.80/1202.17	c 1199s |      17 |  1940570 |   268532 |    76095      6 |        5 |      752
1204.50/1204.86	c 1202s |      17 |  1943615 |   268932 |    76095      6 |        5 |      752
1206.60/1206.90	c 1204s |      17 |  1947527 |   269232 |    76095      6 |        5 |      752
1208.61/1208.98	c 1206s |      17 |  1951058 |   269832 |    76095      6 |        5 |      752
1210.70/1211.04	c 1208s |      17 |  1954183 |   270232 |    76095      6 |        5 |      752
1213.30/1213.69	c 1211s |      17 |  1958074 |   270632 |    76095      6 |        5 |      752
1215.80/1216.10	c 1213s |      17 |  1961492 |   271032 |    76095      6 |        5 |      752
1218.20/1218.53	c 1216s |      17 |  1964990 |   271632 |    76095      6 |        5 |      752
1220.50/1220.83	c 1218s |      17 |  1967642 |   272032 |    76095      6 |        5 |      752
1223.01/1223.37	c 1220s |      17 |  1970403 |   272432 |    76095      6 |        5 |      752
1225.50/1225.90	c 1223s |      17 |  1974399 |   273032 |    76095      6 |        5 |      752
1227.90/1228.25	c 1225s |      17 |  1977571 |   273432 |    76095      6 |        5 |      752
1230.00/1230.36	c 1227s |      17 |  1979563 |   273932 |    76095      6 |        5 |      752
1232.20/1232.51	c 1229s |      17 |  1982151 |   274332 |    76095      6 |        5 |      752
1234.60/1234.94	c 1232s |      17 |  1985026 |   274732 |    76095      6 |        5 |      752
1236.80/1237.17	c 1234s |      17 |  1987693 |   275132 |    76095      6 |        5 |      752
1239.30/1239.69	c 1237s |      17 |  1992054 |   275732 |    76095      6 |        5 |      752
1241.79/1242.11	c 1239s |      17 |  1995755 |   276132 |    76095      6 |        5 |      752
1243.80/1244.19	c 1241s |      17 |  1998335 |   276532 |    76095      6 |        5 |      752
1246.39/1246.71	c 1244s |      17 |  2001432 |   277132 |    76095      6 |        5 |      752
1248.69/1249.02	c 1246s |      17 |  2005094 |   277632 |    76095      6 |        5 |      752
1251.09/1251.45	c 1248s |      17 |  2008164 |   278132 |    76095      6 |        5 |      752
1253.19/1253.59	c 1251s |      17 |  2010274 |   278632 |    76095      6 |        5 |      752
1255.49/1255.84	c 1253s |      17 |  2013208 |   279032 |    76095      6 |        5 |      752
1257.49/1257.88	c 1255s |      17 |  2014989 |   279432 |    76095      6 |        5 |      752
1259.99/1260.31	c 1257s |      17 |  2017632 |   280032 |    76095      6 |        5 |      752
1262.08/1262.40	c 1259s |      17 |  2019860 |   280432 |    76095      6 |        5 |      752
1264.28/1264.68	c 1262s |      17 |  2022127 |   280932 |    76095      6 |        5 |      752
1266.68/1267.01	c 1264s |      17 |  2024521 |   281432 |    76095      6 |        5 |      752
1268.68/1269.04	c 1266s |      17 |  2027409 |   281932 |    76095      6 |        5 |      752
1270.98/1271.40	c 1268s |      17 |  2029705 |   282432 |    76095      6 |        5 |      752
1273.28/1273.67	c 1271s |      17 |  2032238 |   283032 |    76095      6 |        5 |      752
1275.58/1275.98	c 1273s |      17 |  2034604 |   283632 |    76095      6 |        5 |      752
1277.78/1278.14	c 1275s |      17 |  2037681 |   284232 |    76095      6 |        5 |      752
1279.98/1280.31	c 1277s |      17 |  2039828 |   284832 |    76095      6 |        5 |      752
1282.07/1282.44	c 1279s |      17 |  2042068 |   285432 |    76095      6 |        5 |      752
1284.27/1284.64	c 1282s |      17 |  2044497 |   286032 |    76095      6 |        5 |      752
1286.27/1286.68	c 1284s |      17 |  2046308 |   286632 |    76095      6 |        5 |      752
1288.47/1288.88	c 1286s |      17 |  2048229 |   287332 |    76095      6 |        5 |      752
1290.87/1291.20	c 1288s |      17 |  2049362 |   287932 |    76095      7 |        5 |      752
1293.06/1293.41	c 1290s |      17 |  2051051 |   288032 |    76095      7 |        5 |      752
1295.36/1295.80	c 1293s |      17 |  2053925 |   288332 |    76095      7 |        5 |      752
1297.56/1297.95	c 1295s |      17 |  2056776 |   288732 |    76095      7 |        5 |      752
1299.66/1300.03	c 1297s |      17 |  2058757 |   289232 |    76095      7 |        5 |      752
1301.86/1302.29	c 1299s |      17 |  2061243 |   289632 |    76095      7 |        5 |      752
1303.96/1304.35	c 1301s |      17 |  2063954 |   289932 |    76095      7 |        5 |      752
1305.96/1306.35	c 1303s |      17 |  2067472 |   290232 |    76095      7 |        5 |      752
1308.26/1308.69	c 1306s |      17 |  2071223 |   290632 |    76095      7 |        5 |      752
1310.66/1311.00	c 1308s |      17 |  2074447 |   291132 |    76095      7 |        5 |      752
1313.25/1313.64	c 1311s |      17 |  2078293 |   291632 |    76095      7 |        5 |      752
1315.75/1316.12	c 1313s |      17 |  2080925 |   292032 |    76095      7 |        5 |      752
1318.35/1318.74	c 1316s |      17 |  2085177 |   292732 |    76095      7 |        5 |      752
1320.35/1320.78	c 1318s |      17 |  2088739 |   293132 |    76095      7 |        5 |      752
1322.45/1322.84	c 1320s |      17 |  2091022 |   293432 |    76095      7 |        5 |      752
1325.05/1325.47	c 1322s |      17 |  2095003 |   293832 |    76095      7 |        5 |      752
1327.36/1327.76	c 1325s |      17 |  2098490 |   294232 |    83705      7 |        5 |      752
1329.66/1330.03	c 1327s |      17 |  2102012 |   294832 |    83705      7 |        5 |      752
1331.95/1332.31	c 1329s |      17 |  2105391 |   295232 |    83705      7 |        5 |      752
1333.96/1334.33	c 1331s |      17 |  2107754 |   295532 |    83705      7 |        5 |      752
1336.26/1336.64	c 1334s |      17 |  2109648 |   296032 |    83705      7 |        5 |      752
1337.55/1337.93	c 1335s |      18 |  2110625 |   296252 |    83705      7 |        5 |      752
1339.85/1340.21	c 1337s |      18 |  2112025 |   296552 |    83705      7 |        5 |      752
1342.25/1342.68	c 1340s |      18 |  2113938 |   296852 |    83705      7 |        5 |      752
1368.24/1368.65	c 1366s |      18 |  2114953 |   296952 |    83705      7 |        5 |      752
1392.63/1393.04	c 1390s |      18 |  2116131 |   297052 |    83705      7 |        5 |      752
1394.63/1395.04	c 1392s |      18 |  2118790 |   297352 |    83705      7 |        5 |      752
1397.03/1397.44	c 1394s |      18 |  2122920 |   297752 |    83705      7 |        5 |      752
1399.13/1399.58	c 1397s |      18 |  2125313 |   298152 |    83705      7 |        5 |      752
1401.63/1402.08	c 1399s |      18 |  2126810 |   298652 |    83705      7 |        5 |      752
1404.03/1404.41	c 1401s |      18 |  2128116 |   298952 |    83705      7 |        5 |      752
1406.33/1406.77	c 1404s |      18 |  2130813 |   299252 |    83705      7 |        5 |      752
1408.73/1409.13	c 1406s |      18 |  2133117 |   299552 |    83705      7 |        5 |      752
1410.72/1411.17	c 1408s |      18 |  2136310 |   299852 |    83705      7 |        5 |      752
1412.82/1413.23	c 1410s |      18 |  2139451 |   300152 |    83705      7 |        5 |      752
1415.02/1415.41	c 1412s |      18 |  2142428 |   300552 |    83705      7 |        5 |      752
1417.12/1417.56	c 1415s |      18 |  2145184 |   301052 |    83705      7 |        5 |      752
1419.73/1420.17	c 1417s |      18 |  2149894 |   301452 |    83705      7 |        5 |      752
1421.93/1422.38	c 1419s |      18 |  2153996 |   301752 |    83705      7 |        5 |      752
1424.32/1424.77	c 1422s |      18 |  2156370 |   302052 |    83705      7 |        5 |      752
1426.52/1426.98	c 1424s |      18 |  2157960 |   302352 |    83705      7 |        5 |      752
1429.12/1429.50	c 1426s |      18 |  2159527 |   302852 |    83705      7 |        5 |      752
1431.12/1431.55	c 1429s |      18 |  2161378 |   303152 |    83705      7 |        5 |      752
1433.32/1433.75	c 1431s |      18 |  2164036 |   303452 |    83705      7 |        5 |      752
1435.32/1435.79	c 1433s |      18 |  2166855 |   303752 |    83705      7 |        5 |      752
1437.43/1437.84	c 1435s |      18 |  2168806 |   304152 |    83705      7 |        5 |      752
1439.72/1440.11	c 1437s |      18 |  2171452 |   304552 |    83705      7 |        5 |      752
1442.02/1442.48	c 1439s |      18 |  2175488 |   304952 |    83705      7 |        5 |      752
1444.62/1445.03	c 1442s |      18 |  2180771 |   305352 |    83705      7 |        5 |      752
1446.82/1447.27	c 1444s |      18 |  2184424 |   305652 |    83705      7 |        5 |      752
1449.02/1449.44	c 1446s |      18 |  2187000 |   305952 |    83705      7 |        5 |      752
1451.22/1451.66	c 1449s |      18 |  2189980 |   306352 |    83705      7 |        5 |      752
1453.42/1453.82	c 1451s |      18 |  2193357 |   306852 |    83705      7 |        5 |      752
1456.02/1456.47	c 1453s |      18 |  2196671 |   307252 |    83705      7 |        5 |      752
1458.62/1459.02	c 1456s |      18 |  2201542 |   307652 |    83705      7 |        5 |      752
1460.62/1461.05	c 1458s |      18 |  2204036 |   308052 |    83705      7 |        5 |      752
1463.11/1463.56	c 1461s |      18 |  2207450 |   308552 |    83705      7 |        5 |      752
1465.21/1465.66	c 1463s |      18 |  2210400 |   308852 |    83705      7 |        5 |      752
1467.81/1468.24	c 1465s |      18 |  2217147 |   309252 |    83705      7 |        5 |      752
1470.01/1470.46	c 1467s |      18 |  2219584 |   309552 |    83705      7 |        5 |      752
1472.21/1472.65	c 1470s |      18 |  2222849 |   310052 |    83705      7 |        5 |      752
1474.31/1474.74	c 1472s |      18 |  2225512 |   310552 |    83705      7 |        5 |      752
1476.41/1476.82	c 1474s |      18 |  2228327 |   310852 |    83705      7 |        5 |      752
1478.91/1479.36	c 1476s |      18 |  2232545 |   311252 |    83705      7 |        5 |      752
1481.51/1481.94	c 1479s |      18 |  2235817 |   311852 |    83705      7 |        5 |      752
1484.01/1484.45	c 1481s |      18 |  2239838 |   312252 |    83705      7 |        5 |      752
1486.21/1486.60	c 1484s |      18 |  2242853 |   312652 |    83705      7 |        5 |      752
1488.71/1489.10	c 1486s |      18 |  2245281 |   313152 |    83705      7 |        5 |      752
1491.32/1491.73	c 1489s |      18 |  2248730 |   313552 |    83705      7 |        5 |      752
1493.52/1493.98	c 1491s |      18 |  2251428 |   313952 |    83705      7 |        5 |      752
1495.72/1496.19	c 1493s |      18 |  2253159 |   314452 |    83705      7 |        5 |      752
1498.21/1498.68	c 1496s |      18 |  2255694 |   314852 |    83705      7 |        5 |      752
1500.31/1500.72	c 1498s |      18 |  2257811 |   315152 |    83705      7 |        5 |      752
1502.41/1502.83	c 1500s |      18 |  2260362 |   315552 |    83705      7 |        5 |      752
1504.81/1505.25	c 1502s |      18 |  2263741 |   316152 |    83705      7 |        5 |      752
1507.31/1507.73	c 1505s |      18 |  2266234 |   316552 |    83705      7 |        5 |      752
1509.31/1509.76	c 1507s |      18 |  2268853 |   317052 |    83705      7 |        5 |      752
1511.71/1512.18	c 1509s |      18 |  2271706 |   317452 |    83705      7 |        5 |      752
1514.01/1514.49	c 1511s |      18 |  2273979 |   317952 |    83705      7 |        5 |      752
1516.21/1516.67	c 1514s |      18 |  2276529 |   318352 |    83705      7 |        5 |      752
1518.61/1519.00	c 1516s |      18 |  2279036 |   318752 |    83705      7 |        5 |      752
1521.11/1521.54	c 1519s |      18 |  2282640 |   319352 |    83705      7 |        5 |      752
1523.21/1523.68	c 1521s |      18 |  2286165 |   319752 |    83705      7 |        5 |      752
1525.31/1525.75	c 1523s |      18 |  2287740 |   320252 |    83705      7 |        5 |      752
1527.51/1527.93	c 1525s |      18 |  2290236 |   320652 |    83705      7 |        5 |      752
1529.60/1530.01	c 1527s |      18 |  2292812 |   321152 |    83705      7 |        5 |      752
1531.91/1532.31	c 1529s |      18 |  2295334 |   321552 |    83705      7 |        5 |      752
1534.21/1534.67	c 1532s |      18 |  2297826 |   322052 |    83705      7 |        5 |      752
1536.60/1537.00	c 1534s |      18 |  2298750 |   322552 |    83705      7 |        5 |      752
1539.00/1539.42	c 1536s |      18 |  2300546 |   323052 |    83705      7 |        5 |      752
1541.30/1541.70	c 1539s |      18 |  2302871 |   323552 |    83705      7 |        5 |      752
1543.50/1543.92	c 1541s |      18 |  2304888 |   324052 |    83705      7 |        5 |      752
1545.50/1545.97	c 1543s |      18 |  2306522 |   324552 |    83705      7 |        5 |      752
1547.80/1548.22	c 1545s |      18 |  2308064 |   325052 |    83705      7 |        5 |      752
1549.80/1550.24	c 1547s |      18 |  2309210 |   325552 |    83705      7 |        5 |      752
1552.20/1552.62	c 1550s |      18 |  2310699 |   326152 |    83705      7 |        5 |      752
1554.20/1554.63	c 1552s |      18 |  2311997 |   326752 |    83705      7 |        5 |      752
1556.50/1556.99	c 1554s |      18 |  2314958 |   327352 |    83705      7 |        5 |      752
1559.30/1559.80	c 1557s |      18 |  2317696 |   327652 |    83705      7 |        5 |      752
1561.90/1562.31	c 1559s |      18 |  2320405 |   327952 |    83705      7 |        5 |      752
1564.00/1564.42	c 1561s |      18 |  2321865 |   328252 |    83705      7 |        5 |      752
1566.30/1566.75	c 1564s |      18 |  2322944 |   328652 |    83705      7 |        5 |      752
1568.90/1569.40	c 1566s |      18 |  2325410 |   329052 |    83705      7 |        5 |      752
1571.10/1571.55	c 1569s |      18 |  2328174 |   329352 |    83705      7 |        5 |      752
1573.70/1574.20	c 1571s |      18 |  2330619 |   329652 |    83705      7 |        5 |      752
1576.50/1576.95	c 1574s |      18 |  2333535 |   329952 |    83705      7 |        5 |      752
1579.00/1579.44	c 1576s |      18 |  2337853 |   330252 |    83705      7 |        5 |      752
1581.50/1581.94	c 1579s |      18 |  2339979 |   330552 |    83705      7 |        5 |      752
1583.60/1584.06	c 1581s |      18 |  2341441 |   330952 |    83705      7 |        5 |      752
1585.70/1586.15	c 1583s |      18 |  2343434 |   331352 |    83705      7 |        5 |      752
1588.30/1588.76	c 1586s |      18 |  2347168 |   331752 |    83705      7 |        5 |      752
1590.40/1590.83	c 1588s |      18 |  2350522 |   332052 |    83705      7 |        5 |      752
1596.00/1596.48	c 1593s |      18 |  2351535 |   332152 |    83705      8 |        5 |      752
1607.00/1607.44	c 1604s |      18 |  2352785 |   332252 |    83705      8 |        5 |      752
1609.80/1610.20	c 1607s |      18 |  2356400 |   332552 |    83705      8 |        5 |      752
1612.21/1612.69	c 1610s |      18 |  2359540 |   332852 |    83705      8 |        5 |      752
1614.41/1614.85	c 1612s |      18 |  2363070 |   333452 |    83705      8 |        5 |      752
1616.61/1617.08	c 1614s |      18 |  2366079 |   333852 |    83705      8 |        5 |      752
1619.30/1619.79	c 1617s |      18 |  2370569 |   334252 |    83705      8 |        5 |      752
1621.50/1621.95	c 1619s |      18 |  2375244 |   334552 |    83705      8 |        5 |      752
1623.60/1624.03	c 1621s |      18 |  2379026 |   334852 |    83705      8 |        5 |      752
1626.00/1626.42	c 1623s |      18 |  2382302 |   335252 |    83705      8 |        5 |      752
1628.20/1628.67	c 1626s |      18 |  2384689 |   335752 |    83705      8 |        5 |      752
1630.50/1630.94	c 1628s |      18 |  2387194 |   336152 |    83705      8 |        5 |      752
1632.60/1633.06	c 1630s |      18 |  2389988 |   336452 |    83705      8 |        5 |      752
1635.10/1635.58	c 1633s |      18 |  2392840 |   336752 |    83705      8 |        5 |      752
1637.70/1638.11	c 1635s |      18 |  2395767 |   337152 |    83705      8 |        5 |      752
1640.19/1640.66	c 1638s |      18 |  2398537 |   337652 |    83705      8 |        5 |      752
1642.89/1643.36	c 1640s |      18 |  2402596 |   338052 |    83705      8 |        5 |      752
1645.09/1645.59	c 1643s |      18 |  2405275 |   338352 |    83705      8 |        5 |      752
1647.40/1647.81	c 1645s |      18 |  2407476 |   338652 |    83705      8 |        5 |      752
1649.70/1650.16	c 1647s |      18 |  2411734 |   339052 |    83705      8 |        5 |      752
1652.09/1652.56	c 1650s |      18 |  2415728 |   339652 |    83705      8 |        5 |      752
1654.59/1655.05	c 1652s |      18 |  2419805 |   340052 |    83705      8 |        5 |      752
1656.79/1657.28	c 1654s |      18 |  2423115 |   340352 |    83705      8 |        5 |      752
1658.89/1659.35	c 1656s |      18 |  2425086 |   340652 |    83705      8 |        5 |      752
1660.99/1661.45	c 1658s |      18 |  2427887 |   341052 |    83705      8 |        5 |      752
1663.29/1663.74	c 1661s |      18 |  2430416 |   341552 |    83705      8 |        5 |      752
1665.39/1665.89	c 1663s |      18 |  2433431 |   341852 |    83705      8 |        5 |      752
1667.69/1668.10	c 1665s |      18 |  2435689 |   342252 |    83705      8 |        5 |      752
1670.29/1670.70	c 1668s |      18 |  2438848 |   342852 |    83705      8 |        5 |      752
1672.89/1673.31	c 1670s |      18 |  2442291 |   343252 |    83705      8 |        5 |      752
1675.19/1675.63	c 1673s |      18 |  2447844 |   343652 |    83705      8 |        5 |      752
1677.29/1677.76	c 1675s |      18 |  2451242 |   344052 |    83705      8 |        5 |      752
1679.69/1680.18	c 1677s |      18 |  2456352 |   344752 |    83705      8 |        5 |      752
1682.19/1682.64	c 1680s |      18 |  2460278 |   345152 |    83705      8 |        5 |      752
1684.59/1685.04	c 1682s |      18 |  2463802 |   345552 |    83705      8 |        5 |      752
1686.69/1687.14	c 1684s |      18 |  2465987 |   346052 |    83705      8 |        5 |      752
1689.09/1689.53	c 1687s |      18 |  2469875 |   346452 |    83705      8 |        5 |      752
1691.39/1691.86	c 1689s |      18 |  2474930 |   347152 |    83705      8 |        5 |      752
1693.49/1693.95	c 1691s |      18 |  2478653 |   347552 |    83705      8 |        5 |      752
1696.09/1696.53	c 1694s |      18 |  2481627 |   347952 |    83705      8 |        5 |      752
1698.38/1698.89	c 1696s |      18 |  2485015 |   348452 |    83705      8 |        5 |      752
1700.68/1701.11	c 1698s |      18 |  2487341 |   348952 |    83705      8 |        5 |      752
1702.98/1703.41	c 1700s |      18 |  2490117 |   349352 |    83705      8 |        5 |      752
1705.08/1705.56	c 1703s |      18 |  2492154 |   349852 |    83705      8 |        5 |      752
1707.48/1707.91	c 1705s |      18 |  2494621 |   350252 |    83705      8 |        5 |      752
1709.78/1710.24	c 1707s |      18 |  2497943 |   350752 |    83705      8 |        5 |      752
1711.98/1712.46	c 1709s |      18 |  2501156 |   351252 |    83705      8 |        5 |      752
1714.18/1714.68	c 1712s |      18 |  2503762 |   351652 |    83705      8 |        5 |      752
1716.28/1716.78	c 1714s |      18 |  2506598 |   352152 |    83705      8 |        5 |      752
1718.38/1718.80	c 1716s |      18 |  2509755 |   352552 |    83705      8 |        5 |      752
1720.58/1721.01	c 1718s |      18 |  2512165 |   352952 |    83705      8 |        5 |      752
1722.78/1723.21	c 1720s |      18 |  2514491 |   353452 |    83705      8 |        5 |      752
1724.88/1725.35	c 1722s |      18 |  2516898 |   353952 |    83705      8 |        5 |      752
1727.18/1727.68	c 1725s |      18 |  2520428 |   354452 |    83705      8 |        5 |      752
1729.68/1730.10	c 1727s |      18 |  2522826 |   355052 |    83705      8 |        5 |      752
1731.98/1732.49	c 1729s |      18 |  2526067 |   355552 |    83705      8 |        5 |      752
1734.39/1734.83	c 1732s |      18 |  2528266 |   356052 |    83705      8 |        5 |      752
1736.68/1737.14	c 1734s |      18 |  2529798 |   356552 |    83705      8 |        5 |      752
1738.79/1739.25	c 1736s |      18 |  2532231 |   357052 |    83705      8 |        5 |      752
1740.89/1741.32	c 1738s |      18 |  2534102 |   357452 |    83705      8 |        5 |      752
1742.98/1743.41	c 1740s |      18 |  2535841 |   357952 |    83705      8 |        5 |      752
1744.98/1745.47	c 1742s |      18 |  2537625 |   358452 |    83705      8 |        5 |      752
1746.98/1747.48	c 1744s |      18 |  2539667 |   358952 |    83705      8 |        5 |      752
1749.48/1749.90	c 1747s |      18 |  2541566 |   359552 |    83705      8 |        5 |      752
1751.48/1751.91	c 1749s |      18 |  2543507 |   360152 |    83705      8 |        5 |      752
1753.48/1753.95	c 1751s |      18 |  2544643 |   360752 |    83705      8 |        5 |      752
1755.78/1756.22	c 1753s |      18 |  2546921 |   361152 |    83705      8 |        5 |      752
1758.18/1758.67	c 1756s |      18 |  2550132 |   361452 |    83705      8 |        5 |      752
1760.38/1760.86	c 1758s |      18 |  2551744 |   361752 |    83705      8 |        5 |      752
1762.78/1763.23	c 1760s |      18 |  2554716 |   362252 |    83705      8 |        5 |      752
1764.87/1765.38	c 1762s |      18 |  2557028 |   362552 |    83705      8 |        5 |      752
1767.28/1767.71	c 1765s |      18 |  2559688 |   362852 |    83705      8 |        5 |      752
1769.48/1769.97	c 1767s |      18 |  2562477 |   363152 |    83705      8 |        5 |      752
1772.27/1772.79	c 1770s |      18 |  2565106 |   363452 |    83705      8 |        5 |      752
1774.37/1774.90	c 1772s |      18 |  2567209 |   363752 |    83705      8 |        5 |      752
1776.67/1777.10	c 1774s |      18 |  2569006 |   364152 |    83705      8 |        5 |      752
1778.67/1779.12	c 1776s |      18 |  2571644 |   364452 |    83705      8 |        5 |      752
1781.07/1781.55	c 1779s |      18 |  2573342 |   364752 |    83705      8 |        5 |      752
1783.57/1784.05	c 1781s |      18 |  2577097 |   365052 |    83705      8 |        5 |      752
1786.17/1786.67	c 1784s |      18 |  2580518 |   365352 |    83705      8 |        5 |      752
1788.67/1789.11	c 1786s |      18 |  2582871 |   365652 |    83705      8 |        5 |      752
1790.87/1791.35	c 1788s |      18 |  2585888 |   366052 |    83705      8 |        5 |      752
1793.27/1793.70	c 1791s |      18 |  2588045 |   366552 |    83705      8 |        5 |      752
1795.37/1795.87	c 1793s |      18 |  2591035 |   366852 |    83705      8 |        5 |      752
1797.67/1798.18	c 1795s |      18 |  2594150 |   367152 |    83705      8 |        5 |      752

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

pid=26383
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: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 2751 0 0 0 0 0 0 0 20 0 4 0 13976268 754380800 3622 33554432000 4194304 16246674 140734093009568 140734093008992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 184687 3631 441 2943 0 181581 0
[pid=26389/tid=26391] ppid=26383 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 773255168 3692 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 777449472 3711 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 781643776 3727 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 26802 0 0 0 6 3 0 0 20 0 4 0 13976268 1333334016 27612 33554432000 4194304 16246674 140734093009568 140734093008880 7366234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 325521 27627 800 2943 0 322415 0
[pid=26389/tid=26391] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1333334016 27639 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 27650 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1333334016 27661 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200487 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 45387 0 0 0 13 6 0 0 20 0 4 0 13976268 1344868352 46707 33554432000 4194304 16246674 140734093009568 140734093008880 14795819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 328337 46707 801 2943 0 325231 0
[pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 46707 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300411 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 62556 0 0 0 20 9 0 0 20 0 4 0 13976268 1344868352 63876 33554432000 4194304 16246674 140734093009568 140734093008880 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 328337 63876 801 2943 0 325231 0
[pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 63876 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70038 s]
/proc/loadavg: 1.19 1.10 1.22 4/175 26389
/proc/meminfo: memFree=31334132/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 72945 0 0 0 59 10 0 0 20 0 4 0 13976268 1344868352 74265 33554432000 4194304 16246674 140734093009568 140734093008880 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 328337 74265 802 2943 0 325231 0
[pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 74265 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 1.26 1.12 1.23 4/183 26397
/proc/meminfo: memFree=30289976/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 191201 0 0 0 122 27 0 0 20 0 4 0 13976268 1344868352 192521 33554432000 4194304 16246674 140734093009568 140734092991488 6779510 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 328337 192534 836 2943 0 325231 0
[pid=26389/tid=26391] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1344868352 192542 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 192548 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1344868352 192557 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 1.26 1.12 1.23 4/183 26397
/proc/meminfo: memFree=29151036/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271607 0 0 0 272 37 0 0 20 0 4 0 13976268 1356402688 272927 33554432000 4194304 16246674 140734093009568 140734092991488 5675019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 272927 881 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 272927 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30038 s]
/proc/loadavg: 1.32 1.13 1.23 4/183 26397
/proc/meminfo: memFree=29150456/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271821 0 0 0 592 37 0 0 20 0 4 0 13976268 1356402688 273141 33554432000 4194304 16246674 140734093009568 140734092991488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 273141 884 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273141 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 1.37 1.15 1.24 4/183 26397
/proc/meminfo: memFree=29150324/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=12.68 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271823 0 0 0 1231 37 0 0 20 0 4 0 13976268 1356402688 273143 33554432000 4194304 16246674 140734093009568 140734092991488 6023166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 273143 884 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273143 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 1.58 1.20 1.25 4/183 26397
/proc/meminfo: memFree=29151124/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=25.48 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 2511 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 273145 886 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 1.72 1.27 1.27 4/183 26397
/proc/meminfo: memFree=29151048/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 5071 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 13897155 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 273145 886 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 1.88 1.38 1.31 4/183 26398
/proc/meminfo: memFree=29150216/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1324612 CPUtime=102.28 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 271825 0 0 0 10191 37 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140734092991488 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 331153 273145 886 2943 0 328047 0
[pid=26389/tid=26391] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1356402688 273145 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1409604

[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 1.84 4/183 26431
/proc/meminfo: memFree=28988004/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1361.95 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293331 0 0 0 136147 48 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734093008744 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1409604

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 1.85 4/183 26432
/proc/meminfo: memFree=28986848/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1421.93 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 142143 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1409604

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.85 4/183 26433
/proc/meminfo: memFree=28987628/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1481.91 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 148141 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1409604

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 1.86 4/183 26434
/proc/meminfo: memFree=28987648/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1541.91 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 154141 50 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1409604

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/183 26435
/proc/meminfo: memFree=28987644/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1601.9 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 160139 51 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734093008744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1409604

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 1.89 4/183 26437
/proc/meminfo: memFree=28987772/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1661.89 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 166137 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1409604

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 1.89 4/184 26441
/proc/meminfo: memFree=28986968/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1721.88 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 172136 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1409604

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1781.87 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 178135 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1409604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 179955 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1409604

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 1.91 4/183 26442
/proc/meminfo: memFree=28979408/32872528 swapFree=532956/565660
[pid=26389] ppid=26383 vsize=1409604 CPUtime=1800.07 cores=0,2,4,6
/proc/26389/stat : 26389 (toysat) R 26383 26389 17565 0 -1 4202496 293345 0 0 0 179955 52 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140734092991488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26389/statm: 352401 294398 887 2943 0 349295 0
[pid=26389/tid=26391] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26391/stat : 26391 (toysat) S 26383 26389 17565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13976268 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138304744688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26389/tid=26393] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26393/stat : 26393 (toysat) S 26383 26389 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138294254832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26389/tid=26395] ppid=26383 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/26389/task/26395/stat : 26395 (toysat) S 26383 26389 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13976269 1443434496 294398 33554432000 4194304 16246674 140734093009568 140138206194864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1409604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.52292
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1409604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.52292
maximum resident set size= 1177592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293345
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= 285
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06193 second user time and 9.12561 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-17 01:21:46
IDJOB=4098059
IDBENCH=107846
IDSOLVER=2542
FILE ID=node138/4098059-1466119306
RUNJOBID= node138-1466119306-26360
PBS_JOBID= 19904048
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098059-1466119306/watcher-4098059-1466119306 -o /tmp/evaluation-result-4098059-1466119306/solver-4098059-1466119306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466119306-26360 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098059-1466119306.opb

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

MD5SUM BENCH= 60625a8f4cfa2ca63ddafc7817561234
RANDOM SEED=1030823423

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31335552 kB
Buffers:           73912 kB
Cached:           189064 kB
SwapCached:         1380 kB
Active:           141760 kB
Inactive:         124064 kB
Active(anon):       4072 kB
Inactive(anon):     1664 kB
Active(file):     137688 kB
Inactive(file):   122400 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             40752 kB
Writeback:             0 kB
AnonPages:        684332 kB
Mapped:             7044 kB
Shmem:                 0 kB
Slab:             572864 kB
SReclaimable:      16852 kB
SUnreclaim:       556012 kB
KernelStack:        1416 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     662132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71692 MiB
End job on node138 at 2016-06-17 01:51:47