Trace number 4107824

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
MD5SUM9569f42797128c8734a8cda484f54275
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 variables57354
Total number of constraints201250
Number of constraints which are clauses200306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
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-19T00:34:11+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-4107824-1466289250.opb"]
0.00/0.01	c use --random-gen="3104162291 854079038 2574588473 1243035308 1805921676 2153678872 4069148493 1822414197 2572978391 1752838243 1056224721 676349320 3423589854 3390805906 1984296380 616625535 2362914904 1351412043 1613210715 3902430443 2254774362 1526825013 729573631 969867639 1990860154 3102286684 3398247405 707997054 457591829 4058488391 433371342 2888293402 3355028567 1150514840 1806528861 2601190731 647031307 1513203255 3425520678 3411433602 595517856 3228658969 2163412190 1796322731 1850401278 3172146646 1213671406 3289637725 1237528388 3012089642 3563035518 710862127 3336525102 258538304 2687862218 3228999800 605620169 1955820270 1878924213 4054626835 2531321205 119271819 431657198 1097609745 4007102687 52288934 1924774360 1450075963 1468742364 1564760069 3764576402 4122064251 3336642297 4238965502 3189958419 4147581670 1640035217 2453990310 3190349153 1601356075 1677312457 1787951823 1450309566 4170938926 4292496640 262669546 2515822079 89065292 1459961768 1829156902 371116370 4267217503 4261737258 3835441348 3164475134 622720143 486606872 1186468124 47482630 3909220396 4256478453 1970970589 3795485847 612436433 722948854 3708647554 2335828833 1628183916 447991622 3178843608 223237828 612821296 1836566167 2318514311 2659974253 3410445367 4263548166 614446000 1311026890 1909571580 553436491 622200480 1156937956 282554065 2510772917 3691845636 2199208407 1298378927 1081663904 801141942 4260415431 2238406288 1529315729 3487180409 961185152 3244268345 516939935 2519421863 1185883940 493613326 1831101407 157436140 2358141038 961651569 833235729 1249539586 1629642485 3858909724 2240837656 932494932 3787015028 3241885380 1493228911 106902687 2179523613 2068583069 654435845 3789285558 1091669357 3940839105 2745307054 1930535395 1419872989 354182115 2555356680 4025378777 2253958521 1346110114 2754707971 3038679937 2253956602 2029963995 4111219282 1350042992 3994335964 3646216850 1399325314 1378586907 736371997 3007696793 441007596 2922786777 826466834 1801182479 1670986781 2808386204 2229180956 2048362523 4076302868 1619787365 1422034746 2046790783 2503560557 3408373371 4260976592 3319809589 882878352 3027063426 2266792609 4157533547 3632666615 1703554423 100726448 4173209796 2125247047 232736024 802949541 2520338196 341835990 2755545250 1173503828 2681356079 1147530481 709304016 3859717381 1075340808 1529785098 2624986943 406245058 3977147093 559772268 4000111477 1919675983 3477886656 863252246 4003572252 2190193642 2136101792 3523689052 251678716 19355643 4292365430 3824202982 1908674092 2742024216 2607898232 3533209326 2075232353 879413080 1054713994 375522675 4262940611 1542397638 3283934451 2741397067 2953805745 3499370205 2380361783 2322905402 3997452791 41265180 3199404087 2873122103 965070563 1862548593 1189981915 255 362436" option to reproduce the execution
1.20/1.25	c #vars 57354
1.20/1.25	c #constraints 201250
3.49/3.52	c Solving starts ...
3.49/3.52	c ============================[ Search Statistics ]============================
3.49/3.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.52	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.52	c =============================================================================
3.69/3.75	c  0.0s |       0 |        0 |        0 |    68991      0 |    19800 |        0
4.29/4.30	c  0.6s |       1 |      253 |      100 |    68991      0 |    19818 |    27412
4.69/4.70	c  0.9s |       2 |      509 |      250 |    75891      0 |    19818 |    27412
5.29/5.34	c  1.6s |       3 |     1161 |      475 |    83481      0 |    19818 |    27412
6.29/6.35	c  2.6s |       4 |     1616 |      813 |    91830      0 |    19818 |    27412
7.59/7.66	c  3.9s |       5 |     2420 |     1320 |   101014      0 |    19818 |    27412
9.69/9.75	c  6.0s |       5 |     3604 |     2020 |   111116      0 |    20098 |    28502
9.79/9.86	c  6.1s |       6 |     3686 |     2081 |   122228      0 |    20098 |    28502
11.79/11.86	c  8.1s |       6 |     5062 |     2881 |   122228      0 |    20098 |    28502
12.59/12.63	c  8.9s |       7 |     5676 |     3223 |   134451      0 |    20098 |    28502
14.79/14.83	c 11.1s |       7 |     7159 |     4123 |   134451      0 |    20102 |    28518
16.69/16.74	c 13.0s |       8 |     8316 |     4936 |   147897      0 |    20102 |    28518
18.89/18.92	c 15.2s |       8 |     9521 |     5736 |   147897      0 |    20102 |    28518
20.89/20.96	c 17.2s |       8 |    10876 |     6636 |   147897      0 |    20102 |    28518
22.89/22.90	c 19.2s |       9 |    12002 |     7506 |   162687      0 |    20102 |    28518
24.99/25.00	c 21.3s |       9 |    13622 |     8506 |   162687      0 |    20108 |    28538
27.09/27.17	c 23.4s |       9 |    14926 |     9506 |   162687      0 |    20108 |    28538
29.19/29.24	c 25.5s |       9 |    16227 |    10406 |   162687      0 |    20108 |    28538
31.29/31.36	c 27.6s |      10 |    17522 |    11361 |   178956      0 |    20108 |    28538
33.59/33.60	c 29.9s |      10 |    18575 |    12061 |   178956      0 |    20108 |    28538
35.69/35.71	c 32.0s |      10 |    19523 |    12761 |   178956      0 |    20108 |    28538
37.79/37.89	c 34.1s |      10 |    20652 |    13561 |   178956      0 |    20108 |    28538
39.89/39.96	c 36.2s |      10 |    21522 |    14261 |   178956      0 |    20108 |    28538
41.98/42.09	c 38.3s |      10 |    22431 |    14961 |   178956      0 |    20108 |    28538
44.18/44.20	c 40.5s |      10 |    23359 |    15661 |   178956      0 |    20108 |    28538
46.38/46.43	c 42.7s |      10 |    24472 |    16461 |   178956      0 |    20108 |    28538
48.49/48.54	c 44.8s |      11 |    25318 |    17144 |   196852      0 |    20108 |    28538
50.59/50.64	c 46.9s |      11 |    26471 |    17944 |   196852      0 |    20108 |    28538
52.89/52.95	c 49.2s |      11 |    27736 |    18844 |   196852      0 |    20132 |    28622
55.09/55.18	c 51.4s |      11 |    28717 |    19544 |   196852      0 |    20132 |    28622
57.19/57.23	c 53.5s |      11 |    29739 |    20344 |   196852      0 |    20132 |    28622
59.28/59.39	c 55.6s |      11 |    30864 |    21244 |   196852      0 |    20132 |    28622
61.38/61.41	c 57.7s |      11 |    31911 |    22044 |   196852      0 |    20132 |    28622
63.58/63.69	c 59.9s |      11 |    32937 |    22844 |   196852      0 |    20132 |    28622
65.68/65.73	c 62.0s |      11 |    33957 |    23644 |   196852      0 |    20132 |    28622
67.98/68.00	c 64.3s |      11 |    34881 |    24344 |   196852      0 |    20132 |    28622
69.98/70.02	c 66.3s |      11 |    35508 |    24844 |   196852      0 |    20132 |    28622
72.08/72.11	c 68.4s |      11 |    36179 |    25344 |   196852      0 |    20132 |    28622
73.69/73.78	c 70.0s |      12 |    36833 |    25819 |   216538      0 |    20132 |    28622
75.78/75.80	c 72.1s |      12 |    37757 |    26519 |   216538      0 |    20132 |    28622
77.88/77.94	c 74.2s |      12 |    38821 |    27319 |   216538      0 |    20132 |    28622
80.08/80.13	c 76.4s |      12 |    40188 |    28419 |   216538      0 |    20132 |    28622
82.18/82.29	c 78.5s |      12 |    41386 |    29419 |   216538      0 |    20132 |    28622
84.48/84.51	c 80.8s |      12 |    42586 |    30319 |   216538      0 |    20132 |    28622
86.58/86.66	c 82.9s |      12 |    43414 |    31019 |   216538      0 |    20132 |    28622
88.68/88.73	c 85.0s |      12 |    44522 |    31919 |   216538      0 |    20132 |    28622
90.88/90.97	c 87.2s |      12 |    45677 |    32819 |   216538      0 |    20132 |    28622
93.08/93.11	c 89.4s |      12 |    46890 |    33719 |   216538      0 |    20132 |    28622
95.28/95.37	c 91.6s |      12 |    47974 |    34519 |   216538      0 |    20132 |    28622
97.38/97.48	c 93.7s |      12 |    48914 |    35219 |   216538      0 |    20132 |    28622
99.57/99.68	c 95.9s |      12 |    50095 |    36119 |   216538      0 |    20132 |    28622
101.67/101.76	c 98.0s |      12 |    51226 |    37019 |   216538      0 |    20132 |    28622
103.77/103.80	c  100s |      12 |    52166 |    37819 |   216538      0 |    20132 |    28622
105.77/105.83	c  102s |      12 |    53179 |    38519 |   216538      0 |    20132 |    28622
106.47/106.51	c  102s |      13 |    53546 |    38832 |   238192      0 |    20132 |    28622
108.57/108.67	c  104s |      13 |    55139 |    39832 |   238192      0 |    20132 |    28622
110.67/110.76	c  107s |      13 |    56367 |    40832 |   238192      0 |    20132 |    28622
112.87/112.92	c  109s |      13 |    57742 |    41932 |   238192      0 |    20132 |    28622
114.87/114.98	c  111s |      13 |    58848 |    42832 |   238192      0 |    20132 |    28622
116.97/117.03	c  113s |      13 |    59973 |    43732 |   238192      0 |    20132 |    28622
119.07/119.13	c  115s |      13 |    61135 |    44632 |   238192      0 |    20132 |    28622
121.27/121.36	c  117s |      13 |    62203 |    45532 |   238192      0 |    20132 |    28622
123.47/123.56	c  119s |      13 |    63604 |    46432 |   238192      0 |    20132 |    28622
125.57/125.69	c  121s |      13 |    64637 |    47232 |   238192      0 |    20132 |    28622
127.77/127.84	c  124s |      13 |    65875 |    48132 |   238192      0 |    20132 |    28622
129.97/130.02	c  126s |      13 |    66918 |    48932 |   238192      0 |    20132 |    28622
132.08/132.12	c  128s |      13 |    67979 |    49732 |   238192      0 |    20132 |    28622
134.18/134.21	c  130s |      13 |    69019 |    50532 |   238192      0 |    20132 |    28622
136.17/136.25	c  132s |      13 |    70013 |    51332 |   238192      0 |    20132 |    28622
138.27/138.31	c  134s |      13 |    70915 |    52032 |   238192      0 |    20132 |    28622
140.57/140.62	c  136s |      13 |    71955 |    52832 |   238192      0 |    20132 |    28622
142.67/142.79	c  139s |      13 |    72793 |    53532 |   238192      0 |    20132 |    28622
144.77/144.84	c  141s |      13 |    73719 |    54232 |   238192      0 |    20132 |    28622
146.77/146.86	c  143s |      13 |    74592 |    54932 |   238192      0 |    20132 |    28622
148.87/148.98	c  145s |      13 |    75393 |    55632 |   238192      0 |    20132 |    28622
150.87/150.98	c  147s |      13 |    76309 |    56332 |   238192      0 |    20132 |    28622
152.97/153.05	c  149s |      13 |    77074 |    56932 |   238192      0 |    20132 |    28622
155.27/155.33	c  151s |      13 |    77897 |    57632 |   238192      0 |    20132 |    28622
157.47/157.56	c  153s |      13 |    78652 |    58232 |   262012      0 |    20132 |    28622
157.97/158.03	c  154s |      14 |    78795 |    58352 |   262012      0 |    20132 |    28622
160.27/160.39	c  156s |      14 |    79544 |    58852 |   262012      0 |    20132 |    28622
162.37/162.40	c  158s |      14 |    80305 |    59452 |   262012      0 |    20132 |    28622
164.57/164.65	c  160s |      14 |    81224 |    60152 |   262012      0 |    20132 |    28622
166.66/166.73	c  162s |      14 |    82176 |    60852 |   262012      0 |    20132 |    28622
168.96/169.08	c  165s |      14 |    83215 |    61552 |   262012      0 |    20132 |    28622
171.16/171.28	c  167s |      14 |    84549 |    62552 |   262012      0 |    20132 |    28622
173.26/173.32	c  169s |      14 |    85423 |    63152 |   262012      0 |    20132 |    28622
175.56/175.61	c  171s |      14 |    86247 |    63752 |   262012      0 |    20132 |    28622
177.66/177.72	c  173s |      14 |    86994 |    64252 |   262012      0 |    20132 |    28622
179.86/179.92	c  176s |      14 |    87807 |    64852 |   262012      0 |    20132 |    28622
181.86/181.99	c  178s |      14 |    88598 |    65452 |   262012      0 |    20132 |    28622
183.96/184.01	c  180s |      14 |    89255 |    65952 |   262012      0 |    20132 |    28622
185.97/186.06	c  182s |      14 |    89913 |    66452 |   262012      0 |    20132 |    28622
188.26/188.32	c  184s |      14 |    90711 |    67052 |   262012      0 |    20132 |    28622
190.46/190.52	c  186s |      14 |    91539 |    67652 |   262012      0 |    20132 |    28622
192.66/192.77	c  189s |      14 |    92293 |    68252 |   262012      0 |    20132 |    28622
194.86/194.95	c  191s |      14 |    93032 |    68852 |   262012      0 |    20132 |    28622
196.97/197.09	c  193s |      14 |    93836 |    69452 |   262012      0 |    20132 |    28622
199.07/199.12	c  195s |      14 |    94584 |    70052 |   262012      0 |    20132 |    28622
201.37/201.41	c  197s |      14 |    95338 |    70652 |   262012      0 |    20132 |    28622
203.66/203.73	c  199s |      14 |    96073 |    71252 |   262012      0 |    20132 |    28622
205.67/205.77	c  202s |      14 |    96800 |    71852 |   262012      0 |    20132 |    28622
207.76/207.87	c  204s |      14 |    97541 |    72452 |   262012      0 |    20132 |    28622
209.86/209.95	c  206s |      14 |    98267 |    73052 |   262012      0 |    20132 |    28622
211.96/212.08	c  208s |      14 |    98991 |    73652 |   262012      0 |    20132 |    28622
213.96/214.09	c  210s |      14 |    99619 |    74152 |   262012      0 |    20132 |    28622
216.26/216.38	c  212s |      14 |   100335 |    74752 |   262012      0 |    20132 |    28622
218.56/218.67	c  214s |      14 |   101047 |    75352 |   262012      0 |    20132 |    28622
220.96/221.03	c  217s |      14 |   101735 |    75952 |   262012      0 |    20132 |    28622
223.36/223.43	c  219s |      14 |   102434 |    76552 |   262012      0 |    20132 |    28622
225.56/225.61	c  221s |      14 |   103222 |    77152 |   262012      0 |    20132 |    28622
227.66/227.72	c  223s |      14 |   103979 |    77752 |   262012      0 |    20132 |    28622
229.86/229.98	c  226s |      14 |   104735 |    78252 |   262012      0 |    20132 |    28622
232.06/232.16	c  228s |      14 |   105375 |    78752 |   262012      0 |    20132 |    28622
234.15/234.24	c  230s |      14 |   106017 |    79252 |   262012      0 |    20132 |    28622
236.15/236.26	c  232s |      14 |   106665 |    79752 |   262012      0 |    20132 |    28622
238.45/238.51	c  234s |      14 |   107333 |    80252 |   262012      0 |    20132 |    28622
240.65/240.73	c  236s |      14 |   108124 |    80852 |   262012      0 |    20132 |    28622
242.75/242.84	c  239s |      14 |   108743 |    81352 |   262012      0 |    20132 |    28622
244.95/245.08	c  241s |      14 |   109386 |    81852 |   262012      0 |    20132 |    28622
247.15/247.22	c  243s |      14 |   110162 |    82452 |   262012      0 |    20132 |    28622
249.45/249.54	c  245s |      14 |   110889 |    83052 |   262012      0 |    20132 |    28622
251.45/251.58	c  247s |      14 |   111390 |    83452 |   262012      0 |    20132 |    28622
253.75/253.83	c  250s |      14 |   111999 |    83952 |   262012      0 |    20132 |    28622
255.85/255.98	c  252s |      14 |   112911 |    84652 |   262012      0 |    20132 |    28622
258.05/258.19	c  254s |      14 |   113622 |    85252 |   262012      0 |    20132 |    28622
260.15/260.23	c  256s |      14 |   114310 |    85852 |   262012      0 |    20132 |    28622
262.15/262.23	c  258s |      14 |   115099 |    86452 |   262012      0 |    20132 |    28622
264.35/264.48	c  260s |      14 |   115952 |    87152 |   288214      0 |    20132 |    28622
266.16/266.26	c  262s |      15 |   116546 |    87632 |   288214      0 |    20132 |    28622
268.36/268.47	c  264s |      15 |   117368 |    88132 |   288214      0 |    20132 |    28622
270.56/270.63	c  266s |      15 |   118359 |    88832 |   288214      0 |    20132 |    28622
272.65/272.77	c  269s |      15 |   119405 |    89632 |   288214      0 |    20132 |    28622
274.75/274.80	c  271s |      15 |   120501 |    90432 |   288214      0 |    20132 |    28622
276.95/277.06	c  273s |      15 |   121796 |    91232 |   288214      0 |    20132 |    28622
279.25/279.34	c  275s |      15 |   122690 |    91932 |   288214      0 |    20132 |    28622
281.35/281.48	c  277s |      15 |   123750 |    92732 |   288214      0 |    20132 |    28622
283.45/283.52	c  279s |      15 |   124897 |    93532 |   288214      0 |    20132 |    28622
285.45/285.57	c  281s |      15 |   125786 |    94232 |   288214      0 |    20132 |    28622
287.75/287.85	c  284s |      15 |   126800 |    95032 |   288214      0 |    20132 |    28622
290.05/290.11	c  286s |      15 |   127662 |    95732 |   288214      0 |    20132 |    28622
292.15/292.23	c  288s |      15 |   128397 |    96332 |   288214      0 |    20132 |    28622
294.25/294.37	c  290s |      15 |   129318 |    97032 |   288214      0 |    20132 |    28622
296.64/296.71	c  292s |      15 |   130243 |    97732 |   288214      0 |    20132 |    28622
298.64/298.72	c  294s |      15 |   131008 |    98332 |   288214      0 |    20132 |    28622
300.64/300.75	c  297s |      15 |   131747 |    98932 |   288214      0 |    20132 |    28622
302.74/302.81	c  299s |      15 |   132499 |    99532 |   288214      0 |    20132 |    28622
304.84/304.97	c  301s |      15 |   133264 |   100132 |   288214      0 |    20132 |    28622
306.95/307.08	c  303s |      15 |   134035 |   100732 |   288214      0 |    20132 |    28622
309.34/309.49	c  305s |      15 |   134762 |   101332 |   288214      0 |    20132 |    28622
311.44/311.59	c  307s |      15 |   135351 |   101832 |   288214      0 |    20132 |    28622
313.64/313.75	c  310s |      15 |   136098 |   102432 |   288214      0 |    20132 |    28622
315.75/315.89	c  312s |      15 |   137085 |   103132 |   288214      0 |    20132 |    28622
317.85/317.95	c  314s |      15 |   137997 |   103832 |   288214      0 |    20132 |    28622
319.94/320.01	c  316s |      15 |   138782 |   104432 |   288214      0 |    20132 |    28622
322.25/322.32	c  318s |      15 |   139688 |   105132 |   288214      0 |    20132 |    28622
324.45/324.56	c  320s |      15 |   140466 |   105732 |   288214      0 |    20132 |    28622
326.75/326.86	c  323s |      15 |   141235 |   106332 |   288214      0 |    20132 |    28622
328.95/329.03	c  325s |      15 |   142016 |   106932 |   288214      0 |    20132 |    28622
330.94/331.04	c  327s |      15 |   142772 |   107532 |   288214      0 |    20132 |    28622
333.25/333.40	c  329s |      15 |   143685 |   108232 |   288214      0 |    20132 |    28622
335.55/335.64	c  331s |      15 |   144504 |   108832 |   288214      0 |    20132 |    28622
337.74/337.81	c  334s |      15 |   145248 |   109432 |   288214      0 |    20132 |    28622
339.94/340.05	c  336s |      15 |   145975 |   110032 |   288214      0 |    20132 |    28622
341.94/342.09	c  338s |      15 |   146576 |   110532 |   288214      0 |    20132 |    28622
344.34/344.43	c  340s |      15 |   147327 |   111132 |   288214      0 |    20132 |    28622
346.64/346.74	c  342s |      15 |   148062 |   111732 |   288214      0 |    20132 |    28622
348.84/348.93	c  345s |      15 |   148654 |   112232 |   288214      0 |    20132 |    28622
351.04/351.17	c  347s |      15 |   149342 |   112832 |   288214      0 |    20132 |    28622
353.24/353.33	c  349s |      15 |   149915 |   113332 |   288214      0 |    20132 |    28622
355.44/355.55	c  351s |      15 |   150520 |   113832 |   288214      0 |    20132 |    28622
357.54/357.65	c  353s |      15 |   151120 |   114332 |   288214      0 |    20132 |    28622
359.74/359.88	c  356s |      15 |   151575 |   114732 |   288214      0 |    20132 |    28622
362.03/362.10	c  358s |      15 |   152189 |   115232 |   288214      0 |    20132 |    28622
364.23/364.37	c  360s |      15 |   152953 |   115832 |   288214      0 |    20132 |    28622
366.53/366.69	c  362s |      15 |   153657 |   116332 |   288214      0 |    20132 |    28622
368.93/369.04	c  365s |      15 |   154359 |   116932 |   288214      0 |    20132 |    28622
371.33/371.41	c  367s |      15 |   155266 |   117632 |   288214      0 |    20132 |    28622
373.63/373.76	c  370s |      15 |   155996 |   118232 |   288214      0 |    20132 |    28622
376.03/376.11	c  372s |      15 |   156594 |   118732 |   288214      0 |    20132 |    28622
378.23/378.39	c  374s |      15 |   157189 |   119232 |   288214      0 |    20132 |    28622
380.54/380.69	c  376s |      15 |   157758 |   119732 |   288214      0 |    20132 |    28622
383.03/383.15	c  379s |      15 |   158317 |   120232 |   288214      0 |    20132 |    28622
385.23/385.36	c  381s |      15 |   158809 |   120632 |   288214      0 |    20132 |    28622
387.33/387.47	c  383s |      15 |   159330 |   121032 |   288214      0 |    20132 |    28622
389.53/389.64	c  385s |      15 |   159815 |   121432 |   288214      0 |    20132 |    28622
391.64/391.76	c  388s |      15 |   160309 |   121832 |   288214      0 |    20132 |    28622
393.74/393.85	c  390s |      15 |   160976 |   122332 |   288214      0 |    20132 |    28622
395.94/396.06	c  392s |      15 |   161360 |   122632 |   288214      0 |    20316 |    29226
398.33/398.46	c  394s |      15 |   161998 |   123132 |   288214      0 |    20316 |    29226
400.53/400.65	c  396s |      15 |   162784 |   123732 |   288214      0 |    20316 |    29226
402.63/402.73	c  398s |      15 |   163291 |   124132 |   288214      0 |    20316 |    29226
404.83/404.90	c  401s |      15 |   163826 |   124532 |   288214      0 |    20316 |    29226
406.83/406.99	c  403s |      15 |   164349 |   124932 |   288214      0 |    20316 |    29226
409.03/409.18	c  405s |      15 |   165055 |   125432 |   288214      0 |    20316 |    29226
411.03/411.19	c  407s |      15 |   165739 |   125932 |   288214      0 |    20316 |    29226
413.13/413.22	c  409s |      15 |   166536 |   126332 |   288214      0 |    20376 |    29430
415.43/415.54	c  411s |      15 |   167347 |   126932 |   288214      0 |    20376 |    29430
417.63/417.76	c  414s |      15 |   168173 |   127532 |   288214      0 |    20376 |    29430
419.93/420.09	c  416s |      15 |   169006 |   128132 |   288214      0 |    20376 |    29430
422.33/422.41	c  418s |      15 |   169756 |   128632 |   288214      0 |    20376 |    29430
424.53/424.66	c  420s |      15 |   170504 |   129132 |   288214      0 |    20376 |    29430
426.92/427.06	c  423s |      15 |   171338 |   129732 |   288214      0 |    20376 |    29430
429.32/429.42	c  425s |      15 |   171967 |   130232 |   288214      0 |    20376 |    29430
431.62/431.70	c  427s |      15 |   172460 |   130632 |   288214      0 |    20376 |    29430
433.82/433.91	c  430s |      15 |   173129 |   131132 |   317036      0 |    20376 |    29430
435.63/435.71	c  431s |      16 |   173688 |   131552 |   317036      0 |    20376 |    29430
437.73/437.87	c  434s |      16 |   174320 |   131952 |   317036      0 |    20376 |    29430
439.93/440.05	c  436s |      16 |   175215 |   132552 |   317036      0 |    20376 |    29430
442.02/442.15	c  438s |      16 |   176113 |   133252 |   317036      0 |    20376 |    29430
444.12/444.27	c  440s |      16 |   177051 |   133952 |   317036      0 |    20376 |    29430
446.72/446.80	c  443s |      16 |   177785 |   134452 |   317036      0 |    20376 |    29430
448.73/448.87	c  445s |      16 |   178285 |   134852 |   317036      0 |    20376 |    29430
451.03/451.12	c  447s |      16 |   179038 |   135352 |   317036      0 |    20376 |    29430
453.32/453.46	c  449s |      16 |   179814 |   135852 |   317036      0 |    20376 |    29430
455.62/455.74	c  451s |      16 |   180659 |   136452 |   317036      0 |    20376 |    29430
457.63/457.79	c  454s |      16 |   181271 |   136852 |   317036      0 |    20376 |    29430
459.62/459.79	c  456s |      16 |   181774 |   137252 |   317036      0 |    20376 |    29430
461.82/461.91	c  458s |      16 |   182356 |   137652 |   317036      0 |    20376 |    29430
463.82/463.95	c  460s |      16 |   182920 |   138052 |   317036      0 |    20376 |    29430
466.12/466.21	c  462s |      16 |   183616 |   138552 |   317036      0 |    20376 |    29430
468.32/468.49	c  464s |      16 |   184105 |   138952 |   317036      0 |    20376 |    29430
470.52/470.61	c  466s |      16 |   184620 |   139352 |   317036      0 |    20376 |    29430
472.92/473.05	c  469s |      16 |   185280 |   139852 |   317036      0 |    20376 |    29430
475.22/475.38	c  471s |      16 |   185908 |   140352 |   317036      0 |    20376 |    29430
477.52/477.63	c  473s |      16 |   186596 |   140852 |   317036      0 |    20376 |    29430
479.82/479.91	c  476s |      16 |   187243 |   141352 |   317036      0 |    20376 |    29430
481.82/481.95	c  478s |      16 |   187776 |   141752 |   317036      0 |    20376 |    29430
483.92/484.03	c  480s |      16 |   188519 |   142252 |   317036      0 |    20376 |    29430
486.01/486.14	c  482s |      16 |   189013 |   142652 |   317036      0 |    20376 |    29430
488.42/488.55	c  484s |      16 |   189754 |   143152 |   317036      0 |    20376 |    29430
490.71/490.80	c  487s |      16 |   190245 |   143552 |   317036      0 |    20376 |    29430
493.01/493.11	c  489s |      16 |   190698 |   143952 |   317036      0 |    20376 |    29430
495.02/495.17	c  491s |      16 |   191042 |   144252 |   317036      0 |    20376 |    29430
497.51/497.66	c  493s |      16 |   191494 |   144652 |   317036      0 |    20376 |    29430
499.61/499.71	c  495s |      16 |   191841 |   144952 |   317036      0 |    20376 |    29430
502.01/502.17	c  498s |      16 |   192317 |   145352 |   317036      0 |    20376 |    29430
504.41/504.51	c  500s |      16 |   192788 |   145752 |   317036      0 |    20376 |    29430
506.91/507.04	c  503s |      16 |   193239 |   146152 |   317036      0 |    20376 |    29430
509.22/509.40	c  505s |      16 |   193770 |   146552 |   317036      0 |    20376 |    29430
511.61/511.72	c  507s |      16 |   194259 |   146952 |   317036      0 |    20376 |    29430
513.91/514.05	c  510s |      16 |   194811 |   147352 |   317036      0 |    20376 |    29430
516.61/516.72	c  512s |      16 |   195333 |   147752 |   317036      0 |    20376 |    29430
518.91/519.04	c  515s |      16 |   196265 |   148352 |   317036      0 |    20376 |    29430
521.21/521.35	c  517s |      16 |   197024 |   148852 |   317036      0 |    20376 |    29430
523.61/523.79	c  520s |      16 |   197731 |   149352 |   317036      0 |    20376 |    29430
525.71/525.86	c  522s |      16 |   198273 |   149752 |   317036      0 |    20376 |    29430
528.21/528.34	c  524s |      16 |   198951 |   150252 |   317036      0 |    20376 |    29430
530.41/530.52	c  526s |      16 |   199643 |   150752 |   317036      0 |    20376 |    29430
532.61/532.78	c  529s |      16 |   200305 |   151252 |   317036      0 |    20376 |    29430
534.71/534.87	c  531s |      16 |   200811 |   151652 |   317036      0 |    20376 |    29430
537.21/537.35	c  533s |      16 |   201454 |   152152 |   317036      0 |    20376 |    29430
539.41/539.59	c  535s |      16 |   201982 |   152552 |   317036      0 |    20376 |    29430
541.70/541.87	c  538s |      16 |   202541 |   152952 |   317036      0 |    20376 |    29430
544.00/544.12	c  540s |      16 |   203039 |   153352 |   317036      0 |    20376 |    29430
546.20/546.37	c  542s |      16 |   203724 |   153852 |   317036      0 |    20376 |    29430
548.50/548.65	c  544s |      16 |   204205 |   154252 |   317036      0 |    20376 |    29430
550.80/550.90	c  547s |      16 |   204890 |   154752 |   317036      0 |    20376 |    29430
553.00/553.14	c  549s |      16 |   205409 |   155152 |   317036      0 |    20376 |    29430
555.51/555.62	c  551s |      16 |   206006 |   155652 |   317036      0 |    20376 |    29430
557.80/557.90	c  554s |      16 |   206547 |   156052 |   317036      0 |    20376 |    29430
560.40/560.52	c  556s |      16 |   207023 |   156452 |   317036      0 |    20376 |    29430
562.50/562.69	c  558s |      16 |   207513 |   156852 |   317036      0 |    20376 |    29430
564.90/565.02	c  561s |      16 |   208007 |   157252 |   317036      0 |    20376 |    29430
566.90/567.07	c  563s |      16 |   208382 |   157552 |   317036      0 |    20376 |    29430
569.60/569.72	c  565s |      16 |   208895 |   157952 |   317036      0 |    20376 |    29430
571.60/571.75	c  568s |      16 |   209238 |   158252 |   317036      0 |    20376 |    29430
573.70/573.81	c  570s |      16 |   209710 |   158652 |   317036      0 |    20376 |    29430
575.80/575.99	c  572s |      16 |   210236 |   159052 |   317036      0 |    20376 |    29430
578.20/578.39	c  574s |      16 |   210966 |   159452 |   317036      0 |    20376 |    29430
580.20/580.40	c  576s |      16 |   211717 |   159852 |   317036      0 |    20376 |    29430
582.60/582.70	c  578s |      16 |   212252 |   160252 |   317036      0 |    20376 |    29430
584.60/584.74	c  580s |      16 |   212691 |   160552 |   317036      0 |    20376 |    29430
586.70/586.88	c  583s |      16 |   213305 |   160952 |   317036      0 |    20376 |    29430
589.10/589.26	c  585s |      16 |   213993 |   161452 |   317036      0 |    20376 |    29430
591.50/591.65	c  587s |      16 |   214698 |   161852 |   317036      0 |    20376 |    29430
593.90/594.10	c  590s |      16 |   215484 |   162352 |   317036      0 |    20376 |    29430
596.10/596.25	c  592s |      16 |   216081 |   162752 |   317036      0 |    20376 |    29430
598.40/598.51	c  594s |      16 |   216579 |   163152 |   317036      0 |    20376 |    29430
600.40/600.53	c  596s |      16 |   216990 |   163452 |   317036      0 |    20376 |    29430
602.50/602.63	c  598s |      16 |   217529 |   163852 |   317036      0 |    20376 |    29430
604.50/604.64	c  600s |      16 |   217950 |   164152 |   317036      0 |    20376 |    29430
606.99/607.15	c  603s |      16 |   218443 |   164552 |   317036      0 |    20376 |    29430
609.19/609.30	c  605s |      16 |   218861 |   164852 |   317036      0 |    20376 |    29430
611.19/611.31	c  607s |      16 |   219414 |   165252 |   317036      0 |    20376 |    29430
613.80/613.97	c  610s |      16 |   219941 |   165652 |   317036      0 |    20376 |    29430
616.09/616.26	c  612s |      16 |   220523 |   166052 |   317036      0 |    20376 |    29430
618.49/618.68	c  614s |      16 |   221065 |   166452 |   317036      0 |    20376 |    29430
620.89/621.05	c  617s |      16 |   221673 |   166852 |   317036      0 |    20376 |    29430
623.39/623.57	c  619s |      16 |   222168 |   167252 |   317036      0 |    20376 |    29430
625.80/625.95	c  622s |      16 |   222679 |   167652 |   317036      0 |    20376 |    29430
627.89/628.09	c  624s |      16 |   223063 |   167952 |   317036      0 |    20376 |    29430
630.39/630.55	c  626s |      16 |   223588 |   168352 |   317036      0 |    20376 |    29430
633.09/633.27	c  629s |      16 |   224060 |   168752 |   317036      0 |    20376 |    29430
635.19/635.36	c  631s |      16 |   224555 |   169152 |   317036      0 |    20376 |    29430
637.69/637.83	c  634s |      16 |   225086 |   169552 |   317036      0 |    20376 |    29430
640.20/640.35	c  636s |      16 |   225568 |   169952 |   317036      0 |    20376 |    29430
642.59/642.72	c  638s |      16 |   226092 |   170352 |   317036      0 |    20376 |    29430
644.79/644.92	c  641s |      16 |   226487 |   170652 |   317036      0 |    20376 |    29430
647.09/647.27	c  643s |      16 |   226976 |   171052 |   317036      0 |    20376 |    29430
649.69/649.87	c  646s |      16 |   227486 |   171452 |   317036      0 |    20376 |    29430
651.79/651.97	c  648s |      16 |   227900 |   171752 |   317036      0 |    20376 |    29430
653.79/653.98	c  650s |      16 |   228285 |   172052 |   317036      0 |    20376 |    29430
656.49/656.65	c  652s |      16 |   228828 |   172452 |   317036      0 |    20376 |    29430
659.09/659.22	c  655s |      16 |   229573 |   172952 |   317036      0 |    20376 |    29430
661.19/661.39	c  657s |      16 |   230112 |   173352 |   317036      0 |    20376 |    29430
663.59/663.70	c  659s |      16 |   230617 |   173752 |   317036      0 |    20376 |    29430
665.59/665.72	c  661s |      16 |   231024 |   174052 |   317036      0 |    20376 |    29430
668.19/668.38	c  664s |      16 |   231544 |   174452 |   317036      0 |    20376 |    29430
670.49/670.60	c  666s |      16 |   232101 |   174852 |   317036      0 |    20376 |    29430
672.58/672.71	c  668s |      16 |   232603 |   175252 |   317036      0 |    20376 |    29430
674.78/674.91	c  671s |      16 |   233119 |   175652 |   317036      0 |    20376 |    29430
677.18/677.32	c  673s |      16 |   233691 |   176052 |   317036      0 |    20376 |    29430
679.48/679.68	c  675s |      16 |   234207 |   176452 |   317036      0 |    20376 |    29430
681.68/681.83	c  678s |      16 |   234714 |   176852 |   317036      0 |    20376 |    29430
683.78/683.97	c  680s |      16 |   235304 |   177252 |   317036      0 |    20376 |    29430
685.98/686.10	c  682s |      16 |   235673 |   177552 |   317036      0 |    20376 |    29430
688.38/688.60	c  684s |      16 |   236160 |   177952 |   317036      0 |    20376 |    29430
691.08/691.24	c  687s |      16 |   236679 |   178352 |   317036      0 |    20376 |    29430
693.38/693.58	c  689s |      16 |   237207 |   178752 |   317036      0 |    20376 |    29430
695.58/695.72	c  691s |      16 |   237791 |   179152 |   317036      0 |    20376 |    29430
697.78/697.94	c  694s |      16 |   238304 |   179552 |   317036      0 |    20376 |    29430
699.78/699.94	c  696s |      16 |   238692 |   179852 |   317036      0 |    20376 |    29430
701.98/702.17	c  698s |      16 |   239196 |   180252 |   317036      0 |    20376 |    29430
704.58/704.75	c  701s |      16 |   239702 |   180652 |   317036      0 |    20376 |    29430
707.38/707.56	c  703s |      16 |   240192 |   181052 |   317036      0 |    20376 |    29430
709.88/710.03	c  706s |      16 |   240736 |   181452 |   317036      0 |    20376 |    29430
712.18/712.39	c  708s |      16 |   241287 |   181852 |   317036      0 |    20376 |    29430
714.68/714.88	c  711s |      16 |   241792 |   182252 |   317036      0 |    20376 |    29430
717.19/717.37	c  713s |      16 |   242311 |   182652 |   317036      0 |    20376 |    29430
719.78/719.92	c  716s |      16 |   242822 |   183052 |   317036      0 |    20376 |    29430
721.98/722.11	c  718s |      16 |   243292 |   183352 |   317036      0 |    20376 |    29430
724.48/724.64	c  720s |      16 |   243778 |   183752 |   317036      0 |    20376 |    29430
726.78/726.94	c  723s |      16 |   244344 |   184152 |   317036      0 |    20376 |    29430
728.88/729.00	c  725s |      16 |   244796 |   184452 |   317036      0 |    20376 |    29430
731.27/731.48	c  727s |      16 |   245442 |   184952 |   317036      0 |    20376 |    29430
733.37/733.59	c  729s |      16 |   245899 |   185352 |   317036      0 |    20376 |    29430
735.67/735.87	c  732s |      16 |   246458 |   185752 |   317036      0 |    20376 |    29430
738.17/738.32	c  734s |      16 |   246976 |   186152 |   317036      0 |    20376 |    29430
740.28/740.48	c  736s |      16 |   247357 |   186452 |   317036      0 |    20376 |    29430
742.48/742.67	c  738s |      16 |   247683 |   186752 |   317036      0 |    20376 |    29430
744.97/745.11	c  741s |      16 |   248153 |   187152 |   317036      0 |    20376 |    29430
747.27/747.40	c  743s |      16 |   248628 |   187552 |   317036      0 |    20376 |    29430
749.87/750.00	c  746s |      16 |   249096 |   187952 |   317036      0 |    20376 |    29430
752.06/752.21	c  748s |      16 |   249585 |   188352 |   317036      0 |    20376 |    29430
754.36/754.51	c  750s |      16 |   250134 |   188752 |   317036      0 |    20376 |    29430
756.86/757.04	c  753s |      16 |   250652 |   189152 |   317036      0 |    20376 |    29430
759.06/759.27	c  755s |      16 |   251047 |   189452 |   317036      0 |    20376 |    29430
761.56/761.79	c  758s |      16 |   251519 |   189852 |   317036      0 |    20376 |    29430
763.96/764.12	c  760s |      16 |   251996 |   190252 |   317036      0 |    20376 |    29430
766.16/766.35	c  762s |      16 |   252396 |   190552 |   317036      0 |    20376 |    29430
768.36/768.56	c  764s |      16 |   252772 |   190852 |   317036      0 |    20376 |    29430
770.76/770.99	c  767s |      16 |   253139 |   191152 |   317036      0 |    20376 |    29430
773.36/773.56	c  769s |      16 |   253603 |   191552 |   317036      0 |    20376 |    29430
775.37/775.56	c  771s |      16 |   253993 |   191852 |   317036      0 |    20376 |    29430
777.66/777.86	c  774s |      16 |   254511 |   192252 |   317036      0 |    20376 |    29430
780.06/780.29	c  776s |      16 |   254950 |   192652 |   317036      0 |    20376 |    29430
782.16/782.34	c  778s |      16 |   255326 |   192952 |   317036      0 |    20376 |    29430
784.55/784.74	c  780s |      16 |   255817 |   193352 |   317036      0 |    20376 |    29430
786.55/786.79	c  783s |      16 |   256186 |   193652 |   317036      0 |    20376 |    29430
788.66/788.82	c  785s |      16 |   256586 |   193952 |   317036      0 |    20376 |    29430
791.15/791.32	c  787s |      16 |   257102 |   194352 |   317036      0 |    20376 |    29430
793.75/793.90	c  790s |      16 |   257445 |   194652 |   317036      0 |    20376 |    29430
795.85/796.02	c  792s |      16 |   257818 |   194952 |   317036      0 |    20376 |    29430
798.15/798.32	c  794s |      16 |   258365 |   195352 |   317036      0 |    20376 |    29430
800.35/800.58	c  796s |      16 |   258814 |   195752 |   317036      0 |    20376 |    29430
802.75/802.98	c  799s |      16 |   259304 |   196152 |   348740      0 |    20376 |    29430
805.05/805.28	c  801s |      16 |   259815 |   196552 |   348740      0 |    20376 |    29430
807.44/807.69	c  803s |      16 |   260395 |   197052 |   348740      0 |    20376 |    29430
809.64/809.80	c  806s |      17 |   260842 |   197432 |   348740      0 |    20376 |    29430
811.94/812.13	c  808s |      17 |   261143 |   197632 |   348740      0 |    20376 |    29430
814.34/814.58	c  810s |      17 |   261639 |   198032 |   348740      0 |    20376 |    29430
816.64/816.84	c  813s |      17 |   262131 |   198432 |   348740      0 |    20376 |    29430
819.04/819.21	c  815s |      17 |   262570 |   198832 |   348740      0 |    20376 |    29430
821.04/821.29	c  817s |      17 |   263187 |   199232 |   348740      0 |    20376 |    29430
823.14/823.32	c  819s |      17 |   263837 |   199732 |   348740      0 |    20376 |    29430
825.24/825.49	c  821s |      17 |   264604 |   200332 |   348740      0 |    20376 |    29430
827.54/827.72	c  823s |      17 |   265446 |   200932 |   348740      0 |    20376 |    29430
829.54/829.73	c  825s |      17 |   266136 |   201432 |   348740      0 |    20376 |    29430
831.83/832.09	c  828s |      17 |   266765 |   201932 |   348740      0 |    20376 |    29430
834.13/834.31	c  830s |      17 |   267527 |   202532 |   348740      0 |    20376 |    29430
836.53/836.71	c  832s |      17 |   268416 |   203132 |   348740      0 |    20376 |    29430
838.53/838.72	c  834s |      17 |   268946 |   203532 |   348740      0 |    20376 |    29430
840.63/840.84	c  837s |      17 |   269608 |   204032 |   348740      0 |    20376 |    29430
842.73/842.90	c  839s |      17 |   270096 |   204432 |   348740      0 |    20376 |    29430
844.74/844.99	c  841s |      17 |   270679 |   204932 |   348740      0 |    20376 |    29430
847.03/847.25	c  843s |      17 |   271278 |   205432 |   348740      0 |    20376 |    29430
849.14/849.34	c  845s |      17 |   271894 |   205932 |   348740      0 |    20376 |    29430
851.43/851.68	c  847s |      17 |   272516 |   206432 |   348740      0 |    20376 |    29430
853.63/853.81	c  850s |      17 |   273135 |   206932 |   348740      0 |    20376 |    29430
855.74/855.98	c  852s |      17 |   273733 |   207432 |   348740      0 |    20376 |    29430
858.13/858.32	c  854s |      17 |   274335 |   207932 |   348740      0 |    20376 |    29430
860.23/860.49	c  856s |      17 |   274943 |   208432 |   348740      0 |    20376 |    29430
862.42/862.65	c  858s |      17 |   275564 |   208932 |   348740      0 |    20376 |    29430
864.62/864.80	c  861s |      17 |   276197 |   209432 |   348740      0 |    20376 |    29430
866.82/867.03	c  863s |      17 |   276847 |   209932 |   348740      0 |    20376 |    29430
869.02/869.28	c  865s |      17 |   277518 |   210432 |   348740      0 |    20376 |    29430
871.52/871.71	c  867s |      17 |   278144 |   210932 |   348740      0 |    20376 |    29430
873.62/873.88	c  870s |      17 |   278986 |   211532 |   348740      0 |    20376 |    29430
876.02/876.27	c  872s |      17 |   279680 |   212032 |   348740      0 |    20376 |    29430
878.22/878.48	c  874s |      17 |   280381 |   212532 |   348740      0 |    20376 |    29430
880.32/880.59	c  876s |      17 |   281019 |   213032 |   348740      0 |    20376 |    29430
882.72/882.95	c  879s |      17 |   281756 |   213632 |   348740      0 |    20376 |    29430
884.92/885.14	c  881s |      17 |   282387 |   214132 |   348740      0 |    20376 |    29430
887.02/887.27	c  883s |      17 |   282994 |   214632 |   348740      0 |    20376 |    29430
889.12/889.39	c  885s |      17 |   283583 |   215132 |   348740      0 |    20376 |    29430
891.22/891.41	c  887s |      17 |   284171 |   215632 |   348740      0 |    20376 |    29430
893.52/893.79	c  890s |      17 |   284742 |   216132 |   348740      0 |    20376 |    29430
895.72/895.93	c  892s |      17 |   285355 |   216632 |   348740      0 |    20376 |    29430
898.02/898.26	c  894s |      17 |   286057 |   217232 |   348740      0 |    20376 |    29430
900.52/900.76	c  897s |      17 |   286632 |   217732 |   348740      0 |    20376 |    29430
902.71/902.92	c  899s |      17 |   287214 |   218232 |   348740      0 |    20376 |    29430
904.81/905.08	c  901s |      17 |   287801 |   218732 |   348740      0 |    20376 |    29430
907.11/907.34	c  903s |      17 |   288410 |   219232 |   348740      0 |    20376 |    29430
909.31/909.54	c  905s |      17 |   289026 |   219732 |   348740      0 |    20376 |    29430
911.41/911.65	c  907s |      17 |   289526 |   220132 |   348740      0 |    20376 |    29430
913.92/914.13	c  910s |      17 |   290155 |   220632 |   348740      0 |    20376 |    29430
916.31/916.54	c  912s |      17 |   290774 |   221132 |   348740      0 |    20376 |    29430
918.71/918.92	c  915s |      17 |   291449 |   221632 |   348740      0 |    20376 |    29430
921.20/921.42	c  917s |      17 |   292078 |   222132 |   348740      0 |    20376 |    29430
923.30/923.55	c  919s |      17 |   292581 |   222532 |   348740      0 |    20376 |    29430
925.60/925.88	c  922s |      17 |   293197 |   223032 |   348740      0 |    20376 |    29430
927.90/928.19	c  924s |      17 |   293850 |   223532 |   348740      0 |    20376 |    29430
930.51/930.72	c  926s |      17 |   294520 |   224032 |   348740      0 |    20376 |    29430
933.10/933.33	c  929s |      17 |   295138 |   224532 |   348740      0 |    20376 |    29430
935.10/935.34	c  931s |      17 |   295626 |   224932 |   348740      0 |    20376 |    29430
937.40/937.63	c  933s |      17 |   296163 |   225332 |   348740      0 |    20376 |    29430
939.80/940.08	c  936s |      17 |   296654 |   225732 |   348740      0 |    20376 |    29430
942.19/942.47	c  938s |      17 |   297128 |   226132 |   348740      0 |    20376 |    29430
944.70/944.98	c  941s |      17 |   297743 |   226632 |   348740      0 |    20376 |    29430
947.29/947.53	c  943s |      17 |   298385 |   227132 |   348740      0 |    20376 |    29430
949.69/949.96	c  946s |      17 |   299059 |   227632 |   348740      0 |    20376 |    29430
951.99/952.24	c  948s |      17 |   300029 |   228332 |   348740      0 |    20376 |    29430
954.49/954.71	c  950s |      17 |   300818 |   228932 |   348740      0 |    20376 |    29430
956.90/957.18	c  953s |      17 |   301428 |   229432 |   348740      0 |    20376 |    29430
958.89/959.19	c  955s |      17 |   301933 |   229832 |   348740      0 |    20376 |    29430
961.09/961.32	c  957s |      17 |   302375 |   230232 |   348740      0 |    20376 |    29430
963.19/963.46	c  959s |      17 |   302826 |   230632 |   348740      0 |    20376 |    29430
965.19/965.49	c  961s |      17 |   303320 |   231032 |   348740      0 |    20376 |    29430
967.39/967.64	c  963s |      17 |   303798 |   231432 |   348740      0 |    20376 |    29430
969.69/969.97	c  966s |      17 |   304252 |   231832 |   348740      0 |    20376 |    29430
972.29/972.55	c  968s |      17 |   304711 |   232232 |   348740      0 |    20376 |    29430
974.58/974.80	c  971s |      17 |   305177 |   232632 |   348740      0 |    20376 |    29430
977.08/977.38	c  973s |      17 |   305751 |   233132 |   348740      0 |    20376 |    29430
979.28/979.50	c  975s |      17 |   306260 |   233532 |   348740      0 |    20376 |    29430
981.48/981.78	c  978s |      17 |   306747 |   233932 |   348740      0 |    20376 |    29430
983.58/983.88	c  980s |      17 |   307230 |   234332 |   348740      0 |    20376 |    29430
986.18/986.42	c  982s |      17 |   307839 |   234832 |   348740      0 |    20376 |    29430
988.58/988.89	c  985s |      17 |   308435 |   235332 |   348740      0 |    20376 |    29430
990.68/990.95	c  987s |      17 |   308894 |   235732 |   348740      0 |    20376 |    29430
992.97/993.22	c  989s |      17 |   309366 |   236132 |   348740      0 |    20376 |    29430
995.07/995.31	c  991s |      17 |   309825 |   236532 |   348740      0 |    20376 |    29430
997.17/997.42	c  993s |      17 |   310162 |   236832 |   348740      0 |    20376 |    29430
999.17/999.47	c  995s |      17 |   310524 |   237132 |   348740      0 |    20376 |    29430
1001.47/1001.74	c  997s |      17 |   311001 |   237532 |   348740      0 |    20376 |    29430
1003.67/1003.94	c 1000s |      17 |   311452 |   237932 |   348740      0 |    20376 |    29430
1005.87/1006.13	c 1002s |      17 |   311914 |   238332 |   348740      0 |    20376 |    29430
1008.37/1008.60	c 1004s |      17 |   312362 |   238732 |   348740      0 |    20376 |    29430
1010.77/1011.02	c 1007s |      17 |   312824 |   239132 |   348740      0 |    20376 |    29430
1013.07/1013.37	c 1009s |      17 |   313413 |   239632 |   348740      0 |    20376 |    29430
1015.47/1015.72	c 1011s |      17 |   314003 |   240132 |   348740      0 |    20376 |    29430
1017.57/1017.88	c 1014s |      17 |   314512 |   240532 |   348740      0 |    20376 |    29430
1019.87/1020.18	c 1016s |      17 |   315001 |   240932 |   348740      0 |    20376 |    29430
1022.07/1022.31	c 1018s |      17 |   315481 |   241332 |   348740      0 |    20376 |    29430
1024.27/1024.56	c 1020s |      17 |   316080 |   241832 |   348740      0 |    20376 |    29430
1026.57/1026.85	c 1023s |      17 |   316673 |   242332 |   348740      0 |    20376 |    29430
1028.76/1029.07	c 1025s |      17 |   317268 |   242832 |   348740      0 |    20376 |    29430
1031.06/1031.30	c 1027s |      17 |   317876 |   243332 |   348740      0 |    20376 |    29430
1033.06/1033.31	c 1029s |      17 |   318369 |   243732 |   348740      0 |    20376 |    29430
1035.36/1035.60	c 1031s |      17 |   319156 |   244332 |   348740      0 |    20376 |    29430
1037.46/1037.71	c 1033s |      17 |   319743 |   244832 |   348740      0 |    20376 |    29430
1039.56/1039.80	c 1036s |      17 |   320393 |   245332 |   348740      0 |    20376 |    29430
1041.85/1042.18	c 1038s |      17 |   321096 |   245932 |   348740      0 |    20376 |    29430
1044.05/1044.38	c 1040s |      17 |   321683 |   246432 |   348740      0 |    20376 |    29430
1046.15/1046.46	c 1042s |      17 |   322144 |   246832 |   348740      0 |    20376 |    29430
1048.65/1048.90	c 1045s |      17 |   322778 |   247332 |   348740      0 |    20376 |    29430
1050.95/1051.24	c 1047s |      17 |   323375 |   247832 |   348740      0 |    20376 |    29430
1053.15/1053.42	c 1049s |      17 |   323834 |   248232 |   348740      0 |    20376 |    29430
1055.55/1055.80	c 1052s |      17 |   324465 |   248732 |   348740      0 |    20376 |    29430
1057.95/1058.26	c 1054s |      17 |   325064 |   249232 |   348740      0 |    20376 |    29430
1060.25/1060.51	c 1056s |      17 |   325692 |   249732 |   348740      0 |    20376 |    29430
1062.35/1062.67	c 1058s |      17 |   326148 |   250132 |   348740      0 |    20376 |    29430
1064.65/1064.99	c 1061s |      17 |   326626 |   250532 |   348740      0 |    20376 |    29430
1067.04/1067.39	c 1063s |      17 |   327101 |   250932 |   348740      0 |    20376 |    29430
1069.34/1069.68	c 1065s |      17 |   327579 |   251332 |   348740      0 |    20376 |    29430
1071.83/1072.17	c 1068s |      17 |   328028 |   251732 |   348740      0 |    20376 |    29430
1074.33/1074.67	c 1070s |      17 |   328485 |   252132 |   348740      0 |    20376 |    29430
1076.83/1077.17	c 1073s |      17 |   328938 |   252532 |   348740      0 |    20376 |    29430
1078.94/1079.27	c 1075s |      17 |   329389 |   252932 |   348740      0 |    20376 |    29430
1081.14/1081.44	c 1077s |      17 |   329870 |   253332 |   348740      0 |    20376 |    29430
1083.24/1083.55	c 1079s |      17 |   330354 |   253732 |   348740      0 |    20376 |    29430
1085.33/1085.60	c 1081s |      17 |   330825 |   254132 |   348740      0 |    20376 |    29430
1087.43/1087.78	c 1084s |      17 |   331287 |   254532 |   348740      0 |    20376 |    29430
1089.63/1089.91	c 1086s |      17 |   331770 |   254932 |   348740      0 |    20376 |    29430
1092.13/1092.43	c 1088s |      17 |   332233 |   255332 |   348740      0 |    20376 |    29430
1094.12/1094.49	c 1090s |      17 |   332706 |   255732 |   348740      0 |    20376 |    29430
1096.62/1096.90	c 1093s |      17 |   333148 |   256132 |   348740      0 |    20376 |    29430
1099.02/1099.32	c 1095s |      17 |   333592 |   256532 |   348740      0 |    20376 |    29430
1101.01/1101.33	c 1097s |      17 |   334052 |   256932 |   348740      0 |    20376 |    29430
1103.21/1103.52	c 1099s |      17 |   334638 |   257432 |   348740      0 |    20376 |    29430
1105.22/1105.54	c 1101s |      17 |   335088 |   257832 |   348740      0 |    20376 |    29430
1107.81/1108.12	c 1104s |      17 |   335581 |   258232 |   348740      0 |    20376 |    29430
1109.91/1110.25	c 1106s |      17 |   335941 |   258532 |   348740      0 |    20376 |    29430
1112.11/1112.40	c 1108s |      17 |   336281 |   258832 |   348740      0 |    20376 |    29430
1114.31/1114.62	c 1110s |      17 |   336768 |   259232 |   348740      0 |    20376 |    29430
1116.41/1116.75	c 1113s |      17 |   337109 |   259532 |   348740      0 |    20376 |    29430
1118.81/1119.17	c 1115s |      17 |   337603 |   259932 |   348740      0 |    20376 |    29430
1121.20/1121.53	c 1117s |      17 |   338099 |   260332 |   348740      0 |    20376 |    29430
1123.80/1124.10	c 1120s |      17 |   338592 |   260732 |   348740      0 |    20376 |    29430
1125.80/1126.18	c 1122s |      17 |   338943 |   261032 |   348740      0 |    20376 |    29430
1128.00/1128.31	c 1124s |      17 |   339277 |   261332 |   348740      0 |    20376 |    29430
1130.40/1130.74	c 1126s |      17 |   339749 |   261732 |   348740      0 |    20376 |    29430
1132.70/1133.09	c 1129s |      17 |   340240 |   262132 |   348740      0 |    20376 |    29430
1134.90/1135.29	c 1131s |      17 |   340588 |   262432 |   348740      0 |    20376 |    29430
1137.10/1137.45	c 1133s |      17 |   341060 |   262832 |   348740      0 |    20376 |    29430
1139.30/1139.65	c 1135s |      17 |   341553 |   263232 |   348740      0 |    20376 |    29430
1141.50/1141.82	c 1138s |      17 |   342013 |   263632 |   348740      0 |    20376 |    29430
1143.80/1144.13	c 1140s |      17 |   342645 |   264132 |   348740      0 |    20376 |    29430
1145.79/1146.13	c 1142s |      17 |   343183 |   264532 |   348740      0 |    20376 |    29430
1147.99/1148.36	c 1144s |      17 |   343564 |   264832 |   348740      0 |    20376 |    29430
1150.40/1150.73	c 1146s |      17 |   344086 |   265232 |   348740      0 |    20376 |    29430
1152.49/1152.86	c 1149s |      17 |   344469 |   265532 |   348740      0 |    20376 |    29430
1155.19/1155.50	c 1151s |      17 |   344946 |   265932 |   348740      0 |    20376 |    29430
1157.29/1157.61	c 1153s |      17 |   345279 |   266232 |   348740      0 |    20376 |    29430
1159.49/1159.89	c 1156s |      17 |   345759 |   266632 |   348740      0 |    20376 |    29430
1162.08/1162.45	c 1158s |      17 |   346232 |   267032 |   348740      0 |    20376 |    29430
1164.38/1164.73	c 1160s |      17 |   346567 |   267332 |   348740      0 |    20376 |    29430
1166.68/1167.10	c 1163s |      17 |   347036 |   267732 |   348740      0 |    20376 |    29430
1169.18/1169.57	c 1165s |      17 |   347487 |   268132 |   348740      0 |    20376 |    29430
1171.77/1172.16	c 1168s |      17 |   347968 |   268532 |   348740      0 |    20376 |    29430
1174.17/1174.54	c 1170s |      17 |   348505 |   268932 |   348740      0 |    20376 |    29430
1176.27/1176.61	c 1172s |      17 |   348955 |   269332 |   348740      0 |    20376 |    29430
1178.27/1178.63	c 1174s |      17 |   349442 |   269732 |   348740      0 |    20376 |    29430
1180.27/1180.64	c 1176s |      17 |   349808 |   270032 |   348740      0 |    20376 |    29430
1182.87/1183.28	c 1179s |      17 |   350282 |   270432 |   348740      0 |    20376 |    29430
1185.27/1185.60	c 1181s |      17 |   350762 |   270832 |   348740      0 |    20376 |    29430
1187.78/1188.15	c 1184s |      17 |   351236 |   271232 |   348740      0 |    20376 |    29430
1189.98/1190.32	c 1186s |      17 |   351573 |   271532 |   348740      0 |    20376 |    29430
1192.46/1192.86	c 1189s |      17 |   352058 |   271932 |   348740      0 |    20376 |    29430
1194.56/1194.96	c 1191s |      17 |   352514 |   272332 |   348740      0 |    20376 |    29430
1196.96/1197.36	c 1193s |      17 |   352982 |   272732 |   348740      0 |    20376 |    29430
1199.36/1199.78	c 1196s |      17 |   353434 |   273132 |   348740      0 |    20376 |    29430
1201.96/1202.36	c 1198s |      17 |   353924 |   273532 |   348740      0 |    20376 |    29430
1204.06/1204.48	c 1200s |      17 |   354262 |   273832 |   348740      0 |    20376 |    29430
1206.56/1206.90	c 1203s |      17 |   354737 |   274232 |   348740      0 |    20376 |    29430
1209.36/1209.70	c 1205s |      17 |   355216 |   274632 |   348740      0 |    20376 |    29430
1211.65/1212.01	c 1208s |      17 |   355700 |   275032 |   348740      0 |    20376 |    29430
1214.06/1214.46	c 1210s |      17 |   356201 |   275432 |   348740      0 |    20376 |    29430
1216.45/1216.81	c 1213s |      17 |   356717 |   275832 |   348740      0 |    20376 |    29430
1218.65/1219.05	c 1215s |      17 |   357186 |   276232 |   348740      0 |    20376 |    29430
1220.85/1221.21	c 1217s |      17 |   357518 |   276532 |   348740      0 |    20376 |    29430
1223.35/1223.72	c 1219s |      17 |   357971 |   276932 |   348740      0 |    20376 |    29430
1226.05/1226.42	c 1222s |      17 |   358444 |   277332 |   348740      0 |    20376 |    29430
1228.05/1228.48	c 1224s |      17 |   358768 |   277632 |   348740      0 |    20376 |    29430
1230.35/1230.74	c 1226s |      17 |   359136 |   277932 |   348740      0 |    20376 |    29430
1232.44/1232.80	c 1229s |      17 |   359492 |   278232 |   348740      0 |    20376 |    29430
1234.44/1234.83	c 1231s |      17 |   359855 |   278532 |   348740      0 |    20376 |    29430
1236.84/1237.28	c 1233s |      17 |   360332 |   278932 |   348740      0 |    20376 |    29430
1239.04/1239.49	c 1235s |      17 |   360680 |   279232 |   348740      0 |    20376 |    29430
1241.74/1242.17	c 1238s |      17 |   361197 |   279632 |   348740      0 |    20376 |    29430
1243.94/1244.32	c 1240s |      17 |   361564 |   279932 |   348740      0 |    20376 |    29430
1246.14/1246.52	c 1242s |      17 |   361907 |   280232 |   348740      0 |    20376 |    29430
1248.64/1249.05	c 1245s |      17 |   362391 |   280632 |   348740      0 |    20376 |    29430
1251.13/1251.57	c 1247s |      17 |   362832 |   281032 |   348740      0 |    20376 |    29430
1253.53/1253.95	c 1250s |      17 |   363349 |   281432 |   348740      0 |    20376 |    29430
1255.84/1256.23	c 1252s |      17 |   363853 |   281832 |   348740      0 |    20376 |    29430
1258.23/1258.66	c 1254s |      17 |   364341 |   282232 |   348740      0 |    20376 |    29430
1260.24/1260.68	c 1256s |      17 |   364711 |   282532 |   348740      0 |    20376 |    29430
1262.62/1263.08	c 1259s |      17 |   365185 |   282932 |   348740      0 |    20376 |    29430
1264.92/1265.38	c 1261s |      17 |   365690 |   283332 |   348740      0 |    20376 |    29430
1267.02/1267.44	c 1263s |      17 |   366159 |   283732 |   348740      0 |    20376 |    29430
1269.72/1270.19	c 1266s |      17 |   366613 |   284132 |   348740      0 |    20376 |    29430
1271.82/1272.25	c 1268s |      17 |   366959 |   284432 |   348740      0 |    20376 |    29430
1273.92/1274.32	c 1270s |      17 |   367312 |   284732 |   348740      0 |    20376 |    29430
1276.02/1276.40	c 1272s |      17 |   367647 |   285032 |   348740      0 |    20376 |    29430
1278.02/1278.48	c 1274s |      17 |   368006 |   285332 |   348740      0 |    20376 |    29430
1280.72/1281.17	c 1277s |      17 |   368496 |   285732 |   348740      0 |    20376 |    29430
1283.32/1283.78	c 1280s |      17 |   368950 |   286132 |   348740      0 |    20376 |    29430
1285.41/1285.86	c 1282s |      17 |   369302 |   286432 |   348740      0 |    20376 |    29430
1287.51/1287.94	c 1284s |      17 |   369643 |   286732 |   348740      0 |    20376 |    29430
1289.92/1290.32	c 1286s |      17 |   370102 |   287132 |   348740      0 |    20376 |    29430
1292.41/1292.84	c 1289s |      17 |   370564 |   287532 |   348740      0 |    20376 |    29430
1294.51/1294.98	c 1291s |      17 |   370901 |   287832 |   348740      0 |    20376 |    29430
1297.01/1297.44	c 1293s |      17 |   371378 |   288232 |   348740      0 |    20376 |    29430
1299.51/1299.92	c 1296s |      17 |   371883 |   288632 |   348740      0 |    20376 |    29430
1301.91/1302.35	c 1298s |      17 |   372378 |   289032 |   348740      0 |    20376 |    29430
1304.11/1304.52	c 1300s |      17 |   372703 |   289332 |   348740      0 |    20376 |    29430
1306.11/1306.58	c 1302s |      17 |   373031 |   289632 |   348740      0 |    20376 |    29430
1308.51/1308.97	c 1305s |      17 |   373380 |   289932 |   348740      0 |    20376 |    29430
1310.71/1311.20	c 1307s |      17 |   373725 |   290232 |   348740      0 |    20376 |    29430
1312.80/1313.20	c 1309s |      17 |   374092 |   290532 |   348740      0 |    20376 |    29430
1315.40/1315.85	c 1312s |      17 |   374557 |   290932 |   348740      0 |    20376 |    29430
1317.60/1318.05	c 1314s |      17 |   374912 |   291232 |   348740      0 |    20376 |    29430
1319.90/1320.32	c 1316s |      17 |   375302 |   291532 |   348740      0 |    20376 |    29430
1321.90/1322.33	c 1318s |      17 |   375648 |   291832 |   348740      0 |    20376 |    29430
1323.90/1324.36	c 1320s |      17 |   375990 |   292132 |   348740      0 |    20376 |    29430
1326.10/1326.51	c 1322s |      17 |   376328 |   292432 |   348740      0 |    20376 |    29430
1328.80/1329.21	c 1325s |      17 |   376820 |   292832 |   348740      0 |    20376 |    29430
1331.29/1331.71	c 1327s |      17 |   377307 |   293232 |   348740      0 |    20376 |    29430
1333.90/1334.35	c 1330s |      17 |   377774 |   293632 |   348740      0 |    20376 |    29430
1336.59/1337.05	c 1333s |      17 |   378225 |   294032 |   348740      0 |    20376 |    29430
1338.89/1339.30	c 1335s |      17 |   378551 |   294332 |   383615      0 |    20376 |    29430
1341.38/1341.88	c 1338s |      17 |   379008 |   294732 |   383615      0 |    20376 |    29430
1343.48/1343.93	c 1340s |      17 |   379367 |   295032 |   383615      0 |    20376 |    29430
1345.48/1345.98	c 1342s |      17 |   379700 |   295332 |   383615      0 |    20376 |    29430
1347.88/1348.31	c 1344s |      17 |   380027 |   295632 |   383615      0 |    20376 |    29430
1349.98/1350.46	c 1346s |      17 |   380380 |   295932 |   383615      0 |    20376 |    29430
1352.08/1352.56	c 1348s |      18 |   380770 |   296252 |   383615      0 |    20376 |    29430
1354.48/1354.94	c 1351s |      18 |   380920 |   296352 |   383615      0 |    20376 |    29430
1356.98/1357.48	c 1353s |      18 |   381394 |   296752 |   383615      0 |    20376 |    29430
1359.67/1360.15	c 1356s |      18 |   381837 |   297152 |   383615      0 |    20376 |    29430
1361.67/1362.18	c 1358s |      18 |   382225 |   297452 |   383615      0 |    20376 |    29430
1364.07/1364.54	c 1360s |      18 |   382564 |   297752 |   383615      0 |    20376 |    29430
1366.57/1367.07	c 1363s |      18 |   383044 |   298152 |   383615      0 |    20376 |    29430
1368.97/1369.49	c 1365s |      18 |   383561 |   298552 |   383615      0 |    20376 |    29430
1371.07/1371.54	c 1367s |      18 |   384087 |   298952 |   383615      0 |    20376 |    29430
1373.47/1373.92	c 1370s |      18 |   384547 |   299352 |   383615      0 |    20376 |    29430
1375.77/1376.21	c 1372s |      18 |   385032 |   299752 |   383615      0 |    20376 |    29430
1378.07/1378.56	c 1374s |      18 |   385516 |   300152 |   383615      0 |    20376 |    29430
1380.47/1380.98	c 1377s |      18 |   386019 |   300552 |   383615      0 |    20376 |    29430
1382.96/1383.40	c 1379s |      18 |   386529 |   300952 |   383615      0 |    20376 |    29430
1385.26/1385.71	c 1381s |      18 |   387005 |   301352 |   383615      0 |    20376 |    29430
1387.56/1388.06	c 1384s |      18 |   387348 |   301652 |   383615      0 |    20376 |    29430
1389.86/1390.31	c 1386s |      18 |   387699 |   301952 |   383615      0 |    20376 |    29430
1391.86/1392.39	c 1388s |      18 |   388049 |   302252 |   383615      0 |    20376 |    29430
1393.96/1394.40	c 1390s |      18 |   388368 |   302552 |   383615      0 |    20376 |    29430
1396.06/1396.55	c 1392s |      18 |   388747 |   302852 |   383615      0 |    20376 |    29430
1398.46/1398.97	c 1395s |      18 |   389383 |   303352 |   383615      0 |    20376 |    29430
1400.66/1401.14	c 1397s |      18 |   389728 |   303652 |   383615      0 |    20376 |    29430
1402.96/1403.42	c 1399s |      18 |   390076 |   303952 |   383615      0 |    20376 |    29430
1405.36/1405.88	c 1402s |      18 |   390377 |   304152 |   383615      0 |    20388 |    29470
1407.76/1408.22	c 1404s |      18 |   390989 |   304652 |   383615      0 |    20388 |    29470
1410.06/1410.56	c 1406s |      18 |   391591 |   305152 |   383615      0 |    20388 |    29470
1412.16/1412.66	c 1408s |      18 |   392101 |   305552 |   383615      0 |    20388 |    29470
1414.16/1414.69	c 1410s |      18 |   392617 |   305952 |   383615      0 |    20388 |    29470
1416.26/1416.71	c 1412s |      18 |   393144 |   306352 |   383615      0 |    20388 |    29470
1418.36/1418.82	c 1415s |      18 |   393712 |   306752 |   383615      0 |    20388 |    29470
1420.66/1421.18	c 1417s |      18 |   394340 |   307252 |   383615      0 |    20388 |    29470
1423.16/1423.64	c 1419s |      18 |   394991 |   307752 |   383615      0 |    20388 |    29470
1425.36/1425.80	c 1422s |      18 |   395619 |   308252 |   383615      0 |    20388 |    29470
1427.47/1427.94	c 1424s |      18 |   396109 |   308652 |   383615      0 |    20388 |    29470
1429.67/1430.13	c 1426s |      18 |   396618 |   309052 |   383615      0 |    20388 |    29470
1431.77/1432.22	c 1428s |      18 |   397159 |   309452 |   383615      0 |    20388 |    29470
1434.16/1434.61	c 1430s |      18 |   397792 |   309952 |   383615      0 |    20388 |    29470
1436.36/1436.82	c 1433s |      18 |   398403 |   310452 |   383615      0 |    20388 |    29470
1438.56/1439.09	c 1435s |      18 |   398992 |   310952 |   383615      0 |    20388 |    29470
1440.76/1441.22	c 1437s |      18 |   399435 |   311352 |   383615      0 |    20388 |    29470
1442.77/1443.29	c 1439s |      18 |   399898 |   311752 |   383615      0 |    20388 |    29470
1445.07/1445.59	c 1441s |      18 |   400387 |   312152 |   383615      0 |    20388 |    29470
1447.66/1448.12	c 1444s |      18 |   400934 |   312552 |   383615      0 |    20388 |    29470
1450.16/1450.67	c 1446s |      18 |   401405 |   312952 |   383615      0 |    20388 |    29470
1452.46/1452.93	c 1449s |      18 |   401917 |   313352 |   383615      0 |    20388 |    29470
1454.86/1455.38	c 1451s |      18 |   402403 |   313752 |   383615      0 |    20388 |    29470
1457.36/1457.88	c 1454s |      18 |   402914 |   314152 |   383615      0 |    20388 |    29470
1459.46/1459.94	c 1456s |      18 |   403284 |   314452 |   383615      0 |    20388 |    29470
1461.76/1462.25	c 1458s |      18 |   403794 |   314852 |   383615      0 |    20388 |    29470
1463.96/1464.48	c 1460s |      18 |   404304 |   315252 |   383615      0 |    20388 |    29470
1466.56/1467.03	c 1463s |      18 |   404782 |   315652 |   383615      0 |    20388 |    29470
1468.56/1469.09	c 1465s |      18 |   405288 |   316052 |   383615      0 |    20388 |    29470
1470.76/1471.29	c 1467s |      18 |   405785 |   316452 |   383615      0 |    20388 |    29470
1473.36/1473.86	c 1470s |      18 |   406402 |   316952 |   383615      0 |    20388 |    29470
1475.95/1476.43	c 1472s |      18 |   406852 |   317352 |   383615      0 |    20388 |    29470
1478.35/1478.81	c 1475s |      18 |   407321 |   317752 |   383615      0 |    20388 |    29470
1480.65/1481.17	c 1477s |      18 |   407803 |   318152 |   383615      0 |    20388 |    29470
1483.05/1483.53	c 1479s |      18 |   408281 |   318552 |   383615      0 |    20388 |    29470
1485.35/1485.83	c 1482s |      18 |   408775 |   318952 |   383615      0 |    20388 |    29470
1487.55/1488.00	c 1484s |      18 |   409268 |   319352 |   383615      0 |    20388 |    29470
1489.55/1490.06	c 1486s |      18 |   409664 |   319652 |   383615      0 |    20388 |    29470
1491.55/1492.07	c 1488s |      18 |   410027 |   319952 |   383615      0 |    20388 |    29470
1493.75/1494.25	c 1490s |      18 |   410355 |   320252 |   383615      0 |    20388 |    29470
1496.45/1496.97	c 1493s |      18 |   410820 |   320652 |   383615      0 |    20388 |    29470
1498.55/1499.00	c 1495s |      18 |   411169 |   320952 |   383615      0 |    20388 |    29470
1500.95/1501.47	c 1497s |      18 |   411708 |   321352 |   383615      0 |    20388 |    29470
1503.15/1503.67	c 1499s |      18 |   412261 |   321752 |   383615      0 |    20388 |    29470
1505.15/1505.68	c 1501s |      18 |   412620 |   322052 |   383615      0 |    20388 |    29470
1507.66/1508.14	c 1504s |      18 |   413109 |   322452 |   383615      0 |    20388 |    29470
1510.25/1510.77	c 1507s |      18 |   413730 |   322952 |   383615      0 |    20388 |    29470
1512.75/1513.20	c 1509s |      18 |   414215 |   323352 |   383615      0 |    20388 |    29470
1515.25/1515.78	c 1512s |      18 |   414698 |   323752 |   383615      0 |    20388 |    29470
1517.75/1518.24	c 1514s |      18 |   415169 |   324152 |   383615      0 |    20388 |    29470
1519.85/1520.38	c 1516s |      18 |   415650 |   324552 |   383615      0 |    20388 |    29470
1522.05/1522.57	c 1518s |      18 |   416199 |   324952 |   383615      0 |    20388 |    29470
1524.35/1524.89	c 1521s |      18 |   416679 |   325352 |   383615      0 |    20388 |    29470
1526.45/1526.93	c 1523s |      18 |   417022 |   325652 |   383615      0 |    20388 |    29470
1529.05/1529.53	c 1525s |      18 |   417483 |   326052 |   383615      0 |    20388 |    29470
1531.54/1532.03	c 1528s |      18 |   417975 |   326452 |   383615      0 |    20388 |    29470
1533.94/1534.47	c 1530s |      18 |   418442 |   326852 |   383615      0 |    20388 |    29470
1536.25/1536.71	c 1532s |      18 |   418913 |   327252 |   383615      0 |    20388 |    29470
1538.64/1539.14	c 1535s |      18 |   419602 |   327752 |   383615      0 |    20388 |    29470
1541.14/1541.67	c 1537s |      18 |   420077 |   328152 |   383615      0 |    20388 |    29470
1543.14/1543.68	c 1539s |      18 |   420445 |   328452 |   383615      0 |    20388 |    29470
1545.84/1546.37	c 1542s |      18 |   420972 |   328852 |   383615      0 |    20388 |    29470
1548.24/1548.77	c 1545s |      18 |   421447 |   329252 |   383615      0 |    20388 |    29470
1550.34/1550.86	c 1547s |      18 |   421791 |   329552 |   383615      0 |    20388 |    29470
1552.64/1553.13	c 1549s |      18 |   422127 |   329852 |   383615      0 |    20388 |    29470
1554.74/1555.21	c 1551s |      18 |   422456 |   330152 |   383615      0 |    20388 |    29470
1556.94/1557.40	c 1553s |      18 |   422795 |   330452 |   383615      0 |    20388 |    29470
1559.04/1559.53	c 1555s |      18 |   423168 |   330752 |   383615      0 |    20388 |    29470
1561.24/1561.78	c 1558s |      18 |   423529 |   331052 |   383615      0 |    20388 |    29470
1563.54/1564.00	c 1560s |      18 |   423862 |   331352 |   383615      0 |    20388 |    29470
1565.84/1566.30	c 1562s |      18 |   424202 |   331652 |   383615      0 |    20388 |    29470
1568.04/1568.54	c 1564s |      18 |   424560 |   331952 |   383615      0 |    20388 |    29470
1570.24/1570.70	c 1566s |      18 |   424899 |   332252 |   383615      0 |    20388 |    29470
1572.54/1573.08	c 1569s |      18 |   425232 |   332552 |   383615      0 |    20388 |    29470
1574.84/1575.31	c 1571s |      18 |   425607 |   332852 |   383615      0 |    20388 |    29470
1577.04/1577.53	c 1573s |      18 |   426155 |   333252 |   383615      0 |    20388 |    29470
1579.33/1579.89	c 1576s |      18 |   426664 |   333652 |   383615      0 |    20388 |    29470
1581.63/1582.19	c 1578s |      18 |   427007 |   333952 |   383615      0 |    20388 |    29470
1584.13/1584.63	c 1580s |      18 |   427377 |   334252 |   383615      0 |    20388 |    29470
1586.84/1587.37	c 1583s |      18 |   427838 |   334652 |   383615      0 |    20388 |    29470
1589.14/1589.61	c 1585s |      18 |   428183 |   334952 |   383615      0 |    20388 |    29470
1591.13/1591.69	c 1587s |      18 |   428555 |   335252 |   383615      0 |    20388 |    29470
1593.33/1593.86	c 1590s |      18 |   428905 |   335552 |   383615      0 |    20388 |    29470
1595.74/1596.26	c 1592s |      18 |   429228 |   335852 |   383615      0 |    20388 |    29470
1598.03/1598.50	c 1594s |      18 |   429582 |   336152 |   383615      0 |    20388 |    29470
1600.93/1601.43	c 1597s |      18 |   430047 |   336552 |   383615      0 |    20388 |    29470
1603.03/1603.52	c 1599s |      18 |   430413 |   336852 |   383615      0 |    20388 |    29470
1605.23/1605.72	c 1601s |      18 |   430807 |   337152 |   383615      0 |    20388 |    29470
1607.23/1607.78	c 1604s |      18 |   431191 |   337452 |   383615      0 |    20388 |    29470
1609.94/1610.43	c 1606s |      18 |   431661 |   337852 |   383615      0 |    20388 |    29470
1612.24/1612.79	c 1609s |      18 |   432136 |   338252 |   383615      0 |    20388 |    29470
1614.63/1615.10	c 1611s |      18 |   432629 |   338652 |   383615      0 |    20388 |    29470
1617.33/1617.86	c 1614s |      18 |   433146 |   339052 |   383615      0 |    20388 |    29470
1619.53/1620.07	c 1616s |      18 |   433502 |   339352 |   383615      0 |    20388 |    29470
1622.03/1622.55	c 1618s |      18 |   433977 |   339752 |   383615      0 |    20388 |    29470
1624.63/1625.17	c 1621s |      18 |   434476 |   340152 |   383615      0 |    20388 |    29470
1627.13/1627.69	c 1623s |      18 |   434989 |   340552 |   383615      0 |    20388 |    29470
1629.33/1629.81	c 1626s |      18 |   435362 |   340852 |   383615      0 |    20388 |    29470
1631.43/1631.93	c 1628s |      18 |   435902 |   341252 |   383615      0 |    20388 |    29470
1633.73/1634.27	c 1630s |      18 |   436437 |   341652 |   383615      0 |    20388 |    29470
1636.03/1636.58	c 1632s |      18 |   436960 |   342052 |   383615      0 |    20388 |    29470
1638.33/1638.89	c 1635s |      18 |   437452 |   342452 |   383615      0 |    20388 |    29470
1640.83/1641.37	c 1637s |      18 |   437980 |   342852 |   383615      0 |    20388 |    29470
1643.12/1643.69	c 1639s |      18 |   438381 |   343152 |   383615      0 |    20388 |    29470
1645.32/1645.89	c 1642s |      18 |   438759 |   343452 |   383615      0 |    20388 |    29470
1647.52/1648.03	c 1644s |      18 |   439298 |   343852 |   383615      0 |    20388 |    29470
1650.22/1650.71	c 1646s |      18 |   439819 |   344252 |   383615      0 |    20388 |    29470
1652.72/1653.24	c 1649s |      18 |   440175 |   344552 |   383615      0 |    20388 |    29470
1655.03/1655.51	c 1651s |      18 |   440524 |   344852 |   383615      0 |    20388 |    29470
1657.33/1657.86	c 1654s |      18 |   440875 |   345152 |   383615      0 |    20388 |    29470
1659.62/1660.12	c 1656s |      18 |   441235 |   345452 |   383615      0 |    20388 |    29470
1661.73/1662.24	c 1658s |      18 |   441577 |   345752 |   383615      0 |    20388 |    29470
1664.12/1664.64	c 1660s |      18 |   442080 |   346152 |   383615      0 |    20388 |    29470
1666.32/1666.85	c 1663s |      18 |   442431 |   346452 |   383615      0 |    20388 |    29470
1668.42/1668.98	c 1665s |      18 |   442784 |   346752 |   383615      0 |    20388 |    29470
1671.02/1671.58	c 1667s |      18 |   443302 |   347152 |   383615      0 |    20388 |    29470
1673.62/1674.14	c 1670s |      18 |   443806 |   347552 |   383615      0 |    20388 |    29470
1676.22/1676.77	c 1673s |      18 |   444295 |   347952 |   383615      0 |    20388 |    29470
1678.52/1679.02	c 1675s |      18 |   444669 |   348252 |   383615      0 |    20388 |    29470
1680.62/1681.14	c 1677s |      18 |   445048 |   348552 |   383615      0 |    20388 |    29470
1682.82/1683.33	c 1679s |      18 |   445429 |   348852 |   383615      0 |    20388 |    29470
1685.22/1685.75	c 1682s |      18 |   445787 |   349152 |   383615      0 |    20388 |    29470
1687.22/1687.79	c 1684s |      18 |   446158 |   349452 |   383615      0 |    20388 |    29470
1689.42/1689.92	c 1686s |      18 |   446551 |   349752 |   383615      0 |    20388 |    29470
1691.82/1692.34	c 1688s |      18 |   446926 |   350052 |   383615      0 |    20388 |    29470
1694.22/1694.71	c 1690s |      18 |   447275 |   350352 |   383615      0 |    20388 |    29470
1696.42/1696.95	c 1693s |      18 |   447636 |   350652 |   383615      0 |    20388 |    29470
1699.02/1699.53	c 1695s |      18 |   448141 |   351052 |   383615      0 |    20388 |    29470
1701.62/1702.12	c 1698s |      18 |   448647 |   351452 |   383615      0 |    20388 |    29470
1704.21/1704.76	c 1701s |      18 |   449119 |   351852 |   383615      0 |    20388 |    29470
1706.31/1706.89	c 1703s |      18 |   449466 |   352152 |   383615      0 |    20388 |    29470
1708.51/1709.09	c 1705s |      18 |   449850 |   352452 |   383615      0 |    20388 |    29470
1711.01/1711.58	c 1707s |      18 |   450213 |   352752 |   383615      0 |    20388 |    29470
1713.32/1713.81	c 1710s |      18 |   450595 |   353052 |   383615      0 |    20388 |    29470
1716.01/1716.59	c 1712s |      18 |   450932 |   353352 |   383615      0 |    20388 |    29470
1718.61/1719.18	c 1715s |      18 |   451271 |   353652 |   383615      0 |    20388 |    29470
1720.91/1721.50	c 1717s |      18 |   451654 |   353952 |   383615      0 |    20388 |    29470
1723.22/1723.78	c 1720s |      18 |   451998 |   354252 |   383615      0 |    20388 |    29470
1725.31/1725.81	c 1722s |      18 |   452337 |   354552 |   383615      0 |    20388 |    29470
1727.91/1728.44	c 1724s |      18 |   452822 |   354952 |   383615      0 |    20388 |    29470
1730.61/1731.16	c 1727s |      18 |   453272 |   355352 |   383615      0 |    20388 |    29470
1733.01/1733.56	c 1729s |      18 |   453632 |   355652 |   383615      0 |    20388 |    29470
1735.32/1735.81	c 1732s |      18 |   453998 |   355952 |   383615      0 |    20388 |    29470
1737.52/1738.07	c 1734s |      18 |   454356 |   356252 |   383615      0 |    20388 |    29470
1739.82/1740.39	c 1736s |      18 |   454734 |   356552 |   383615      0 |    20388 |    29470
1742.41/1742.90	c 1739s |      18 |   455079 |   356852 |   383615      0 |    20388 |    29470
1744.71/1745.21	c 1741s |      18 |   455445 |   357152 |   383615      0 |    20388 |    29470
1747.11/1747.60	c 1743s |      18 |   455799 |   357452 |   383615      0 |    20388 |    29470
1749.21/1749.77	c 1746s |      18 |   456135 |   357752 |   383615      0 |    20388 |    29470
1751.61/1752.13	c 1748s |      18 |   456605 |   358152 |   383615      0 |    20388 |    29470
1753.61/1754.16	c 1750s |      18 |   456936 |   358452 |   383615      0 |    20388 |    29470
1755.81/1756.37	c 1752s |      18 |   457308 |   358752 |   383615      0 |    20388 |    29470
1758.11/1758.61	c 1754s |      18 |   457656 |   359052 |   383615      0 |    20388 |    29470
1760.31/1760.90	c 1757s |      18 |   457994 |   359352 |   383615      0 |    20388 |    29470
1762.71/1763.25	c 1759s |      18 |   458353 |   359652 |   383615      0 |    20388 |    29470
1765.01/1765.52	c 1761s |      18 |   458704 |   359952 |   383615      0 |    20388 |    29470
1767.40/1767.91	c 1764s |      18 |   459074 |   360252 |   383615      0 |    20388 |    29470
1769.60/1770.17	c 1766s |      18 |   459471 |   360552 |   383615      0 |    20388 |    29470
1772.20/1772.74	c 1768s |      18 |   459850 |   360852 |   383615      0 |    20388 |    29470
1774.60/1775.19	c 1771s |      18 |   460228 |   361152 |   383615      0 |    20388 |    29470
1777.30/1777.83	c 1774s |      18 |   460726 |   361552 |   383615      0 |    20388 |    29470
1779.70/1780.22	c 1776s |      18 |   461097 |   361852 |   383615      0 |    20388 |    29470
1782.10/1782.69	c 1778s |      18 |   461467 |   362152 |   383615      0 |    20388 |    29470
1784.40/1784.95	c 1781s |      18 |   461849 |   362452 |   383615      0 |    20388 |    29470
1786.70/1787.29	c 1783s |      18 |   462221 |   362752 |   383615      0 |    20388 |    29470
1789.60/1790.12	c 1786s |      18 |   462581 |   363052 |   383615      0 |    20388 |    29470
1792.20/1792.71	c 1788s |      18 |   462927 |   363352 |   383615      0 |    20388 |    29470
1795.10/1795.65	c 1791s |      18 |   463275 |   363652 |   383615      0 |    20388 |    29470
1797.60/1798.14	c 1794s |      18 |   463660 |   363952 |   383615      0 |    20388 |    29470
1799.90/1800.44	c 1796s |      18 |   464000 |   364252 |   383615      0 |    20388 |    29470

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

