Trace number 4078947

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.03 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K96.opb
MD5SUM12d577f059d1da283bb935f5e106dee7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6528
Total number of constraints6722
Number of constraints which are clauses6626
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint96
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
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-07T09:16:25+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-4078947-1465283785.opb"]
0.00/0.01	c use --random-gen="2939592743 3179556702 4162756789 152065194 3885553505 2883242200 2489143387 3109164741 1264257207 54936642 2315945428 191124916 3175438918 2939012009 1122070812 1583231289 164797977 3313366741 2042963611 3523063420 965190212 1974401563 719231859 4207807454 1468950312 3993070713 3629250329 3534322645 4233041183 157191120 3573539202 4129485423 1114367782 1539371310 3507442348 1478070029 3608301130 2977970940 3572108954 2156491290 3889415551 3315191969 2424098357 4262535235 3877195909 488326374 2433083853 3834215706 4268754227 2534873658 55448034 4032624572 1719447669 1291161075 2143489024 463801787 1029558615 3790633166 284534634 2062332045 1658734121 3260257325 1378887879 564718732 1030277790 1443546640 3907038937 3360983678 1177534269 1709342940 3618057500 3697068077 4126813642 3086614872 3033293541 3843129494 2143936937 2871865328 888630575 2643948659 2062923413 1780767483 822235946 441041605 3359688206 2196984447 2984724804 3149885363 67112895 255844399 3395716568 2773630850 75398208 2204631137 1507161374 3248938763 81026096 2300108742 3235812261 3857929038 278767005 2608510238 3877426843 2971699921 922088533 1505767142 2674947088 2718882888 1245070365 698564637 4041370942 3149796914 359253700 1948395069 1151455884 2904506687 1285276820 3607168058 1381661660 2655586378 4027268983 1916132339 1698936868 4160256511 4128994774 913026768 2201615786 2413874582 2154933899 984619057 1545469647 2799768632 1956410145 3814838229 931057372 864786059 4270079029 2502364777 4165735350 2026737427 168116473 2414530736 3476081728 50894758 1634139611 542656201 1527936705 660914012 2555235469 3110695600 2395794419 1765994488 2633451293 2764467679 2192217874 2472486180 3186276369 3470991477 3709721219 1720635312 208268718 625473899 1801705973 1938092799 3190731731 637488813 2567597689 2258179358 2644453643 3951430990 1136897072 3767081823 3555218587 2250501679 439622979 2651166625 491208724 511447656 1092275667 2672286101 416957500 166010004 1554967059 3796213876 3202208755 2431427784 2263697178 3230988848 4056580941 346216085 2910898256 1275060673 621072679 3856069536 2972394814 3355581089 1488219312 1003538260 2361629837 1879423090 2627796817 3748302274 695717372 2390673836 1506824275 2486090836 2167533338 1242874478 3367859855 1547337732 2029473897 1920256949 2888197410 581046931 3390711296 965967969 3181277870 4099583552 1322234497 4171322312 2277728848 1226517370 3783546913 380144540 4044530670 1439572302 3486316556 573291971 3210263097 3310005021 2701847383 564890835 3196426969 2004197845 3974226321 364866168 3848331690 4211243346 1153406676 2578091131 3375090077 1419174155 2982048332 1956848336 1655910527 1288288036 1473867681 3629711263 2328207386 3387591748 4232490405 1437666948 3455523835 418963740 2260965815 3704002213 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6528
0.09/0.11	c #constraints 6722
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     4416      0 |      362 |        0
0.39/0.46	c  0.2s |       1 |     3251 |      100 |     4416      0 |      363 |      304
0.59/0.64	c  0.4s |       2 |     5249 |      250 |     4858      0 |      363 |      304
0.89/0.98	c  0.7s |       3 |    10891 |      475 |     5344      0 |      363 |      304
1.39/1.40	c  1.2s |       4 |    18146 |      813 |     5879      0 |      364 |      305
1.89/1.93	c  1.7s |       5 |    29201 |     1320 |     6467      0 |      365 |      306
2.89/2.95	c  2.7s |       6 |    32547 |     2081 |     7826      0 |      365 |      306
4.59/4.63	c  4.4s |       7 |    40988 |     3223 |     8609      0 |      365 |      306
6.70/6.72	c  6.5s |       7 |    72064 |     4823 |     8609      0 |      369 |      310
6.79/6.89	c  6.7s |       8 |    73052 |     4936 |     9470      0 |      369 |      310
8.80/8.90	c  8.7s |       8 |   105175 |     6436 |     9470      0 |      372 |      313
10.29/10.35	c 10.1s |       9 |   123537 |     7506 |    10417      0 |      374 |      315
12.39/12.48	c 12.2s |       9 |   129600 |     8906 |    10417      0 |      374 |      315
14.49/14.58	c 14.3s |       9 |   132657 |     9906 |    10417      0 |      374 |      315
16.99/17.01	c 16.8s |       9 |   135151 |    10706 |    10417      0 |      374 |      315
19.19/19.25	c 19.0s |       9 |   137647 |    11306 |    11459      0 |      374 |      315
19.29/19.38	c 19.1s |      10 |   138274 |    11361 |    11459      0 |      374 |      315
21.38/21.47	c 21.2s |      10 |   149040 |    12461 |    11459      0 |      375 |      316
23.48/23.56	c 23.3s |      10 |   156827 |    13461 |    11459      1 |      375 |      316
25.58/25.67	c 25.4s |      10 |   171594 |    14961 |    11459      1 |      377 |      318
27.68/27.72	c 27.5s |      10 |   187181 |    16261 |    11459      1 |      377 |      318
29.58/29.64	c 29.4s |      11 |   207743 |    17144 |    12605      1 |      381 |      322
31.68/31.79	c 31.6s |      11 |   223868 |    18444 |    12605      1 |      381 |      322
33.78/33.86	c 33.6s |      11 |   249005 |    19744 |    12605      1 |      381 |      322
35.88/35.94	c 35.7s |      11 |   269919 |    21044 |    12605      2 |      381 |      322
37.88/37.94	c 37.7s |      11 |   275739 |    22344 |    12605      2 |      381 |      322
39.99/40.07	c 39.8s |      11 |   280503 |    23244 |    12605      2 |      381 |      322
42.09/42.10	c 41.9s |      11 |   286318 |    24244 |    12605      2 |      381 |      322
44.09/44.17	c 43.9s |      11 |   290521 |    25144 |    12605      2 |      381 |      322
46.38/46.44	c 46.2s |      11 |   292224 |    25644 |    12605      2 |      381 |      322
46.68/46.78	c 46.5s |      12 |   293264 |    25819 |    13866      2 |      381 |      322
48.88/48.94	c 48.7s |      12 |   309251 |    26819 |    13866      2 |      382 |      323
51.08/51.13	c 50.9s |      12 |   322937 |    28019 |    13866      2 |      382 |      323
53.28/53.37	c 53.1s |      12 |   324642 |    28619 |    13866      2 |      382 |      323
55.78/55.87	c 55.6s |      12 |   325654 |    29019 |    13866      2 |      382 |      323
58.68/58.73	c 58.5s |      12 |   326174 |    29319 |    13866      2 |      382 |      323
60.98/61.06	c 60.8s |      12 |   327658 |    29719 |    13866      2 |      382 |      323
63.18/63.21	c 63.0s |      12 |   328949 |    29919 |    13866      3 |      382 |      323
65.18/65.27	c 65.0s |      12 |   350317 |    31019 |    13866      3 |      382 |      323
67.19/67.29	c 67.1s |      12 |   373325 |    32119 |    13866      3 |      382 |      323
69.39/69.42	c 69.2s |      12 |   382699 |    33019 |    13866      3 |      382 |      323
71.59/71.60	c 71.4s |      12 |   396726 |    34119 |    13866      3 |      383 |      324
73.68/73.74	c 73.5s |      12 |   403074 |    35219 |    13866      3 |      383 |      324
75.88/75.96	c 75.7s |      12 |   404815 |    35719 |    13866      3 |      383 |      324
78.28/78.33	c 78.1s |      12 |   405691 |    36019 |    13866      3 |      383 |      324
80.58/80.64	c 80.4s |      12 |   408479 |    36519 |    13866      4 |      384 |      325
82.58/82.66	c 82.4s |      12 |   429492 |    38019 |    13866      4 |      384 |      325
83.88/83.99	c 83.8s |      13 |   439071 |    38832 |    15253      4 |      385 |      326
85.88/85.99	c 85.8s |      13 |   456123 |    39932 |    15253      4 |      386 |      327
87.98/88.01	c 87.8s |      13 |   475658 |    41232 |    15253      4 |      386 |      327
90.28/90.33	c 90.1s |      13 |   486978 |    42432 |    15253      4 |      387 |      328
92.38/92.43	c 92.2s |      13 |   490938 |    43432 |    15253      4 |      387 |      328
94.58/94.64	c 94.4s |      13 |   492916 |    44132 |    15253      4 |      387 |      328
96.88/96.98	c 96.7s |      13 |   495317 |    44832 |    15253      4 |      387 |      328
99.18/99.29	c 99.1s |      13 |   496490 |    45232 |    15253      4 |      387 |      328
101.38/101.43	c  101s |      13 |   498499 |    45732 |    15253      4 |      387 |      328
103.48/103.56	c  103s |      13 |   499888 |    46132 |    15253      4 |      387 |      328
105.58/105.70	c  105s |      13 |   500798 |    46432 |    15253      4 |      387 |      328
107.68/107.79	c  107s |      13 |   502748 |    46932 |    15253      4 |      387 |      328
109.88/109.91	c  109s |      13 |   504040 |    47332 |    15253      4 |      387 |      328
111.98/112.02	c  111s |      13 |   505374 |    47732 |    15253      4 |      387 |      328
113.97/114.08	c  113s |      13 |   506670 |    48232 |    15253      4 |      387 |      328
116.47/116.58	c  116s |      13 |   507658 |    48632 |    15253      4 |      387 |      328
118.67/118.77	c  118s |      13 |   508667 |    48932 |    15253      5 |      387 |      328
121.18/121.24	c  121s |      13 |   509631 |    49232 |    15253      5 |      387 |      328
123.37/123.43	c  123s |      13 |   510769 |    49632 |    15253      5 |      387 |      328
125.67/125.79	c  125s |      13 |   511958 |    50132 |    15253      5 |      387 |      328
128.47/128.57	c  128s |      13 |   512706 |    50432 |    15253      5 |      387 |      328
130.77/130.81	c  130s |      13 |   513618 |    50732 |    15253      5 |      387 |      328
133.57/133.64	c  133s |      13 |   514343 |    51132 |    15253      5 |      387 |      328
135.67/135.79	c  135s |      13 |   515026 |    51432 |    15253      5 |      387 |      328
138.27/138.34	c  138s |      13 |   515536 |    51732 |    15253      5 |      387 |      328
141.07/141.15	c  140s |      13 |   516257 |    52032 |    15253      5 |      387 |      328
143.67/143.73	c  143s |      13 |   516907 |    52332 |    15253      5 |      387 |      328
146.27/146.38	c  146s |      13 |   517392 |    52632 |    15253      5 |      387 |      328
148.87/148.98	c  148s |      13 |   517749 |    52832 |    15253      5 |      387 |      328
151.17/151.25	c  151s |      13 |   518368 |    53132 |    15253      5 |      387 |      328
154.26/154.31	c  154s |      13 |   519192 |    53432 |    15253      5 |      387 |      328
156.36/156.42	c  156s |      13 |   519562 |    53632 |    15253      5 |      387 |      328
158.87/158.91	c  158s |      13 |   519885 |    53832 |    15253      5 |      387 |      328
161.46/161.58	c  161s |      13 |   520300 |    54032 |    15253      5 |      387 |      328
164.16/164.25	c  164s |      13 |   520666 |    54232 |    15253      5 |      387 |      328
166.76/166.81	c  166s |      13 |   521078 |    54432 |    15253      5 |      387 |      328
170.06/170.12	c  169s |      13 |   521759 |    54732 |    15253      5 |      387 |      328
172.56/172.66	c  172s |      13 |   523133 |    55032 |    15253      5 |      387 |      328
174.97/175.02	c  174s |      13 |   524372 |    55332 |    15253      5 |      387 |      328
177.47/177.50	c  177s |      13 |   525367 |    55732 |    15253      5 |      387 |      328
180.06/180.17	c  179s |      13 |   526307 |    56032 |    15253      5 |      387 |      328
183.06/183.16	c  182s |      13 |   526919 |    56332 |    15253      5 |      387 |      328
186.17/186.26	c  186s |      13 |   527802 |    56632 |    15253      5 |      387 |      328
188.56/188.66	c  188s |      13 |   528465 |    56832 |    15253      5 |      387 |      328
190.76/190.85	c  190s |      13 |   528922 |    57032 |    15253      5 |      387 |      328
192.96/193.06	c  192s |      13 |   529600 |    57232 |    15253      5 |      387 |      328
195.66/195.78	c  195s |      13 |   530969 |    57532 |    15253      5 |      387 |      328
197.76/197.88	c  197s |      13 |   532406 |    57932 |    15253      5 |      387 |      328
200.36/200.43	c  200s |      13 |   533406 |    58332 |    16779      5 |      387 |      328
200.46/200.54	c  200s |      14 |   533607 |    58352 |    16779      5 |      387 |      328
202.47/202.59	c  202s |      14 |   541333 |    58852 |    16779      6 |      387 |      328
204.57/204.62	c  204s |      14 |   559230 |    60152 |    16779      6 |      387 |      328
206.66/206.75	c  206s |      14 |   577829 |    61552 |    16779      6 |      387 |      328
208.76/208.84	c  208s |      14 |   588004 |    62652 |    16779      6 |      387 |      328
211.06/211.16	c  210s |      14 |   595493 |    63752 |    16779      6 |      387 |      328
213.37/213.47	c  213s |      14 |   596818 |    64452 |    16779      6 |      387 |      328
215.57/215.70	c  215s |      14 |   602135 |    65352 |    16779      6 |      387 |      328
218.26/218.35	c  218s |      14 |   605414 |    65952 |    16779      6 |      387 |      328
220.75/220.82	c  220s |      14 |   608171 |    66552 |    16779      6 |      387 |      328
222.75/222.83	c  222s |      14 |   609014 |    66852 |    16779      6 |      387 |      328
225.65/225.75	c  225s |      14 |   610348 |    67252 |    16779      6 |      387 |      328
229.05/229.13	c  228s |      14 |   610805 |    67452 |    16779      6 |      387 |      328
231.25/231.38	c  231s |      14 |   613936 |    68152 |    16779      6 |      387 |      328
233.35/233.47	c  233s |      14 |   614949 |    68452 |    16779      6 |      387 |      328
235.55/235.68	c  235s |      14 |   616591 |    68952 |    16779      6 |      387 |      328
237.85/237.97	c  237s |      14 |   619914 |    69752 |    16779      6 |      387 |      328
240.16/240.20	c  239s |      14 |   620512 |    70052 |    16779      7 |      387 |      328
242.76/242.84	c  242s |      14 |   621881 |    70352 |    16779      7 |      387 |      328
244.96/245.03	c  244s |      14 |   622657 |    70652 |    16779      7 |      387 |      328
247.05/247.18	c  246s |      14 |   623296 |    70952 |    16779      7 |      387 |      328
249.15/249.25	c  249s |      14 |   623996 |    71252 |    16779      7 |      387 |      328
251.35/251.48	c  251s |      14 |   624753 |    71552 |    16779      7 |      387 |      328
254.25/254.35	c  254s |      14 |   625826 |    71952 |    16779      7 |      387 |      328
256.36/256.43	c  256s |      14 |   626168 |    72152 |    16779      7 |      387 |      328
258.95/259.00	c  258s |      14 |   627427 |    72552 |    16779      7 |      387 |      328
261.86/261.96	c  261s |      14 |   628672 |    72952 |    16779      7 |      387 |      328
264.55/264.67	c  264s |      14 |   629850 |    73352 |    16779      7 |      387 |      328
266.95/267.07	c  266s |      14 |   630339 |    73552 |    16779      7 |      387 |      328
269.15/269.29	c  269s |      14 |   630985 |    73752 |    16779      7 |      387 |      328
271.95/272.08	c  271s |      14 |   631669 |    74052 |    16779      7 |      387 |      328
274.54/274.69	c  274s |      14 |   632256 |    74352 |    16779      7 |      387 |      328
276.64/276.72	c  276s |      14 |   632700 |    74552 |    16779      7 |      387 |      328
278.94/279.09	c  278s |      14 |   633110 |    74752 |    16779      7 |      387 |      328
281.74/281.84	c  281s |      14 |   633502 |    74952 |    16779      7 |      387 |      328
283.94/284.03	c  283s |      14 |   633633 |    75052 |    16779      7 |      387 |      328
287.25/287.38	c  287s |      14 |   633922 |    75252 |    16779      7 |      387 |      328
289.55/289.67	c  289s |      14 |   634338 |    75452 |    16779      7 |      387 |      328
291.65/291.73	c  291s |      14 |   634522 |    75552 |    16779      7 |      387 |      328
293.76/293.82	c  293s |      14 |   634706 |    75652 |    16779      7 |      387 |      328
296.65/296.71	c  296s |      14 |   634864 |    75752 |    16779      7 |      387 |      328
299.35/299.45	c  299s |      14 |   635050 |    75852 |    16779      7 |      387 |      328
301.75/301.80	c  301s |      14 |   635253 |    75952 |    16779      7 |      387 |      328
305.04/305.10	c  304s |      14 |   635561 |    76152 |    16779      7 |      387 |      328
308.84/308.99	c  308s |      14 |   636070 |    76352 |    16779      7 |      387 |      328
311.44/311.58	c  311s |      14 |   650786 |    77352 |    16779      8 |      387 |      328
313.55/313.65	c  313s |      14 |   668756 |    78752 |    16779      8 |      387 |      328
315.65/315.71	c  315s |      14 |   685486 |    79852 |    16779      8 |      388 |      329
317.74/317.90	c  317s |      14 |   696054 |    80952 |    16779      8 |      388 |      329
319.94/320.09	c  319s |      14 |   706309 |    82152 |    16779      8 |      388 |      329
322.25/322.31	c  322s |      14 |   723240 |    83452 |    16779      8 |      388 |      329
324.24/324.35	c  324s |      14 |   737992 |    84752 |    16779      8 |      389 |      330
326.24/326.36	c  326s |      14 |   761326 |    86152 |    16779      8 |      389 |      330
328.34/328.42	c  328s |      14 |   780115 |    87252 |    18457      9 |      390 |      331
328.74/328.90	c  328s |      15 |   786461 |    87632 |    18457      9 |      390 |      331
331.05/331.13	c  330s |      15 |   808094 |    89032 |    18457      9 |      391 |      332
333.04/333.17	c  332s |      15 |   826422 |    90332 |    18457      9 |      391 |      332
335.14/335.23	c  334s |      15 |   839443 |    91232 |    18457      9 |      391 |      332
337.34/337.49	c  337s |      15 |   851642 |    92132 |    18457      9 |      391 |      332
340.04/340.13	c  339s |      15 |   854186 |    92732 |    18457      9 |      391 |      332
342.44/342.55	c  342s |      15 |   856015 |    93232 |    18457      9 |      391 |      332
345.74/345.85	c  345s |      15 |   856934 |    93532 |    18457      9 |      391 |      332
347.84/347.99	c  347s |      15 |   857490 |    93732 |    18457      9 |      391 |      332
350.24/350.35	c  350s |      15 |   859384 |    94232 |    18457      9 |      391 |      332
352.54/352.64	c  352s |      15 |   860593 |    94532 |    18457      9 |      391 |      332
355.04/355.12	c  354s |      15 |   861555 |    94832 |    18457      9 |      391 |      332
357.63/357.78	c  357s |      15 |   862736 |    95232 |    18457      9 |      391 |      332
360.03/360.17	c  359s |      15 |   863433 |    95432 |    18457      9 |      391 |      332
362.94/363.03	c  362s |      15 |   863724 |    95532 |    18457      9 |      391 |      332
365.93/366.01	c  365s |      15 |   863861 |    95632 |    18457      9 |      391 |      332
367.93/368.05	c  367s |      15 |   865025 |    95832 |    18457      9 |      391 |      332
370.23/370.37	c  370s |      15 |   865283 |    95932 |    18457      9 |      391 |      332
372.73/372.80	c  372s |      15 |   865929 |    96132 |    18457      9 |      391 |      332
374.73/374.88	c  374s |      15 |   883042 |    97032 |    18457     10 |      391 |      332
376.93/377.02	c  376s |      15 |   904354 |    98232 |    18457     10 |      391 |      332
379.03/379.13	c  378s |      15 |   914035 |    99232 |    18457     10 |      391 |      332
381.13/381.28	c  381s |      15 |   928734 |   100632 |    18457     10 |      392 |      333
383.33/383.44	c  383s |      15 |   943867 |   101932 |    18457     10 |      392 |      333
385.33/385.48	c  385s |      15 |   948702 |   102832 |    18457     10 |      392 |      333
387.43/387.53	c  387s |      15 |   967114 |   103932 |    18457     10 |      393 |      334
389.63/389.76	c  389s |      15 |   981016 |   104932 |    18457     10 |      393 |      334
391.83/391.90	c  391s |      15 |   997259 |   106232 |    18457     10 |      393 |      334
393.84/393.92	c  393s |      15 |  1007909 |   107132 |    18457     11 |      393 |      334
395.93/396.02	c  395s |      15 |  1027925 |   108532 |    18457     11 |      393 |      334
398.03/398.12	c  397s |      15 |  1036999 |   109732 |    18457     11 |      393 |      334
400.13/400.21	c  399s |      15 |  1049657 |   110832 |    18457     11 |      393 |      334
402.33/402.45	c  402s |      15 |  1052255 |   111532 |    18457     11 |      393 |      334
404.53/404.60	c  404s |      15 |  1053015 |   111932 |    18457     11 |      393 |      334
406.63/406.79	c  406s |      15 |  1054221 |   112332 |    18457     11 |      393 |      334
408.82/408.98	c  408s |      15 |  1058270 |   112932 |    18457     11 |      393 |      334
411.22/411.36	c  411s |      15 |  1063650 |   114032 |    18457     11 |      393 |      334
413.42/413.52	c  413s |      15 |  1080688 |   115232 |    18457     11 |      393 |      334
415.42/415.56	c  415s |      15 |  1096746 |   116532 |    18457     11 |      393 |      334
417.52/417.68	c  417s |      15 |  1101232 |   117432 |    18457     11 |      393 |      334
420.02/420.12	c  419s |      15 |  1102532 |   117932 |    18457     11 |      393 |      334
422.22/422.35	c  422s |      15 |  1104263 |   118432 |    18457     11 |      393 |      334
424.32/424.43	c  424s |      15 |  1107152 |   118932 |    18457     12 |      393 |      334
426.42/426.51	c  426s |      15 |  1113207 |   119732 |    18457     12 |      393 |      334
428.52/428.61	c  428s |      15 |  1116381 |   120532 |    18457     12 |      393 |      334
430.62/430.70	c  430s |      15 |  1119913 |   121432 |    18457     12 |      393 |      334
433.43/433.53	c  433s |      15 |  1120851 |   121832 |    18457     12 |      393 |      334
435.63/435.78	c  435s |      15 |  1122578 |   122332 |    18457     12 |      393 |      334
437.73/437.86	c  437s |      15 |  1129006 |   123132 |    18457     12 |      393 |      334
440.03/440.18	c  439s |      15 |  1133862 |   124032 |    18457     12 |      393 |      334
442.02/442.18	c  441s |      15 |  1141800 |   124732 |    18457     12 |      393 |      334
444.22/444.30	c  444s |      15 |  1156434 |   125832 |    18457     12 |      393 |      334
446.32/446.48	c  446s |      15 |  1160159 |   126932 |    18457     12 |      393 |      334
448.52/448.65	c  448s |      15 |  1166595 |   127832 |    18457     13 |      393 |      334
450.62/450.74	c  450s |      15 |  1187786 |   129232 |    18457     13 |      393 |      334
452.82/452.91	c  452s |      15 |  1207378 |   130632 |    18457     13 |      393 |      334
454.02/454.11	c  453s |      16 |  1217136 |   131552 |    20303     13 |      393 |      334
456.12/456.23	c  455s |      16 |  1233051 |   132652 |    20303     13 |      393 |      334
458.22/458.34	c  458s |      16 |  1235075 |   133252 |    20303     13 |      393 |      334
460.83/460.98	c  460s |      16 |  1236118 |   133652 |    20303     13 |      393 |      334
463.52/463.62	c  463s |      16 |  1236943 |   134052 |    20303     13 |      393 |      334
465.52/465.64	c  465s |      16 |  1237699 |   134452 |    20303     13 |      393 |      334
468.12/468.20	c  467s |      16 |  1238613 |   134852 |    20303     13 |      393 |      334
470.83/470.98	c  470s |      16 |  1239177 |   135152 |    20303     13 |      393 |      334
472.93/473.07	c  472s |      16 |  1248099 |   136052 |    20303     13 |      393 |      334
475.02/475.17	c  474s |      16 |  1270387 |   137552 |    20303     13 |      393 |      334
477.22/477.33	c  477s |      16 |  1284935 |   138452 |    20303     13 |      393 |      334
479.53/479.61	c  479s |      16 |  1298344 |   139552 |    20303     14 |      393 |      334
481.72/481.88	c  481s |      16 |  1319490 |   140852 |    20303     14 |      393 |      334
483.92/484.04	c  483s |      16 |  1334189 |   142052 |    20303     14 |      393 |      334
486.02/486.16	c  485s |      16 |  1355225 |   143452 |    20303     14 |      393 |      334
488.02/488.16	c  487s |      16 |  1370434 |   144452 |    20303     14 |      393 |      334
490.22/490.32	c  490s |      16 |  1382028 |   145552 |    20303     14 |      393 |      334
492.42/492.59	c  492s |      16 |  1385567 |   146152 |    20303     14 |      393 |      334
494.72/494.83	c  494s |      16 |  1391268 |   147052 |    20303     14 |      393 |      334
497.62/497.75	c  497s |      16 |  1393282 |   147552 |    20303     14 |      393 |      334
499.72/499.86	c  499s |      16 |  1394903 |   147852 |    20303     14 |      393 |      334
501.71/501.87	c  501s |      16 |  1403320 |   149052 |    20303     14 |      393 |      334
503.72/503.88	c  503s |      16 |  1405949 |   149552 |    20303     14 |      393 |      334
506.21/506.31	c  506s |      16 |  1406792 |   149852 |    20303     14 |      393 |      334
508.31/508.41	c  508s |      16 |  1414338 |   150452 |    20303     15 |      393 |      334
510.32/510.42	c  510s |      16 |  1434404 |   151752 |    20303     15 |      393 |      334
512.31/512.49	c  512s |      16 |  1443908 |   152752 |    20303     15 |      393 |      334
514.41/514.59	c  514s |      16 |  1451904 |   153752 |    20303     15 |      393 |      334
516.41/516.60	c  516s |      16 |  1461050 |   154852 |    20303     15 |      393 |      334
518.51/518.66	c  518s |      16 |  1475201 |   155952 |    20303     15 |      393 |      334
520.61/520.73	c  520s |      16 |  1487723 |   156952 |    20303     15 |      393 |      334
522.61/522.79	c  522s |      16 |  1505309 |   157952 |    20303     15 |      393 |      334
524.81/524.91	c  524s |      16 |  1523410 |   159152 |    20303     15 |      393 |      334
526.92/527.01	c  526s |      16 |  1536971 |   160252 |    20303     15 |      393 |      334
529.12/529.28	c  529s |      16 |  1549854 |   161252 |    20303     16 |      393 |      334
531.11/531.30	c  531s |      16 |  1563283 |   162252 |    20303     16 |      393 |      334
533.31/533.42	c  533s |      16 |  1576794 |   163552 |    20303     16 |      393 |      334
535.41/535.50	c  535s |      16 |  1578657 |   164152 |    20303     16 |      393 |      334
537.51/537.63	c  537s |      16 |  1589819 |   165152 |    20303     16 |      393 |      334
539.51/539.64	c  539s |      16 |  1599204 |   166152 |    20303     16 |      393 |      334
541.60/541.79	c  541s |      16 |  1600419 |   166652 |    20303     16 |      393 |      334
543.70/543.88	c  543s |      16 |  1608574 |   167452 |    20303     16 |      393 |      334
545.90/546.02	c  545s |      16 |  1613066 |   168152 |    20303     16 |      393 |      334
548.00/548.19	c  547s |      16 |  1622733 |   169152 |    20303     16 |      393 |      334
550.40/550.56	c  550s |      16 |  1627546 |   169852 |    20303     16 |      393 |      334
552.50/552.67	c  552s |      16 |  1629055 |   170252 |    20303     16 |      393 |      334
554.70/554.88	c  554s |      16 |  1630240 |   170752 |    20303     16 |      393 |      334
557.10/557.22	c  556s |      16 |  1634318 |   171452 |    20303     16 |      393 |      334
559.30/559.43	c  559s |      16 |  1636054 |   172052 |    20303     16 |      393 |      334
561.30/561.48	c  561s |      16 |  1640977 |   172552 |    20303     17 |      393 |      334
563.50/563.65	c  563s |      16 |  1663395 |   174152 |    20303     17 |      393 |      334
565.60/565.75	c  565s |      16 |  1681240 |   175552 |    20303     17 |      394 |      335
567.61/567.78	c  567s |      16 |  1697853 |   176852 |    20303     17 |      394 |      335
569.71/569.81	c  569s |      16 |  1713097 |   177952 |    20303     17 |      394 |      335
571.80/571.90	c  571s |      16 |  1739899 |   179352 |    20303     17 |      394 |      335
573.80/573.92	c  573s |      16 |  1748276 |   180352 |    20303     17 |      394 |      335
576.00/576.13	c  575s |      16 |  1764056 |   181552 |    20303     17 |      394 |      335
578.00/578.16	c  577s |      16 |  1779844 |   182452 |    20303     17 |      394 |      335
580.10/580.25	c  580s |      16 |  1783572 |   183152 |    20303     17 |      394 |      335
582.10/582.26	c  582s |      16 |  1797974 |   184252 |    20303     18 |      394 |      335
584.10/584.28	c  584s |      16 |  1817650 |   185852 |    20303     18 |      394 |      335
586.20/586.35	c  586s |      16 |  1835547 |   187352 |    20303     18 |      394 |      335
588.20/588.38	c  588s |      16 |  1848313 |   188752 |    20303     18 |      394 |      335
590.40/590.53	c  590s |      16 |  1860174 |   189952 |    20303     18 |      394 |      335
592.90/593.03	c  592s |      16 |  1865958 |   190852 |    20303     18 |      394 |      335
594.89/595.09	c  594s |      16 |  1874837 |   192052 |    20303     18 |      394 |      335
597.20/597.35	c  597s |      16 |  1881004 |   192952 |    20303     18 |      394 |      335
599.80/599.91	c  599s |      16 |  1881979 |   193352 |    20303     18 |      394 |      335
601.90/602.04	c  601s |      16 |  1883993 |   193752 |    20303     18 |      394 |      335
603.91/604.09	c  603s |      16 |  1885889 |   194252 |    20303     18 |      394 |      335
606.40/606.50	c  606s |      16 |  1886303 |   194452 |    20303     18 |      394 |      335
609.10/609.25	c  609s |      16 |  1887011 |   194752 |    20303     18 |      394 |      335
611.20/611.31	c  611s |      16 |  1887855 |   195052 |    20303     18 |      394 |      335
613.70/613.83	c  613s |      16 |  1889288 |   195452 |    20303     18 |      394 |      335
616.00/616.19	c  615s |      16 |  1890241 |   195752 |    20303     18 |      394 |      335
618.10/618.26	c  618s |      16 |  1891974 |   196152 |    22334     18 |      394 |      335
620.20/620.39	c  620s |      16 |  1892803 |   196452 |    22334     18 |      394 |      335
623.20/623.36	c  623s |      16 |  1893185 |   196652 |    22334     18 |      394 |      335
625.49/625.62	c  625s |      17 |  1900193 |   197432 |    22334     18 |      394 |      335
627.59/627.73	c  627s |      17 |  1918171 |   198632 |    22334     19 |      394 |      335
629.69/629.84	c  629s |      17 |  1940697 |   200032 |    22334     19 |      394 |      335
631.89/632.00	c  631s |      17 |  1947248 |   201032 |    22334     19 |      394 |      335
633.89/634.08	c  633s |      17 |  1959665 |   202232 |    22334     19 |      394 |      335
636.19/636.37	c  636s |      17 |  1963784 |   203132 |    22334     19 |      394 |      335
638.29/638.46	c  638s |      17 |  1987715 |   204432 |    22334     19 |      394 |      335
640.59/640.74	c  640s |      17 |  2004009 |   205732 |    22334     19 |      394 |      335
643.89/644.00	c  643s |      17 |  2005034 |   206132 |    22334     19 |      394 |      335
646.09/646.20	c  645s |      17 |  2008844 |   206932 |    22334     19 |      394 |      335
648.09/648.20	c  647s |      17 |  2012867 |   207732 |    22334     19 |      394 |      335
650.09/650.26	c  650s |      17 |  2015088 |   208332 |    22334     19 |      394 |      335
652.79/652.94	c  652s |      17 |  2018288 |   208932 |    22334     19 |      394 |      335
655.19/655.32	c  655s |      17 |  2020248 |   209432 |    22334     19 |      394 |      335
657.49/657.63	c  657s |      17 |  2021500 |   209732 |    22334     19 |      394 |      335
659.59/659.74	c  659s |      17 |  2022245 |   209932 |    22334     19 |      394 |      335
661.88/662.06	c  661s |      17 |  2022664 |   210132 |    22334     19 |      394 |      335
665.28/665.46	c  665s |      17 |  2023489 |   210432 |    22334     19 |      394 |      335
668.18/668.34	c  668s |      17 |  2024389 |   210732 |    22334     19 |      394 |      335
671.28/671.48	c  671s |      17 |  2025186 |   210932 |    22334     19 |      394 |      335
673.48/673.62	c  673s |      17 |  2026877 |   211332 |    22334     19 |      394 |      335
676.49/676.62	c  676s |      17 |  2027783 |   211632 |    22334     19 |      394 |      335
678.78/678.98	c  678s |      17 |  2028894 |   211932 |    22334     20 |      394 |      335
680.79/681.00	c  680s |      17 |  2029380 |   212132 |    22334     20 |      394 |      335
682.88/683.00	c  682s |      17 |  2030683 |   212432 |    22334     20 |      394 |      335
686.08/686.23	c  685s |      17 |  2031607 |   212732 |    22334     20 |      394 |      335
689.38/689.51	c  689s |      17 |  2032471 |   213032 |    22334     20 |      394 |      335
692.08/692.22	c  691s |      17 |  2032980 |   213232 |    22334     20 |      394 |      335
695.09/695.20	c  694s |      17 |  2033581 |   213432 |    22334     20 |      394 |      335
697.29/697.45	c  697s |      17 |  2034202 |   213632 |    22334     20 |      394 |      335
699.68/699.80	c  699s |      17 |  2036273 |   214032 |    22334     20 |      394 |      335
702.48/702.68	c  702s |      17 |  2037476 |   214332 |    22334     20 |      394 |      335
705.18/705.33	c  705s |      17 |  2038828 |   214732 |    22334     20 |      394 |      335
707.78/707.97	c  707s |      17 |  2039986 |   215032 |    22334     20 |      394 |      335
709.98/710.13	c  709s |      17 |  2040831 |   215232 |    22334     20 |      394 |      335
712.48/712.62	c  712s |      17 |  2041394 |   215432 |    22334     20 |      394 |      335
715.78/715.93	c  715s |      17 |  2042915 |   215832 |    22334     20 |      394 |      335
719.08/719.22	c  718s |      17 |  2043812 |   216132 |    22334     20 |      394 |      335
722.08/722.22	c  721s |      17 |  2044474 |   216332 |    22334     20 |      394 |      335
724.38/724.57	c  724s |      17 |  2045012 |   216532 |    22334     20 |      394 |      335
727.18/727.39	c  727s |      17 |  2045586 |   216732 |    22334     20 |      394 |      335
730.78/730.95	c  730s |      17 |  2045966 |   216932 |    22334     20 |      394 |      335
733.38/733.59	c  733s |      17 |  2046874 |   217132 |    22334     20 |      394 |      335
735.79/735.97	c  735s |      17 |  2047563 |   217332 |    22334     20 |      394 |      335
737.88/738.05	c  737s |      17 |  2048224 |   217532 |    22334     20 |      394 |      335
739.98/740.18	c  739s |      17 |  2049099 |   217732 |    22334     20 |      394 |      335
743.18/743.38	c  743s |      17 |  2049589 |   217932 |    22334     20 |      394 |      335
746.89/747.02	c  746s |      17 |  2050133 |   218132 |    22334     20 |      394 |      335
748.88/749.09	c  748s |      17 |  2050297 |   218232 |    22334     20 |      394 |      335
751.68/751.81	c  751s |      17 |  2050790 |   218432 |    22334     20 |      394 |      335
753.78/753.93	c  753s |      17 |  2051424 |   218632 |    22334     20 |      394 |      335
755.78/755.99	c  755s |      17 |  2051641 |   218732 |    22334     20 |      394 |      335
758.98/759.16	c  758s |      17 |  2052100 |   218932 |    22334     20 |      394 |      335
762.28/762.44	c  762s |      17 |  2052520 |   219132 |    22334     20 |      394 |      335
765.58/765.72	c  765s |      17 |  2053063 |   219332 |    22334     20 |      394 |      335
769.18/769.31	c  769s |      17 |  2053709 |   219532 |    22334     20 |      394 |      335
772.68/772.89	c  772s |      17 |  2054219 |   219732 |    22334     20 |      394 |      335
775.08/775.30	c  775s |      17 |  2054977 |   219932 |    22334     20 |      394 |      335
778.57/778.74	c  778s |      17 |  2055619 |   220132 |    22334     20 |      394 |      335
781.77/781.97	c  781s |      17 |  2056452 |   220332 |    22334     20 |      394 |      335
785.38/785.52	c  785s |      17 |  2057033 |   220532 |    22334     20 |      394 |      335
787.48/787.66	c  787s |      17 |  2057189 |   220632 |    22334     20 |      394 |      335
790.67/790.80	c  790s |      17 |  2057923 |   220832 |    22334     20 |      394 |      335
792.77/792.97	c  792s |      17 |  2058129 |   220932 |    22334     20 |      394 |      335
795.97/796.12	c  795s |      17 |  2059067 |   221132 |    22334     20 |      394 |      335
798.17/798.37	c  798s |      17 |  2059802 |   221332 |    22334     20 |      394 |      335
801.67/801.80	c  801s |      17 |  2060369 |   221532 |    22334     20 |      394 |      335
803.87/804.07	c  803s |      17 |  2060852 |   221732 |    22334     20 |      394 |      335
806.18/806.37	c  806s |      17 |  2061466 |   221932 |    22334     20 |      394 |      335
808.87/809.08	c  808s |      17 |  2062019 |   222132 |    22334     20 |      394 |      335
812.17/812.38	c  812s |      17 |  2062449 |   222332 |    22334     20 |      394 |      335
814.87/815.10	c  814s |      17 |  2063465 |   222532 |    22334     20 |      394 |      335
817.57/817.70	c  817s |      17 |  2064195 |   222732 |    22334     20 |      394 |      335
819.97/820.15	c  819s |      17 |  2065033 |   222932 |    22334     20 |      394 |      335
822.77/822.98	c  822s |      17 |  2065705 |   223132 |    22334     20 |      394 |      335
825.76/825.91	c  825s |      17 |  2066253 |   223332 |    22334     20 |      394 |      335
828.96/829.17	c  828s |      17 |  2066651 |   223532 |    22334     20 |      394 |      335
831.47/831.65	c  831s |      17 |  2067308 |   223732 |    22334     20 |      394 |      335
834.26/834.46	c  834s |      17 |  2067849 |   223932 |    22334     20 |      394 |      335
837.56/837.74	c  837s |      17 |  2068525 |   224132 |    22334     20 |      394 |      335
840.76/840.92	c  840s |      17 |  2068938 |   224332 |    22334     20 |      394 |      335
843.36/843.56	c  843s |      17 |  2069610 |   224532 |    22334     21 |      394 |      335
845.66/845.86	c  845s |      17 |  2071807 |   225032 |    22334     21 |      394 |      335
848.66/848.84	c  848s |      17 |  2073053 |   225432 |    22334     21 |      394 |      335
851.76/851.99	c  851s |      17 |  2073808 |   225732 |    22334     21 |      394 |      335
853.86/854.04	c  853s |      17 |  2075395 |   226032 |    22334     21 |      394 |      335
855.96/856.17	c  855s |      17 |  2077426 |   226332 |    22334     21 |      394 |      335
858.66/858.81	c  858s |      17 |  2078339 |   226532 |    22334     21 |      394 |      335
860.66/860.89	c  860s |      17 |  2090941 |   227632 |    22334     21 |      395 |      336
862.76/862.97	c  862s |      17 |  2114130 |   229232 |    22334     21 |      396 |      337
864.86/865.08	c  864s |      17 |  2124550 |   230432 |    22334     21 |      396 |      337
866.96/867.12	c  866s |      17 |  2131605 |   231732 |    22334     21 |      396 |      337
869.06/869.24	c  869s |      17 |  2136564 |   232832 |    22334     21 |      396 |      337
871.16/871.37	c  871s |      17 |  2139688 |   233532 |    22334     21 |      396 |      337
873.16/873.38	c  873s |      17 |  2143793 |   234332 |    22334     21 |      396 |      337
875.36/875.59	c  875s |      17 |  2145674 |   234832 |    22334     21 |      396 |      337
877.46/877.60	c  877s |      17 |  2164743 |   236132 |    22334     22 |      396 |      337
879.46/879.64	c  879s |      17 |  2197233 |   237832 |    22334     22 |      396 |      337
881.46/881.68	c  881s |      17 |  2219623 |   239432 |    22334     22 |      396 |      337
883.45/883.68	c  883s |      17 |  2247381 |   241032 |    22334     22 |      396 |      337
885.65/885.81	c  885s |      17 |  2265757 |   242532 |    22334     22 |      396 |      337
887.75/887.90	c  887s |      17 |  2281390 |   243932 |    22334     22 |      396 |      337
889.76/889.98	c  889s |      17 |  2298369 |   245332 |    22334     22 |      396 |      337
891.85/892.00	c  891s |      17 |  2313697 |   246532 |    22334     22 |      396 |      337
893.85/894.04	c  893s |      17 |  2321434 |   247432 |    22334     22 |      396 |      337
895.95/896.11	c  895s |      17 |  2326481 |   248332 |    22334     23 |      396 |      337
897.95/898.14	c  897s |      17 |  2342503 |   249732 |    22334     23 |      396 |      337
899.95/900.18	c  899s |      17 |  2355309 |   251032 |    22334     23 |      396 |      337
902.05/902.24	c  902s |      17 |  2362286 |   251832 |    22334     23 |      396 |      337
904.45/904.68	c  904s |      17 |  2368990 |   252632 |    22334     23 |      396 |      337
906.95/907.19	c  906s |      17 |  2371488 |   253132 |    22334     23 |      396 |      337
909.25/909.46	c  909s |      17 |  2378999 |   254332 |    22334     23 |      396 |      337
911.35/911.57	c  911s |      17 |  2399601 |   255632 |    22334     23 |      396 |      337
913.45/913.68	c  913s |      17 |  2425394 |   257132 |    22334     23 |      396 |      337
915.55/915.75	c  915s |      17 |  2438033 |   258232 |    22334     23 |      396 |      337
917.55/917.77	c  917s |      17 |  2443025 |   259232 |    22334     23 |      396 |      337
919.65/919.88	c  919s |      17 |  2452360 |   260432 |    22334     23 |      396 |      337
921.95/922.13	c  921s |      17 |  2454201 |   260932 |    22334     23 |      396 |      337
924.04/924.27	c  924s |      17 |  2456126 |   261432 |    22334     23 |      396 |      337
926.44/926.61	c  926s |      17 |  2457126 |   261732 |    22334     24 |      396 |      337
928.54/928.71	c  928s |      17 |  2466683 |   263232 |    22334     24 |      396 |      337
930.55/930.75	c  930s |      17 |  2479816 |   264832 |    22334     24 |      396 |      337
932.55/932.79	c  932s |      17 |  2483505 |   265632 |    22334     24 |      396 |      337
934.65/934.88	c  934s |      17 |  2507705 |   267332 |    22334     24 |      396 |      337
936.75/936.99	c  936s |      17 |  2522220 |   268632 |    22334     24 |      396 |      337
939.15/939.33	c  939s |      17 |  2525807 |   269532 |    22334     24 |      396 |      337
941.25/941.48	c  941s |      17 |  2527619 |   269932 |    22334     24 |      396 |      337
943.35/943.52	c  943s |      17 |  2528909 |   270332 |    22334     24 |      396 |      337
945.45/945.63	c  945s |      17 |  2530154 |   270732 |    22334     24 |      396 |      337
947.45/947.64	c  947s |      17 |  2530745 |   271032 |    22334     24 |      396 |      337
950.05/950.23	c  949s |      17 |  2531889 |   271432 |    22334     24 |      396 |      337
952.45/952.66	c  952s |      17 |  2533450 |   271932 |    22334     24 |      396 |      337
954.65/954.86	c  954s |      17 |  2535003 |   272332 |    22334     24 |      396 |      337
957.25/957.44	c  957s |      17 |  2536127 |   272732 |    22334     24 |      396 |      337
959.55/959.72	c  959s |      17 |  2537027 |   273032 |    22334     24 |      396 |      337
961.84/962.09	c  961s |      17 |  2538343 |   273432 |    22334     24 |      396 |      337
963.94/964.15	c  963s |      17 |  2539305 |   273732 |    22334     24 |      396 |      337
966.24/966.48	c  966s |      17 |  2540654 |   274132 |    22334     24 |      396 |      337
968.54/968.79	c  968s |      17 |  2541596 |   274432 |    22334     24 |      396 |      337
971.15/971.39	c  971s |      17 |  2542838 |   274832 |    22334     24 |      396 |      337
973.64/973.87	c  973s |      17 |  2543679 |   275132 |    22334     24 |      396 |      337
976.34/976.53	c  976s |      17 |  2544630 |   275432 |    22334     25 |      396 |      337
978.44/978.67	c  978s |      17 |  2548625 |   276432 |    22334     25 |      396 |      337
980.54/980.75	c  980s |      17 |  2554997 |   277432 |    22334     25 |      396 |      337
982.94/983.20	c  982s |      17 |  2566080 |   278732 |    22334     25 |      396 |      337
985.04/985.23	c  984s |      17 |  2571840 |   279832 |    22334     25 |      396 |      337
987.04/987.28	c  987s |      17 |  2586808 |   281132 |    22334     25 |      396 |      337
989.14/989.35	c  989s |      17 |  2610777 |   282632 |    22334     25 |      396 |      337
991.44/991.61	c  991s |      17 |  2624143 |   283932 |    22334     25 |      396 |      337
993.44/993.69	c  993s |      17 |  2633739 |   285132 |    22334     25 |      396 |      337
995.73/995.95	c  995s |      17 |  2638707 |   286232 |    22334     25 |      396 |      337
997.83/998.09	c  997s |      17 |  2641750 |   287032 |    22334     25 |      396 |      337
999.94/1000.17	c  999s |      17 |  2644866 |   287932 |    22334     25 |      396 |      337
1002.05/1002.24	c 1002s |      17 |  2650073 |   289032 |    22334     26 |      396 |      337
1004.15/1004.34	c 1004s |      17 |  2655950 |   290132 |    22334     26 |      396 |      337
1006.24/1006.47	c 1006s |      17 |  2660002 |   291132 |    22334     26 |      396 |      337
1008.34/1008.52	c 1008s |      17 |  2674285 |   292632 |    22334     26 |      396 |      337
1010.54/1010.74	c 1010s |      17 |  2676815 |   293532 |    22334     26 |      396 |      337
1012.95/1013.11	c 1012s |      17 |  2683855 |   294732 |    24568     26 |      396 |      337
1014.94/1015.13	c 1014s |      17 |  2688341 |   295632 |    24568     26 |      396 |      337
1016.54/1016.77	c 1016s |      18 |  2690338 |   296252 |    24568     26 |      396 |      337
1018.64/1018.80	c 1018s |      18 |  2705965 |   297652 |    24568     26 |      396 |      337
1020.74/1020.93	c 1020s |      18 |  2718420 |   299152 |    24568     26 |      396 |      337
1022.84/1023.02	c 1022s |      18 |  2732666 |   300352 |    24568     27 |      396 |      337
1024.94/1025.10	c 1024s |      18 |  2752061 |   302252 |    24568     27 |      396 |      337
1026.93/1027.11	c 1026s |      18 |  2771932 |   303852 |    24568     27 |      396 |      337
1028.93/1029.12	c 1028s |      18 |  2798897 |   305652 |    24568     27 |      396 |      337
1030.93/1031.12	c 1030s |      18 |  2815199 |   306952 |    24568     27 |      397 |      338
1032.93/1033.19	c 1032s |      18 |  2842240 |   308452 |    24568     27 |      397 |      338
1035.04/1035.21	c 1034s |      18 |  2860686 |   309652 |    24568     27 |      397 |      338
1037.03/1037.28	c 1037s |      18 |  2875172 |   310852 |    24568     27 |      397 |      338
1039.53/1039.73	c 1039s |      18 |  2878342 |   311652 |    24568     27 |      397 |      338
1041.54/1041.77	c 1041s |      18 |  2885625 |   312452 |    24568     28 |      397 |      338
1043.63/1043.80	c 1043s |      18 |  2908320 |   314152 |    24568     28 |      398 |      339
1045.63/1045.84	c 1045s |      18 |  2936607 |   315752 |    24568     28 |      398 |      339
1048.03/1048.24	c 1048s |      18 |  2941122 |   316452 |    24568     28 |      398 |      339
1050.83/1051.03	c 1050s |      18 |  2941913 |   316852 |    24568     28 |      398 |      339
1052.83/1053.07	c 1052s |      18 |  2943071 |   317252 |    24568     28 |      398 |      339
1055.12/1055.33	c 1055s |      18 |  2944557 |   317752 |    24568     28 |      398 |      339
1057.32/1057.50	c 1057s |      18 |  2945267 |   318052 |    24568     28 |      398 |      339
1059.62/1059.81	c 1059s |      18 |  2946014 |   318352 |    24568     28 |      398 |      339
1062.02/1062.21	c 1061s |      18 |  2946731 |   318652 |    24568     28 |      398 |      339
1064.22/1064.41	c 1064s |      18 |  2950012 |   319152 |    24568     28 |      398 |      339
1066.22/1066.45	c 1066s |      18 |  2971336 |   320252 |    24568     28 |      398 |      339
1068.32/1068.50	c 1068s |      18 |  2984567 |   321252 |    24568     28 |      398 |      339
1070.32/1070.56	c 1070s |      18 |  2989251 |   321752 |    24568     28 |      398 |      339
1072.42/1072.61	c 1072s |      18 |  3004893 |   322852 |    24568     29 |      398 |      339
1074.42/1074.65	c 1074s |      18 |  3015053 |   324452 |    24568     29 |      398 |      339
1076.42/1076.68	c 1076s |      18 |  3017478 |   325152 |    24568     29 |      398 |      339
1078.51/1078.74	c 1078s |      18 |  3026413 |   326152 |    24568     29 |      398 |      339
1080.51/1080.78	c 1080s |      18 |  3046181 |   327652 |    24568     29 |      398 |      339
1082.61/1082.88	c 1082s |      18 |  3047513 |   328352 |    24568     29 |      398 |      339
1084.81/1085.09	c 1084s |      18 |  3049343 |   329052 |    24568     29 |      398 |      339
1086.91/1087.15	c 1086s |      18 |  3050351 |   329552 |    24568     29 |      398 |      339
1088.91/1089.17	c 1088s |      18 |  3061131 |   330452 |    24568     29 |      398 |      339
1091.02/1091.29	c 1091s |      18 |  3069040 |   331652 |    24568     29 |      398 |      339
1093.11/1093.30	c 1093s |      18 |  3081561 |   332652 |    24568     29 |      398 |      339
1095.11/1095.36	c 1095s |      18 |  3103398 |   334152 |    24568     30 |      398 |      339
1097.31/1097.51	c 1097s |      18 |  3111123 |   335152 |    24568     30 |      398 |      339
1099.61/1099.80	c 1099s |      18 |  3116804 |   336152 |    24568     30 |      398 |      339
1101.71/1101.97	c 1101s |      18 |  3121205 |   336952 |    24568     30 |      398 |      339
1104.51/1104.76	c 1104s |      18 |  3123158 |   337452 |    24568     30 |      398 |      339
1106.71/1106.93	c 1106s |      18 |  3124694 |   337852 |    24568     30 |      398 |      339
1109.21/1109.42	c 1109s |      18 |  3125460 |   338152 |    24568     30 |      398 |      339
1111.70/1111.92	c 1111s |      18 |  3126572 |   338452 |    24568     30 |      398 |      339
1113.70/1113.96	c 1113s |      18 |  3130318 |   339452 |    24568     30 |      398 |      339
1115.80/1116.08	c 1115s |      18 |  3132956 |   340252 |    24568     30 |      398 |      339
1117.90/1118.10	c 1117s |      18 |  3134620 |   340852 |    24568     30 |      398 |      339
1120.49/1120.79	c 1120s |      18 |  3136176 |   341352 |    24568     30 |      398 |      339
1122.59/1122.82	c 1122s |      18 |  3137992 |   341852 |    24568     30 |      398 |      339
1124.59/1124.87	c 1124s |      18 |  3144286 |   342652 |    24568     31 |      398 |      339
1126.69/1126.93	c 1126s |      18 |  3163757 |   344252 |    24568     31 |      398 |      339
1128.69/1128.98	c 1128s |      18 |  3181446 |   345652 |    24568     31 |      398 |      339
1130.79/1131.09	c 1130s |      18 |  3195536 |   347052 |    24568     31 |      398 |      339
1132.99/1133.23	c 1132s |      18 |  3206869 |   348352 |    24568     31 |      398 |      339
1135.30/1135.55	c 1135s |      18 |  3213168 |   349252 |    24568     31 |      398 |      339
1137.70/1137.93	c 1137s |      18 |  3214297 |   349552 |    24568     31 |      398 |      339
1140.10/1140.38	c 1140s |      18 |  3214958 |   349852 |    24568     31 |      398 |      339
1142.60/1142.82	c 1142s |      18 |  3215277 |   350052 |    24568     31 |      398 |      339
1144.70/1144.98	c 1144s |      18 |  3221955 |   350652 |    24568     31 |      398 |      339
1147.10/1147.32	c 1147s |      18 |  3223791 |   351152 |    24568     31 |      398 |      339
1149.59/1149.83	c 1149s |      18 |  3224745 |   351452 |    24568     31 |      398 |      339
1151.60/1151.88	c 1151s |      18 |  3225277 |   351652 |    24568     31 |      398 |      339
1153.80/1154.09	c 1153s |      18 |  3233501 |   352652 |    24568     31 |      398 |      339
1155.90/1156.13	c 1155s |      18 |  3241606 |   353852 |    24568     32 |      398 |      339
1157.89/1158.15	c 1157s |      18 |  3251886 |   355152 |    24568     32 |      398 |      339
1160.08/1160.39	c 1160s |      18 |  3254566 |   355852 |    24568     32 |      398 |      339
1162.18/1162.49	c 1162s |      18 |  3263366 |   357152 |    24568     32 |      398 |      339
1164.38/1164.69	c 1164s |      18 |  3272669 |   358652 |    24568     32 |      398 |      339
1166.89/1167.19	c 1166s |      18 |  3281227 |   359752 |    24568     32 |      398 |      339
1168.98/1169.25	c 1169s |      18 |  3286921 |   360752 |    24568     32 |      398 |      339
1170.98/1171.28	c 1171s |      18 |  3290433 |   361452 |    24568     32 |      398 |      339
1173.48/1173.72	c 1173s |      18 |  3294542 |   362352 |    24568     32 |      398 |      339
1175.58/1175.82	c 1175s |      18 |  3296046 |   362952 |    24568     32 |      398 |      339
1178.07/1178.30	c 1178s |      18 |  3299124 |   363652 |    24568     32 |      398 |      339
1180.18/1180.43	c 1180s |      18 |  3302491 |   364252 |    24568     32 |      398 |      339
1182.17/1182.48	c 1182s |      18 |  3307355 |   365252 |    24568     33 |      398 |      339
1184.27/1184.58	c 1184s |      18 |  3322542 |   366752 |    24568     33 |      398 |      339
1186.37/1186.65	c 1186s |      18 |  3338144 |   368252 |    24568     33 |      398 |      339
1188.37/1188.67	c 1188s |      18 |  3352090 |   369652 |    24568     33 |      398 |      339
1190.87/1191.10	c 1190s |      18 |  3356716 |   370852 |    24568     33 |      398 |      339
1193.07/1193.31	c 1193s |      18 |  3364246 |   371952 |    24568     33 |      398 |      339
1195.17/1195.48	c 1195s |      18 |  3374324 |   372752 |    24568     33 |      398 |      339
1197.36/1197.66	c 1197s |      18 |  3385331 |   373952 |    24568     34 |      398 |      339
1199.46/1199.78	c 1199s |      18 |  3402690 |   375652 |    24568     34 |      398 |      339
1201.66/1201.93	c 1201s |      18 |  3419649 |   377352 |    24568     34 |      398 |      339
1203.76/1204.04	c 1203s |      18 |  3429400 |   378552 |    24568     34 |      398 |      339
1205.86/1206.15	c 1205s |      18 |  3440567 |   379752 |    24568     34 |      398 |      339
1208.06/1208.32	c 1208s |      18 |  3454802 |   381252 |    24568     34 |      398 |      339
1210.15/1210.47	c 1210s |      18 |  3456671 |   382052 |    24568     34 |      398 |      339
1212.25/1212.57	c 1212s |      18 |  3464583 |   383152 |    24568     35 |      398 |      339
1214.35/1214.68	c 1214s |      18 |  3472145 |   384252 |    24568     35 |      398 |      339
1216.46/1216.74	c 1216s |      18 |  3481591 |   385752 |    24568     35 |      398 |      339
1219.15/1219.40	c 1219s |      18 |  3483546 |   386452 |    24568     35 |      398 |      339
1221.45/1221.79	c 1221s |      18 |  3485471 |   387052 |    24568     35 |      398 |      339
1223.95/1224.20	c 1223s |      18 |  3487655 |   387652 |    24568     35 |      398 |      339
1226.05/1226.32	c 1226s |      18 |  3495986 |   389052 |    24568     35 |      398 |      339
1228.05/1228.32	c 1228s |      18 |  3498242 |   389752 |    24568     35 |      398 |      339
1230.35/1230.60	c 1230s |      18 |  3502815 |   390652 |    24568     35 |      398 |      339
1232.35/1232.70	c 1232s |      18 |  3504569 |   391252 |    24568     35 |      398 |      339
1234.45/1234.70	c 1234s |      18 |  3510402 |   392352 |    24568     36 |      398 |      339
1236.55/1236.86	c 1236s |      18 |  3514343 |   393352 |    24568     36 |      398 |      339
1238.64/1238.96	c 1238s |      18 |  3522141 |   394352 |    24568     36 |      398 |      339
1240.84/1241.14	c 1240s |      18 |  3525521 |   395152 |    24568     36 |      398 |      339
1242.85/1243.15	c 1242s |      18 |  3527295 |   395552 |    24568     36 |      398 |      339
1244.84/1245.17	c 1244s |      18 |  3532766 |   396452 |    24568     36 |      398 |      339
1247.05/1247.33	c 1247s |      18 |  3540534 |   397652 |    24568     36 |      398 |      339
1249.15/1249.42	c 1249s |      18 |  3543488 |   398452 |    24568     36 |      398 |      339
1251.25/1251.51	c 1251s |      18 |  3545138 |   399052 |    24568     36 |      398 |      339
1253.54/1253.82	c 1253s |      18 |  3547222 |   399652 |    24568     36 |      398 |      339
1255.64/1255.90	c 1255s |      18 |  3549975 |   400252 |    24568     36 |      398 |      339
1257.74/1258.01	c 1257s |      18 |  3552672 |   401052 |    24568     36 |      398 |      339
1259.84/1260.17	c 1259s |      18 |  3556880 |   402152 |    24568     37 |      398 |      339
1261.94/1262.23	c 1261s |      18 |  3559981 |   402852 |    24568     37 |      398 |      339
1263.94/1264.24	c 1264s |      18 |  3561915 |   403452 |    24568     37 |      398 |      339
1266.24/1266.53	c 1266s |      18 |  3572003 |   404652 |    24568     37 |      398 |      339
1268.34/1268.60	c 1268s |      18 |  3591314 |   405952 |    24568     37 |      398 |      339
1270.34/1270.66	c 1270s |      18 |  3609390 |   407252 |    24568     37 |      398 |      339
1272.44/1272.78	c 1272s |      18 |  3622991 |   408352 |    24568     38 |      398 |      339
1274.54/1274.88	c 1274s |      18 |  3640964 |   409852 |    24568     38 |      398 |      339
1276.64/1276.99	c 1276s |      18 |  3649693 |   410852 |    24568     38 |      398 |      339
1278.73/1279.03	c 1278s |      18 |  3668433 |   412552 |    24568     38 |      398 |      339
1280.83/1281.19	c 1280s |      18 |  3673053 |   413552 |    24568     38 |      398 |      339
1283.03/1283.31	c 1283s |      18 |  3680581 |   414452 |    24568     38 |      398 |      339
1285.13/1285.40	c 1285s |      18 |  3688355 |   415452 |    24568     38 |      398 |      339
1287.23/1287.52	c 1287s |      18 |  3702726 |   416752 |    24568     39 |      398 |      339
1289.33/1289.65	c 1289s |      18 |  3705632 |   417752 |    24568     39 |      398 |      339
1291.53/1291.83	c 1291s |      18 |  3707853 |   418452 |    24568     39 |      398 |      339
1293.63/1293.91	c 1293s |      18 |  3720385 |   419652 |    24568     39 |      398 |      339
1295.63/1295.92	c 1295s |      18 |  3735060 |   420952 |    24568     39 |      398 |      339
1297.73/1298.02	c 1297s |      18 |  3748931 |   422552 |    24568     40 |      398 |      339
1299.72/1300.03	c 1299s |      18 |  3775422 |   424352 |    24568     40 |      398 |      339
1301.82/1302.10	c 1301s |      18 |  3792072 |   425952 |    24568     40 |      398 |      339
1304.22/1304.54	c 1304s |      18 |  3795047 |   426752 |    24568     40 |      398 |      339
1306.32/1306.64	c 1306s |      18 |  3809971 |   427752 |    24568     40 |      398 |      339
1309.72/1310.01	c 1309s |      18 |  3812603 |   428352 |    24568     40 |      398 |      339
1311.92/1312.27	c 1312s |      18 |  3813124 |   428552 |    24568     40 |      398 |      339
1314.42/1314.78	c 1314s |      18 |  3814832 |   429052 |    24568     40 |      398 |      339
1316.81/1317.11	c 1316s |      18 |  3815341 |   429352 |    24568     40 |      398 |      339
1318.81/1319.13	c 1318s |      18 |  3819324 |   430052 |    24568     41 |      398 |      339
1320.82/1321.14	c 1320s |      18 |  3826970 |   431052 |    24568     41 |      398 |      339
1323.02/1323.34	c 1323s |      18 |  3828070 |   431452 |    24568     41 |      398 |      339
1325.41/1325.70	c 1325s |      18 |  3828951 |   431852 |    24568     41 |      398 |      339
1327.61/1327.91	c 1327s |      18 |  3829897 |   432152 |    24568     41 |      398 |      339
1329.71/1330.09	c 1329s |      18 |  3830907 |   432452 |    24568     41 |      398 |      339
1332.11/1332.41	c 1332s |      18 |  3833482 |   433152 |    24568     41 |      398 |      339
1334.51/1334.86	c 1334s |      18 |  3836962 |   433852 |    24568     41 |      398 |      339
1336.61/1336.92	c 1336s |      18 |  3841788 |   435052 |    24568     41 |      398 |      339
1338.61/1338.99	c 1338s |      18 |  3845250 |   435852 |    24568     41 |      398 |      339
1340.71/1341.04	c 1340s |      18 |  3846830 |   436352 |    24568     41 |      398 |      339
1343.00/1343.36	c 1343s |      18 |  3847833 |   436752 |    24568     41 |      398 |      339
1345.01/1345.40	c 1345s |      18 |  3851683 |   437452 |    24568     42 |      398 |      339
1347.21/1347.53	c 1347s |      18 |  3855115 |   438152 |    24568     42 |      398 |      339
1349.60/1349.95	c 1349s |      18 |  3858333 |   438952 |    24568     42 |      398 |      339
1352.01/1352.38	c 1352s |      18 |  3859917 |   439452 |    24568     42 |      398 |      339
1354.11/1354.45	c 1354s |      18 |  3861185 |   439752 |    24568     42 |      398 |      339
1356.20/1356.56	c 1356s |      18 |  3862790 |   440152 |    24568     42 |      398 |      339
1358.90/1359.28	c 1359s |      18 |  3864332 |   440452 |    24568     42 |      398 |      339
1361.61/1361.97	c 1361s |      18 |  3865641 |   440852 |    24568     42 |      398 |      339
1364.40/1364.77	c 1364s |      18 |  3866491 |   441152 |    24568     42 |      398 |      339
1366.50/1366.86	c 1366s |      18 |  3867445 |   441452 |    27025     42 |      398 |      339
1368.60/1368.95	c 1368s |      18 |  3868249 |   441652 |    27025     42 |      398 |      339
1371.70/1372.00	c 1371s |      18 |  3868817 |   441852 |    27025     42 |      398 |      339
1374.50/1374.87	c 1374s |      18 |  3869222 |   442052 |    27025     42 |      398 |      339
1377.00/1377.32	c 1377s |      18 |  3869676 |   442252 |    27025     42 |      398 |      339
1379.69/1380.02	c 1379s |      18 |  3870740 |   442552 |    27025     42 |      398 |      339
1382.29/1382.70	c 1382s |      18 |  3871270 |   442752 |    27025     42 |      398 |      339
1384.39/1384.76	c 1384s |      18 |  3872175 |   443052 |    27025     42 |      398 |      339
1386.49/1386.81	c 1386s |      18 |  3874163 |   443752 |    27025     42 |      398 |      339
1388.49/1388.85	c 1388s |      18 |  3874994 |   444152 |    27025     42 |      398 |      339
1389.58/1389.91	c 1389s |      19 |  3876528 |   444482 |    27025     42 |      398 |      339
1391.68/1392.02	c 1391s |      19 |  3901285 |   445982 |    27025     43 |      398 |      339
1393.78/1394.12	c 1393s |      19 |  3918633 |   447682 |    27025     43 |      398 |      339
1395.78/1396.16	c 1395s |      19 |  3935208 |   449382 |    27025     43 |      398 |      339
1397.89/1398.27	c 1398s |      19 |  3943892 |   450382 |    27025     43 |      398 |      339
1400.17/1400.53	c 1400s |      19 |  3946287 |   450982 |    27025     43 |      398 |      339
1402.47/1402.82	c 1402s |      19 |  3948306 |   451482 |    27025     43 |      398 |      339
1404.67/1405.03	c 1404s |      19 |  3955796 |   452482 |    27025     43 |      398 |      339
1406.78/1407.12	c 1406s |      19 |  3963418 |   453582 |    27025     43 |      398 |      339
1408.88/1409.24	c 1409s |      19 |  3966065 |   454082 |    27025     43 |      398 |      339
1411.57/1411.99	c 1411s |      19 |  3967449 |   454482 |    27025     43 |      398 |      339
1414.17/1414.58	c 1414s |      19 |  3968450 |   454782 |    27025     43 |      398 |      339
1416.87/1417.22	c 1416s |      19 |  3970844 |   455282 |    27025     43 |      398 |      339
1418.86/1419.29	c 1419s |      19 |  3973324 |   455782 |    27025     44 |      398 |      339
1421.06/1421.49	c 1421s |      19 |  3980197 |   456782 |    27025     44 |      398 |      339
1423.46/1423.89	c 1423s |      19 |  3982432 |   457382 |    27025     44 |      398 |      339
1425.66/1426.08	c 1425s |      19 |  3984701 |   457982 |    27025     44 |      398 |      339
1428.17/1428.59	c 1428s |      19 |  3986514 |   458582 |    27025     44 |      398 |      339
1430.36/1430.77	c 1430s |      19 |  3987757 |   459082 |    27025     44 |      398 |      339
1432.46/1432.87	c 1432s |      19 |  3990678 |   459682 |    27025     44 |      398 |      339
1434.56/1434.99	c 1434s |      19 |  3994617 |   460382 |    27025     44 |      398 |      339
1436.76/1437.10	c 1436s |      19 |  4005327 |   461182 |    27025     44 |      398 |      339
1438.75/1439.15	c 1438s |      19 |  4015943 |   462682 |    27025     44 |      398 |      339
1440.85/1441.22	c 1440s |      19 |  4032027 |   464182 |    27025     45 |      398 |      339
1442.86/1443.28	c 1443s |      19 |  4039986 |   465282 |    27025     45 |      398 |      339
1444.95/1445.37	c 1445s |      19 |  4060781 |   467182 |    27025     45 |      398 |      339
1447.05/1447.44	c 1447s |      19 |  4087074 |   468882 |    27025     45 |      398 |      339
1449.25/1449.62	c 1449s |      19 |  4108412 |   470482 |    27025     45 |      398 |      339
1451.44/1451.82	c 1451s |      19 |  4112666 |   471282 |    27025     45 |      398 |      339
1453.54/1453.93	c 1453s |      19 |  4128327 |   472582 |    27025     46 |      398 |      339
1455.64/1456.01	c 1455s |      19 |  4141430 |   474082 |    27025     46 |      398 |      339
1457.74/1458.18	c 1457s |      19 |  4143344 |   474782 |    27025     46 |      398 |      339
1459.84/1460.25	c 1460s |      19 |  4150797 |   475682 |    27025     46 |      398 |      339
1461.84/1462.27	c 1462s |      19 |  4157398 |   476482 |    27025     46 |      398 |      339
1463.94/1464.32	c 1464s |      19 |  4169406 |   477982 |    27025     46 |      398 |      339
1466.04/1466.45	c 1466s |      19 |  4187498 |   479682 |    27025     47 |      398 |      339
1468.14/1468.51	c 1468s |      19 |  4208703 |   481182 |    27025     47 |      398 |      339
1470.13/1470.58	c 1470s |      19 |  4220175 |   482282 |    27025     47 |      398 |      339
1472.33/1472.74	c 1472s |      19 |  4236116 |   483382 |    27025     47 |      398 |      339
1474.43/1474.83	c 1474s |      19 |  4238791 |   483882 |    27025     47 |      398 |      339
1476.43/1476.84	c 1476s |      19 |  4246216 |   484682 |    27025     47 |      398 |      339
1478.53/1478.92	c 1478s |      19 |  4254022 |   485482 |    27025     48 |      398 |      339
1480.53/1480.94	c 1480s |      19 |  4264576 |   486782 |    27025     48 |      398 |      339
1482.53/1482.99	c 1482s |      19 |  4280021 |   487982 |    27025     48 |      398 |      339
1484.83/1485.24	c 1485s |      19 |  4284723 |   488882 |    27025     48 |      398 |      339
1486.93/1487.36	c 1487s |      19 |  4288451 |   489582 |    27025     48 |      398 |      339
1488.92/1489.37	c 1489s |      19 |  4300517 |   490682 |    27025     48 |      398 |      339
1491.52/1491.96	c 1491s |      19 |  4305920 |   491582 |    27025     48 |      398 |      339
1493.72/1494.10	c 1493s |      19 |  4306917 |   491882 |    27025     48 |      398 |      339
1496.52/1496.96	c 1496s |      19 |  4307896 |   492182 |    27025     48 |      398 |      339
1498.82/1499.25	c 1499s |      19 |  4308605 |   492382 |    27025     48 |      398 |      339
1501.92/1502.32	c 1502s |      19 |  4309201 |   492582 |    27025     48 |      398 |      339
1504.22/1504.65	c 1504s |      19 |  4309518 |   492682 |    27025     48 |      398 |      339
1506.31/1506.75	c 1506s |      19 |  4313695 |   493282 |    27025     49 |      398 |      339
1508.41/1508.85	c 1508s |      19 |  4333842 |   494982 |    27025     49 |      399 |      340
1510.41/1510.87	c 1510s |      19 |  4352787 |   496782 |    27025     49 |      399 |      340
1512.71/1513.16	c 1512s |      19 |  4356161 |   497882 |    27025     49 |      399 |      340
1514.81/1515.22	c 1514s |      19 |  4358050 |   498482 |    27025     49 |      399 |      340
1516.81/1517.23	c 1516s |      19 |  4360422 |   499282 |    27025     49 |      399 |      340
1518.90/1519.34	c 1519s |      19 |  4364943 |   500182 |    27025     49 |      399 |      340
1521.40/1521.85	c 1521s |      19 |  4368269 |   500982 |    27025     50 |      399 |      340
1523.40/1523.86	c 1523s |      19 |  4374339 |   502282 |    27025     50 |      399 |      340
1525.60/1526.00	c 1525s |      19 |  4376087 |   503082 |    27025     50 |      399 |      340
1527.70/1528.14	c 1527s |      19 |  4377758 |   503782 |    27025     50 |      399 |      340
1529.91/1530.34	c 1530s |      19 |  4379285 |   504382 |    27025     50 |      399 |      340
1532.01/1532.45	c 1532s |      19 |  4382934 |   505382 |    27025     50 |      399 |      340
1534.21/1534.62	c 1534s |      19 |  4386216 |   506282 |    27025     50 |      399 |      340
1536.20/1536.69	c 1536s |      19 |  4400708 |   507682 |    27025     51 |      399 |      340
1538.30/1538.71	c 1538s |      19 |  4419242 |   509182 |    27025     51 |      399 |      340
1540.30/1540.74	c 1540s |      19 |  4441721 |   510782 |    27025     51 |      399 |      340
1542.50/1542.95	c 1542s |      19 |  4457958 |   512182 |    27025     52 |      399 |      340
1544.50/1544.97	c 1544s |      19 |  4483621 |   513882 |    27025     52 |      399 |      340
1546.60/1547.07	c 1546s |      19 |  4492154 |   515382 |    27025     52 |      399 |      340
1548.79/1549.28	c 1549s |      19 |  4500592 |   516582 |    27025     52 |      399 |      340
1551.19/1551.63	c 1551s |      19 |  4504304 |   517482 |    27025     53 |      400 |      341
1553.29/1553.70	c 1553s |      19 |  4521709 |   519182 |    27025     53 |      400 |      341
1555.29/1555.79	c 1555s |      19 |  4533096 |   520582 |    27025     53 |      400 |      341
1557.39/1557.81	c 1557s |      19 |  4537093 |   521482 |    27025     53 |      400 |      341
1559.59/1560.06	c 1559s |      19 |  4541813 |   522482 |    27025     53 |      400 |      341
1561.79/1562.25	c 1562s |      19 |  4543640 |   522982 |    27025     53 |      400 |      341
1563.80/1564.30	c 1564s |      19 |  4547592 |   523982 |    27025     53 |      400 |      341
1566.10/1566.50	c 1566s |      19 |  4550750 |   524782 |    27025     53 |      400 |      341
1568.20/1568.64	c 1568s |      19 |  4555469 |   525782 |    27025     54 |      400 |      341
1570.29/1570.70	c 1570s |      19 |  4558146 |   526282 |    27025     54 |      400 |      341
1572.38/1572.87	c 1572s |      19 |  4562565 |   527382 |    27025     54 |      400 |      341
1574.48/1574.91	c 1574s |      19 |  4564351 |   527982 |    27025     54 |      400 |      341
1576.78/1577.23	c 1576s |      19 |  4566911 |   528682 |    27025     54 |      400 |      341
1579.08/1579.51	c 1579s |      19 |  4568816 |   529282 |    27025     54 |      400 |      341
1581.58/1582.04	c 1581s |      19 |  4571577 |   529982 |    27025     54 |      400 |      341
1584.08/1584.50	c 1584s |      19 |  4573572 |   530682 |    27025     54 |      400 |      341
1586.28/1586.71	c 1586s |      19 |  4576435 |   531482 |    27025     54 |      400 |      341
1588.58/1589.08	c 1588s |      19 |  4579920 |   532382 |    27025     55 |      400 |      341
1590.77/1591.21	c 1590s |      19 |  4585274 |   533582 |    27025     55 |      400 |      341
1592.97/1593.44	c 1593s |      19 |  4588325 |   534482 |    27025     55 |      400 |      341
1595.37/1595.82	c 1595s |      19 |  4593139 |   535382 |    27025     55 |      400 |      341
1597.88/1598.33	c 1598s |      19 |  4595407 |   535982 |    27025     55 |      400 |      341
1599.96/1600.41	c 1600s |      19 |  4599526 |   536782 |    27025     55 |      400 |      341
1602.06/1602.51	c 1602s |      19 |  4604367 |   537782 |    27025     55 |      400 |      341
1604.07/1604.58	c 1604s |      19 |  4607092 |   538482 |    27025     55 |      400 |      341
1606.17/1606.65	c 1606s |      19 |  4610726 |   539382 |    27025     56 |      400 |      341
1608.17/1608.66	c 1608s |      19 |  4615733 |   540482 |    27025     56 |      400 |      341
1610.26/1610.70	c 1610s |      19 |  4619965 |   541382 |    27025     56 |      400 |      341
1612.56/1613.01	c 1612s |      19 |  4622234 |   542182 |    27025     56 |      400 |      341
1614.56/1615.05	c 1614s |      19 |  4625731 |   543082 |    27025     56 |      400 |      341
1616.96/1617.49	c 1617s |      19 |  4628326 |   543782 |    27025     56 |      400 |      341
1619.15/1619.61	c 1619s |      19 |  4629974 |   544282 |    27025     56 |      400 |      341
1621.25/1621.71	c 1621s |      19 |  4631199 |   544682 |    27025     56 |      400 |      341
1623.45/1623.96	c 1623s |      19 |  4633605 |   545282 |    27025     56 |      400 |      341
1625.55/1626.05	c 1625s |      19 |  4634911 |   545782 |    27025     56 |      400 |      341
1627.56/1628.06	c 1627s |      19 |  4636705 |   546382 |    27025     57 |      400 |      341
1629.85/1630.35	c 1630s |      19 |  4642105 |   547582 |    27025     57 |      400 |      341
1631.84/1632.38	c 1632s |      19 |  4648146 |   548882 |    27025     57 |      400 |      341
1633.95/1634.41	c 1634s |      19 |  4652809 |   549882 |    27025     57 |      400 |      341
1636.05/1636.51	c 1636s |      19 |  4655861 |   550782 |    27025     57 |      400 |      341
1638.05/1638.58	c 1638s |      19 |  4658653 |   551582 |    27025     57 |      400 |      341
1640.14/1640.64	c 1640s |      19 |  4661211 |   552382 |    27025     58 |      400 |      341
1642.24/1642.79	c 1642s |      19 |  4667645 |   553782 |    27025     58 |      400 |      341
1644.24/1644.79	c 1644s |      19 |  4671584 |   554582 |    27025     58 |      400 |      341
1646.35/1646.83	c 1646s |      19 |  4674289 |   555382 |    27025     58 |      400 |      341
1648.45/1648.97	c 1648s |      19 |  4677440 |   556282 |    27025     58 |      400 |      341
1650.65/1651.15	c 1650s |      19 |  4679780 |   556882 |    27025     58 |      400 |      341
1652.74/1653.20	c 1652s |      19 |  4680151 |   557082 |    27025     58 |      400 |      341
1654.94/1655.49	c 1655s |      19 |  4682014 |   557682 |    27025     58 |      400 |      341
1657.25/1657.71	c 1657s |      19 |  4685720 |   558382 |    27025     58 |      400 |      341
1659.34/1659.86	c 1659s |      19 |  4687941 |   559182 |    27025     58 |      400 |      341
1661.44/1661.95	c 1661s |      19 |  4692831 |   560182 |    27025     59 |      400 |      341
1663.54/1664.03	c 1663s |      19 |  4696886 |   561182 |    27025     59 |      400 |      341
1665.54/1666.05	c 1665s |      19 |  4699238 |   561782 |    27025     59 |      400 |      341
1667.73/1668.25	c 1668s |      19 |  4702242 |   562582 |    27025     59 |      400 |      341
1669.73/1670.29	c 1670s |      19 |  4707014 |   563682 |    27025     59 |      400 |      341
1671.83/1672.35	c 1672s |      19 |  4711365 |   564682 |    27025     59 |      400 |      341
1674.03/1674.58	c 1674s |      19 |  4714071 |   565482 |    27025     59 |      400 |      341
1676.13/1676.66	c 1676s |      19 |  4718054 |   566482 |    27025     60 |      400 |      341
1678.24/1678.76	c 1678s |      19 |  4722367 |   567482 |    27025     60 |      400 |      341
1680.34/1680.84	c 1680s |      19 |  4725492 |   568282 |    27025     60 |      400 |      341
1682.33/1682.86	c 1682s |      19 |  4727341 |   568882 |    27025     60 |      400 |      341
1684.43/1684.92	c 1684s |      19 |  4729339 |   569482 |    27025     60 |      400 |      341
1686.84/1687.32	c 1687s |      19 |  4730718 |   569982 |    27025     60 |      400 |      341
1688.84/1689.36	c 1689s |      19 |  4732369 |   570482 |    27025     60 |      400 |      341
1690.94/1691.43	c 1691s |      19 |  4733550 |   570982 |    27025     60 |      400 |      341
1693.03/1693.56	c 1693s |      19 |  4735595 |   571582 |    27025     61 |      400 |      341
1695.13/1695.63	c 1695s |      19 |  4741110 |   572882 |    27025     61 |      400 |      341
1697.23/1697.79	c 1697s |      19 |  4744648 |   573782 |    27025     61 |      400 |      341
1699.33/1699.84	c 1699s |      19 |  4747401 |   574482 |    27025     61 |      400 |      341
1701.33/1701.85	c 1701s |      19 |  4749175 |   575082 |    27025     61 |      400 |      341
1703.54/1704.03	c 1703s |      19 |  4752963 |   576082 |    27025     61 |      400 |      341
1705.64/1706.14	c 1705s |      19 |  4754597 |   576582 |    27025     61 |      400 |      341
1707.84/1708.31	c 1708s |      19 |  4756931 |   577182 |    27025     61 |      400 |      341
1709.83/1710.35	c 1710s |      19 |  4758444 |   577682 |    27025     61 |      400 |      341
1712.03/1712.54	c 1712s |      19 |  4761940 |   578482 |    27025     62 |      400 |      341
1714.12/1714.61	c 1714s |      19 |  4764453 |   579082 |    27025     62 |      400 |      341
1716.33/1716.86	c 1716s |      19 |  4765614 |   579482 |    27025     62 |      400 |      341
1718.84/1719.31	c 1719s |      19 |  4766657 |   579882 |    27025     62 |      400 |      341
1720.83/1721.36	c 1721s |      19 |  4769096 |   580382 |    27025     62 |      400 |      341
1723.12/1723.69	c 1723s |      19 |  4770896 |   580882 |    27025     62 |      400 |      341
1725.22/1725.75	c 1725s |      19 |  4771950 |   581282 |    27025     62 |      400 |      341
1727.32/1727.87	c 1727s |      19 |  4772866 |   581582 |    27025     62 |      400 |      341
1729.43/1729.91	c 1729s |      19 |  4773804 |   581882 |    27025     62 |      400 |      341
1732.13/1732.64	c 1732s |      19 |  4774656 |   582282 |    27025     62 |      400 |      341
1734.34/1734.82	c 1734s |      19 |  4775393 |   582582 |    27025     62 |      400 |      341
1736.44/1736.92	c 1736s |      19 |  4777779 |   583282 |    27025     62 |      400 |      341
1739.03/1739.53	c 1739s |      19 |  4778665 |   583682 |    27025     62 |      400 |      341
1741.12/1741.66	c 1741s |      19 |  4779428 |   583982 |    27025     62 |      400 |      341
1743.33/1743.88	c 1743s |      19 |  4782463 |   584682 |    27025     63 |      400 |      341
1745.53/1746.08	c 1745s |      19 |  4784161 |   585282 |    27025     63 |      400 |      341
1748.13/1748.63	c 1748s |      19 |  4786276 |   585882 |    27025     63 |      400 |      341
1750.53/1751.01	c 1750s |      19 |  4787241 |   586282 |    27025     63 |      400 |      341
1753.03/1753.53	c 1753s |      19 |  4788274 |   586682 |    27025     63 |      400 |      341
1755.52/1756.02	c 1755s |      19 |  4788907 |   586982 |    27025     63 |      400 |      341
1757.63/1758.10	c 1757s |      19 |  4789206 |   587182 |    27025     63 |      400 |      341
1759.73/1760.20	c 1759s |      19 |  4792223 |   587982 |    27025     63 |      400 |      341
1761.92/1762.42	c 1762s |      19 |  4798038 |   589482 |    27025     63 |      400 |      341
1764.03/1764.55	c 1764s |      19 |  4805278 |   590782 |    27025     64 |      400 |      341
1766.13/1766.61	c 1766s |      19 |  4810252 |   591882 |    27025     64 |      400 |      341
1768.33/1768.85	c 1768s |      19 |  4812292 |   592482 |    27025     64 |      400 |      341
1770.32/1770.88	c 1770s |      19 |  4816384 |   593382 |    27025     64 |      400 |      341
1772.52/1773.03	c 1772s |      19 |  4819171 |   594182 |    27025     64 |      400 |      341
1774.93/1775.43	c 1775s |      19 |  4820899 |   594682 |    27025     64 |      400 |      341
1777.02/1777.52	c 1777s |      19 |  4821904 |   594982 |    27025     64 |      400 |      341
1779.02/1779.60	c 1779s |      19 |  4825615 |   595782 |    27025     65 |      400 |      341
1781.31/1781.87	c 1781s |      19 |  4828528 |   596682 |    27025     65 |      400 |      341
1783.52/1784.00	c 1783s |      19 |  4830925 |   597482 |    27025     65 |      400 |      341
1785.52/1786.03	c 1785s |      19 |  4834140 |   598182 |    27025     65 |      400 |      341
1787.62/1788.11	c 1787s |      19 |  4845541 |   599182 |    27025     66 |      400 |      341
1789.72/1790.24	c 1790s |      19 |  4851882 |   600782 |    27025     66 |      400 |      341
1791.82/1792.36	c 1792s |      19 |  4854858 |   601782 |    27025     66 |      400 |      341
1793.92/1794.44	c 1794s |      19 |  4857733 |   602582 |    27025     66 |      400 |      341
1796.12/1796.65	c 1796s |      19 |  4860009 |   603282 |    27025     66 |      400 |      341
1798.32/1798.83	c 1798s |      19 |  4861071 |   603782 |    27025     66 |      400 |      341

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.19 2.17 4/179 16288
/proc/meminfo: memFree=29505980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 2837 0 0 0 0 0 0 0 20 0 4 0 110313097 777449472 2687 33554432000 4194304 16246674 140736593255456 140736593254880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 190319 2698 441 2943 0 187213 0
[pid=16288/tid=16289] ppid=16285 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 796323840 2761 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 800518144 2778 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110313097 805761024 2795 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.12 2.19 2.17 4/179 16288
/proc/meminfo: memFree=29505980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1260100 CPUtime=0.09 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 28489 0 0 0 6 3 0 0 20 0 4 0 110313097 1290342400 28277 33554432000 4194304 16246674 140736593255456 140736593254768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 316305 28295 801 2943 0 313199 0
[pid=16288/tid=16289] ppid=16285 vsize=1268292 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1298731008 28308 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1272388 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1302925312 28323 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1276484 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1307119616 28337 33554432000 4194304 16246674 140736593255456 140053062864048 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) 1260100