pid=25900
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.15 2.08 2.01 2/178 25903
/proc/meminfo: memFree=29994532/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 3031 0 0 0 0 0 0 0 20 0 4 0 30970689 827781120 2881 33554432000 4194304 16246674 140735055834640 140735055834064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 202607 2891 441 2943 0 199501 0
[pid=25903/tid=25904] ppid=25900 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 845606912 2951 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 850849792 2968 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=835004 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30970689 855044096 2986 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.15 2.08 2.01 2/178 25903
/proc/meminfo: memFree=29994532/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 28625 0 0 0 6 3 0 0 20 0 4 0 30970689 1333334016 28413 33554432000 4194304 16246674 140735055834640 140735055833952 7382286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 325521 28428 801 2943 0 322415 0
[pid=25903/tid=25904] ppid=25900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1333334016 28437 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1333334016 28449 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1333334016 28460 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200511 s]
/proc/loadavg: 2.15 2.08 2.01 2/178 25903
/proc/meminfo: memFree=29994532/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 46749 0 0 0 13 6 0 0 20 0 4 0 30970689 1344868352 47047 33554432000 4194304 16246674 140735055834640 140735055833952 8057269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 328337 47047 801 2943 0 325231 0
[pid=25903/tid=25904] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 47047 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 47047 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 47047 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.15 2.08 2.01 2/178 25903
/proc/meminfo: memFree=29994532/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 58030 0 0 0 22 7 0 0 20 0 4 0 30970689 1344868352 58328 33554432000 4194304 16246674 140735055834640 140735055833952 7373992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 328337 58328 801 2943 0 325231 0
[pid=25903/tid=25904] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 58328 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 58328 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 58328 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.15 2.08 2.01 2/178 25903
/proc/meminfo: memFree=29994532/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 63811 0 0 0 60 9 0 0 20 0 4 0 30970689 1344868352 64109 33554432000 4194304 16246674 140735055834640 140735055833952 8058488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 328337 64109 802 2943 0 325231 0
[pid=25903/tid=25904] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 64109 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 64109 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 64109 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.14 2.07 2.01 3/182 25907
/proc/meminfo: memFree=29695796/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 94382 0 0 0 135 14 0 0 20 0 4 0 30970689 1344868352 94680 33554432000 4194304 16246674 140735055834640 140735055816512 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 328337 94688 834 2943 0 325231 0
[pid=25903/tid=25904] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 94693 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 94698 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1344868352 94704 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.14 2.07 2.01 3/182 25907
/proc/meminfo: memFree=29374636/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=3.09 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276126 0 0 0 265 44 0 0 20 0 4 0 30970689 1374228480 276424 33554432000 4194304 16246674 140735055834640 140735055816512 13786063 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276424 840 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276424 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276424 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276424 33554432000 4194304 16246674 140735055834640 140364513004720 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) 1342020