[startup+0.200488 s]
/proc/loadavg: 2.12 2.19 2.17 4/179 16288
/proc/meminfo: memFree=29505980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 48243 0 0 0 13 6 0 0 20 0 4 0 110313097 1333334016 48030 33554432000 4194304 16246674 140736593255456 140736593254768 13767820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 325521 48030 833 2943 0 322415 0
[pid=16288/tid=16289] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 48030 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 48030 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 48030 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300464 s]
/proc/loadavg: 2.12 2.19 2.17 4/179 16288
/proc/meminfo: memFree=29505980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 57872 0 0 0 22 7 0 0 20 0 4 0 110313097 1333334016 57659 33554432000 4194304 16246674 140736593255456 140736593254768 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 325521 57661 876 2943 0 322415 0
[pid=16288/tid=16289] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 57666 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 57673 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1333334016 57675 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700385 s]
/proc/loadavg: 2.12 2.19 2.17 4/179 16288
/proc/meminfo: memFree=29505980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=0.69 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 81010 0 0 0 59 10 0 0 20 0 4 0 110313097 1341722624 80797 33554432000 4194304 16246674 140736593255456 140736593254768 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 80797 883 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 80797 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 80797 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 80797 33554432000 4194304 16246674 140736593255456 140053062864048 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) 1310276

[startup+1.50037 s]
/proc/loadavg: 2.12 2.19 2.17 4/183 16292
/proc/meminfo: memFree=28768496/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=1.49 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268752 0 0 0 113 36 0 0 20 0 4 0 110313097 1341722624 268539 33554432000 4194304 16246674 140736593255456 140736593237376 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268539 883 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268539 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268539 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268539 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.10038 s]
/proc/loadavg: 2.12 2.19 2.17 4/183 16292
/proc/meminfo: memFree=28432696/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268754 0 0 0 273 36 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140736593237376 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268541 885 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30039 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 16292
/proc/meminfo: memFree=28432736/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268754 0 0 0 593 36 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140736593237376 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268541 885 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7003 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 16293
/proc/meminfo: memFree=28433032/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268754 0 0 0 1233 36 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140736593254632 12483562 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268541 885 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268541 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5004 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 16293
/proc/meminfo: memFree=28433496/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268755 0 0 0 2512 36 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140736593237376 12483464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268542 886 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053062864048 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) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 16293
/proc/meminfo: memFree=28433504/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268755 0 0 0 5071 37 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140736593254632 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268542 886 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/183 16294
/proc/meminfo: memFree=28433180/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 268755 0 0 0 10190 38 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140736593254632 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 327569 268542 886 2943 0 324463 0
[pid=16288/tid=16289] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1341722624 268542 33554432000 4194304 16246674 140736593255456 140053062864048 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) 1310276


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