[startup+6.3004 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 25908
/proc/meminfo: memFree=28888836/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=6.29 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276180 0 0 0 585 44 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140735055816512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276478 889 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364513004720 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) 1342020

[startup+12.7004 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 25908
/proc/meminfo: memFree=28888992/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=12.69 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276180 0 0 0 1225 44 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140735055816512 5532213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276478 889 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276478 33554432000 4194304 16246674 140735055834640 140364513004720 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) 1342020

[startup+25.5005 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 25908
/proc/meminfo: memFree=28889308/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=25.49 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276181 0 0 0 2505 44 0 0 20 0 4 0 30970689 1374228480 276479 33554432000 4194304 16246674 140735055834640 140735055816512 5711326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276479 889 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276479 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276479 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276479 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1342020

[startup+51.1005 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 25908
/proc/meminfo: memFree=28888776/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=51.08 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276182 0 0 0 5064 44 0 0 20 0 4 0 30970689 1374228480 276480 33554432000 4194304 16246674 140735055834640 140735055816512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276480 889 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276480 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276480 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276480 33554432000 4194304 16246674 140735055834640 140364513004720 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) 1342020

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.00 4/183 25909
/proc/meminfo: memFree=28888284/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=102.28 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276186 0 0 0 10184 44 0 0 20 0 4 0 30970689 1374228480 276484 33554432000 4194304 16246674 140735055834640 140735055816512 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276484 892 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276484 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276484 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276484 33554432000 4194304 16246674 140735055834640 140364513004720 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) 1342020


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