/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.21 2.14 2.12 3/183 16326
/proc/meminfo: memFree=28425980/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1362 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 269939 0 0 0 136142 58 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593237376 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.22 2.16 2.13 3/184 16330
/proc/meminfo: memFree=28425240/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1421.97 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 269980 0 0 0 142138 59 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.33 2.20 2.14 3/183 16331
/proc/meminfo: memFree=28425324/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1481.93 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270027 0 0 0 148133 60 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593237376 5545840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 16333
/proc/meminfo: memFree=28425340/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1541.91 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270069 0 0 0 154130 61 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593237376 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 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) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.16 2.18 2.14 4/183 16382
/proc/meminfo: memFree=28414384/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1601.86 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270111 0 0 0 160125 61 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.22 2.19 2.15 3/183 16383
/proc/meminfo: memFree=28413892/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1661.84 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270143 0 0 0 166121 63 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.13 2.17 2.14 3/183 16384
/proc/meminfo: memFree=28413496/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1721.83 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270143 0 0 0 172117 66 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 12460123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.12 2.16 2.14 3/183 16385
/proc/meminfo: memFree=28413164/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1781.81 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270143 0 0 0 178111 70 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254552 5546616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.19 2.15 3/183 16385
/proc/meminfo: memFree=28413132/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1800.02 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270143 0 0 0 179931 71 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 12477720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1314372

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.24 2.19 2.15 3/183 16385
/proc/meminfo: memFree=28413132/32872528 swapFree=12208/1156848
[pid=16288] ppid=16285 vsize=1314372 CPUtime=1800.02 cores=0,2,4,6
/proc/16288/stat : 16288 (toysat) R 16285 16288 15571 0 -1 4202496 270143 0 0 0 179931 71 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140736593254632 12477720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16288/statm: 328593 269822 886 2943 0 325487 0
[pid=16288/tid=16289] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16289/stat : 16289 (toysat) S 16285 16288 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053083827440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16288/tid=16290] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16290/stat : 16290 (toysat) S 16285 16288 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053073337584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16288/tid=16291] ppid=16285 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16288/task/16291/stat : 16291 (toysat) S 16285 16288 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110313097 1345916928 269822 33554432000 4194304 16246674 140736593255456 140053062864048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1314372

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.32
CPU system time (s): 0.712891
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.712891
maximum resident set size= 1079288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270143
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= 380
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53931 second user time and 6.97494 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 09:16:25
IDJOB=4078947
IDBENCH=90135
IDSOLVER=2542
FILE ID=node114/4078947-1465283785
RUNJOBID= node114-1465276339-15587
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 12d577f059d1da283bb935f5e106dee7
RANDOM SEED=1219177648

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29506244 kB
Buffers:          142648 kB
Cached:           247568 kB
SwapCached:         1696 kB
Active:          1227920 kB
Inactive:         244168 kB
Active(anon):    1082760 kB
Inactive(anon):     1252 kB
Active(file):     145160 kB
Inactive(file):   242916 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2237864 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             602548 kB
SReclaimable:      46416 kB
SUnreclaim:       556132 kB
KernelStack:        1464 kB
PageTables:         8796 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2382228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1148928 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= 71704 MiB
End job on node114 at 2016-06-07 09:46:26