/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.32 2.19 2.11 3/183 25941
/proc/meminfo: memFree=28698248/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1361.87 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276558 0 0 0 136142 45 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.14 2.17 2.10 3/183 25942
/proc/meminfo: memFree=28688520/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1421.87 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 142141 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/183 25943
/proc/meminfo: memFree=28685424/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1481.85 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 148139 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.06 2.13 2.09 3/183 25945
/proc/meminfo: memFree=28685500/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1541.85 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 154139 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 26145
/proc/meminfo: memFree=28887964/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1601.83 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 160137 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/184 26169
/proc/meminfo: memFree=28887840/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1661.82 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 166136 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 26170
/proc/meminfo: memFree=28887476/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1721.81 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 172135 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.13 2.09 2.08 3/183 26171
/proc/meminfo: memFree=28886972/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1781.8 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 178134 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 26171
/proc/meminfo: memFree=28887228/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1800 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 179954 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1342020

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 26171
/proc/meminfo: memFree=28887228/32872528 swapFree=534252/566956
[pid=25903] ppid=25900 vsize=1342020 CPUtime=1800 cores=0,2,4,6
/proc/25903/stat : 25903 (toysat) R 25900 25903 24407 0 -1 4202496 276577 0 0 0 179954 46 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140735055816512 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25903/statm: 335505 276486 893 2943 0 332399 0
[pid=25903/tid=25904] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25904/stat : 25904 (toysat) S 25900 25903 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364533968112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25903/tid=25905] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25905/stat : 25905 (toysat) S 25900 25903 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364523478256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25903/tid=25906] ppid=25900 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/25903/task/25906/stat : 25906 (toysat) S 25900 25903 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30970689 1374228480 276486 33554432000 4194304 16246674 140735055834640 140364513004720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1342020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.55
CPU system time (s): 0.467928
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.467928
maximum resident set size= 1105944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276577
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= 410
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71613 second user time and 8.27574 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 00:34:11
IDJOB=4107824
IDBENCH=73545
IDSOLVER=2542
FILE ID=node138/4107824-1466289250
RUNJOBID= node138-1466276409-24423
PBS_JOBID= 19918262
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107824-1466289250/watcher-4107824-1466289250 -o /tmp/evaluation-result-4107824-1466289250/solver-4107824-1466289250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107824-1466289250.opb

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

MD5SUM BENCH= 9569f42797128c8734a8cda484f54275
RANDOM SEED=668952508

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29995324 kB
Buffers:          153808 kB
Cached:           295104 kB
SwapCached:          888 kB
Active:          1262740 kB
Inactive:         304936 kB
Active(anon):    1117100 kB
Inactive(anon):     3912 kB
Active(file):     145640 kB
Inactive(file):   301024 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             22828 kB
Writeback:             0 kB
AnonPages:       1687800 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             609088 kB
SReclaimable:      52428 kB
SUnreclaim:       556660 kB
KernelStack:        1456 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1829848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71684 MiB
End job on node138 at 2016-06-19 01:04:11