Trace number 4106955

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.07 1800.61

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
MD5SUM67a15ea3b760eccb0e507c1f93bad0e1
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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 variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data 

0.00/0.00	c 2016-06-18T22:05:06+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-4106955-1466280306.opb"]
0.00/0.01	c use --random-gen="1000626055 1743968046 3472964643 2574538875 934005687 1084591749 998401975 3442183537 750782032 2312755116 3323638160 428185625 2099004698 2283304867 3819648762 3473570336 1261356402 3951738962 939623342 776677120 298543347 1135319496 4062604549 2839069946 2404026305 181851633 1895362674 1065164200 2912100632 2216223178 1977353947 333776198 684296427 1297386248 167508902 247117122 2264247802 1629896829 2976127815 1139001740 4090098539 3866802923 992666799 3569158807 599736700 1675196880 1017877427 3074329383 2136344524 3536849941 2023540030 3535072805 170956191 606832172 886556274 3465521213 1341891145 3206781079 1418607528 4152723728 2887665008 3725643547 1045507243 2920115160 3599974383 3455569186 3710995438 1139237309 456331409 1894678741 2058488669 98282012 3114989616 318377691 4279239892 3107454453 1413887606 2849330843 175004875 2443613440 3703493568 121152267 1507259511 623860594 4223189699 99123768 3261071710 235161574 251003818 2772388390 3210963051 4126459313 2865104368 3651602542 1624690016 2619010062 568830788 2134917449 1127785548 920211495 3888146387 3640241449 3063758754 3030601684 3488805159 660764129 3043092654 2968977646 3196263009 3529345850 3910989990 4245328517 1214701093 3554643393 1574524425 328838053 1557957094 2030739295 421984301 4018626182 139896863 2277529442 1963068674 2430111117 139153561 881956105 2392097176 683949340 951802064 151073447 1895532713 1340787016 2673421423 1014759018 431497172 3178042360 216314303 2466581047 3919522854 2778032379 3957607497 3572842765 2866133032 2776517026 2427749519 3905345861 1083207657 2272676171 1436211945 2639417665 3364904009 669574483 1537887682 1449449295 2387731663 3105556405 2442084405 1177724476 2371195416 3052497313 1171903237 247811554 1597909339 1447704664 2903032078 277846149 3504426807 2836244143 3111986422 194968874 1763550274 492336840 1598016605 1365222534 3919247242 2514682356 3552407688 3404073983 1083357644 1252736375 2093430381 3007881983 3891846974 4208206295 1635986084 116714464 1802057255 1847023092 3477377686 629270351 1864746592 3613251194 745254833 83143712 3630438611 2583579833 3841536109 1050516695 1552840158 1447843657 936066614 3177764347 1050403822 689861128 622996931 671017295 1817144106 834444101 3279818627 4270654118 1983687774 632026480 3511598139 480379312 2410463702 929183140 4037617514 669672236 1361011244 3892223294 3925081816 4208451236 3701118964 734755177 2309744501 3300930295 646934683 3098504069 1114631356 120146749 2195270546 2981471968 837856990 3820016572 2265897386 1271002606 1922410599 1908573882 2567832096 2171875287 2035751579 3269386699 2603473984 1620282007 178481130 721056787 3953670452 2175711307 1800924037 3677285511 943406870 1309895735 3661864036 2719385376 1011756425 1014973361 255 362436" option to reproduce the execution
0.00/0.06	c #vars 400
0.00/0.06	c #constraints 602
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     4478      0 |        0 |        0
0.29/0.31	c  0.1s |       1 |      350 |      100 |     4478      0 |        0 |        0
0.39/0.42	c  0.2s |       2 |    11070 |      250 |     4926      0 |        0 |        0
0.49/0.54	c  0.3s |       3 |    12560 |      475 |     5419      0 |        0 |        0
0.69/0.79	c  0.6s |       4 |    13801 |      813 |     5961      0 |        0 |        0
1.29/1.31	c  1.1s |       5 |    14543 |     1320 |     6558      0 |        0 |        0
1.79/1.88	c  1.7s |       6 |    15699 |     2081 |     7936      0 |        0 |        0
2.69/2.79	c  2.6s |       7 |    17358 |     3223 |     8730      0 |        0 |        0
4.29/4.36	c  4.2s |       8 |    19438 |     4936 |     9603      0 |        0 |        0
6.39/6.45	c  6.2s |       8 |    21679 |     6836 |     9603      0 |        0 |        0
7.19/7.28	c  7.1s |       9 |    22365 |     7506 |    10564      0 |        0 |        0
9.29/9.31	c  9.1s |       9 |    24118 |     9006 |    10564      0 |        0 |        0
11.29/11.38	c 11.2s |       9 |    25715 |    10506 |    10564      0 |        0 |        0
12.38/12.45	c 12.2s |      10 |    26720 |    11361 |    11621      1 |        0 |        0
14.40/14.49	c 14.3s |      10 |    28650 |    13061 |    11621      1 |        0 |        0
16.60/16.62	c 16.4s |      10 |    30199 |    14561 |    11621      1 |        0 |        0
18.70/18.71	c 18.5s |      10 |    31618 |    15961 |    11621      1 |        0 |        0
20.49/20.54	c 20.3s |      11 |    32830 |    17144 |    12784      1 |        0 |        0
22.59/22.61	c 22.4s |      11 |    34222 |    18344 |    12784      1 |        0 |        0
24.59/24.64	c 24.4s |      11 |    35870 |    19844 |    12784      2 |        0 |        0
26.68/26.73	c 26.5s |      11 |    37384 |    21344 |    12784      2 |        0 |        0
28.69/28.73	c 28.5s |      11 |    38746 |    22644 |    12784      2 |        0 |        0
30.79/30.89	c 30.7s |      11 |    40121 |    23944 |    12784      2 |        0 |        0
32.88/32.94	c 32.7s |      11 |    41266 |    25044 |    12784      3 |        0 |        0
33.78/33.85	c 33.6s |      12 |    42101 |    25819 |    14063      3 |        0 |        0
36.18/36.26	c 36.1s |      12 |    43949 |    27319 |    14063      3 |        0 |        0
38.28/38.36	c 38.2s |      12 |    45569 |    28919 |    14063      3 |        0 |        0
40.38/40.40	c 40.2s |      12 |    46920 |    30219 |    14063      3 |        0 |        0
42.38/42.44	c 42.2s |      12 |    48264 |    31519 |    14063      3 |        0 |        0
44.48/44.55	c 44.3s |      12 |    49613 |    32819 |    14063      3 |        0 |        0
46.58/46.61	c 46.4s |      12 |    51159 |    34319 |    14063      4 |        0 |        0
48.58/48.65	c 48.4s |      12 |    52768 |    35819 |    14063      4 |        0 |        0
50.59/50.65	c 50.4s |      12 |    54109 |    37119 |    14063      4 |        0 |        0
52.68/52.70	c 52.5s |      12 |    55322 |    38319 |    14063      4 |        0 |        0
53.58/53.62	c 53.4s |      13 |    55843 |    38832 |    15470      4 |        0 |        0
55.68/55.74	c 55.5s |      13 |    57153 |    39932 |    15470      4 |        0 |        0
57.68/57.78	c 57.6s |      13 |    58492 |    41132 |    15470      4 |        0 |        0
60.59/60.64	c 60.4s |      13 |    59259 |    41832 |    15470      5 |        0 |        0
62.69/62.75	c 62.5s |      13 |    60901 |    43332 |    15470      5 |        0 |        0
64.78/64.82	c 64.6s |      13 |    62397 |    44632 |    15470      5 |        0 |        0
66.78/66.83	c 66.6s |      13 |    63867 |    46032 |    15470      5 |        0 |        0
68.88/68.91	c 68.7s |      13 |    65544 |    47532 |    15470      5 |        0 |        0
70.88/70.93	c 70.7s |      13 |    66775 |    48732 |    15470      5 |        0 |        0
72.88/72.93	c 72.7s |      13 |    68311 |    50132 |    15470      6 |        0 |        0
74.98/75.07	c 74.9s |      13 |    69838 |    51532 |    15470      6 |        0 |        0
77.08/77.12	c 76.9s |      13 |    71193 |    52832 |    15470      6 |        0 |        0
79.08/79.19	c 79.0s |      13 |    72419 |    54032 |    15470      6 |        0 |        0
81.28/81.33	c 81.1s |      13 |    73957 |    55432 |    15470      6 |        0 |        0
83.48/83.55	c 83.3s |      13 |    75084 |    56532 |    15470      6 |        0 |        0
85.48/85.59	c 85.4s |      13 |    76210 |    57632 |    15470      7 |        0 |        0
86.37/86.41	c 86.2s |      14 |    77024 |    58352 |    17017      7 |        0 |        0
89.18/89.23	c 89.0s |      14 |    78311 |    59252 |    17017      7 |        0 |        0
91.17/91.25	c 91.1s |      14 |    79839 |    60752 |    17017      7 |        0 |        0
93.27/93.35	c 93.1s |      14 |    81332 |    62152 |    17017      7 |        0 |        0
95.37/95.45	c 95.2s |      14 |    82819 |    63552 |    17017      7 |        0 |        0
97.47/97.58	c 97.4s |      14 |    84429 |    65052 |    17017      7 |        0 |        0
99.57/99.64	c 99.4s |      14 |    85508 |    66052 |    17017      7 |        0 |        0
101.57/101.65	c  101s |      14 |    86506 |    67052 |    17017      8 |        0 |        0
103.57/103.67	c  103s |      14 |    87955 |    68452 |    17017      8 |        0 |        0
105.77/105.82	c  105s |      14 |    89542 |    69952 |    17017      8 |        0 |        0
107.88/107.92	c  107s |      14 |    90769 |    71152 |    17017      8 |        0 |        0
109.87/109.96	c  109s |      14 |    92061 |    72352 |    17017      8 |        0 |        0
111.87/111.97	c  111s |      14 |    93394 |    73552 |    17017      8 |        0 |        0
114.08/114.19	c  113s |      14 |    94676 |    74752 |    17017      8 |        0 |        0
116.28/116.33	c  116s |      14 |    95783 |    75852 |    17017      9 |        0 |        0
118.38/118.45	c  118s |      14 |    97433 |    77452 |    17017      9 |        0 |        0
120.48/120.54	c  120s |      14 |    99031 |    78752 |    17017      9 |        0 |        0
122.47/122.59	c  122s |      14 |   100451 |    80052 |    17017      9 |        0 |        0
124.57/124.66	c  124s |      14 |   101932 |    81352 |    17017      9 |        0 |        0
126.58/126.69	c  126s |      14 |   103017 |    82352 |    17017      9 |        0 |        0
128.68/128.78	c  128s |      14 |   104159 |    83452 |    17017      9 |        0 |        0
130.77/130.81	c  130s |      14 |   105330 |    84552 |    17017     10 |        0 |        0
132.77/132.87	c  132s |      14 |   106948 |    86052 |    17017     10 |        0 |        0
134.97/135.01	c  134s |      14 |   108523 |    87552 |    18719     10 |        0 |        0
135.07/135.12	c  134s |      15 |   108600 |    87632 |    18719     10 |        0 |        0
138.47/138.51	c  138s |      15 |   109613 |    88432 |    18719     10 |        0 |        0
140.47/140.54	c  140s |      15 |   110678 |    89432 |    18719     10 |        0 |        0
142.57/142.64	c  142s |      15 |   111677 |    90432 |    18719     10 |        0 |        0
144.57/144.67	c  144s |      15 |   112600 |    91332 |    18719     10 |        0 |        0
146.57/146.68	c  146s |      15 |   113533 |    92232 |    18719     10 |        0 |        0
148.67/148.79	c  148s |      15 |   114715 |    93332 |    18719     10 |        0 |        0
151.07/151.17	c  150s |      15 |   115688 |    94232 |    18719     11 |        0 |        0
153.16/153.24	c  153s |      15 |   117222 |    95732 |    18719     11 |        0 |        0
155.17/155.29	c  155s |      15 |   118788 |    97232 |    18719     11 |        0 |        0
157.27/157.38	c  157s |      15 |   120372 |    98632 |    18719     11 |        0 |        0
159.36/159.44	c  159s |      15 |   121683 |    99832 |    18719     11 |        0 |        0
161.36/161.47	c  161s |      15 |   122843 |   100932 |    18719     11 |        0 |        0
163.46/163.50	c  163s |      15 |   123637 |   101732 |    18719     11 |        0 |        0
165.56/165.61	c  165s |      15 |   124583 |   102632 |    18719     11 |        0 |        0
167.56/167.62	c  167s |      15 |   125560 |   103532 |    18719     11 |        0 |        0
169.56/169.65	c  169s |      15 |   126780 |   104632 |    18719     12 |        0 |        0
171.67/171.72	c  171s |      15 |   128109 |   105932 |    18719     12 |        0 |        0
173.77/173.83	c  173s |      15 |   129569 |   107332 |    18719     12 |        0 |        0
175.76/175.88	c  175s |      15 |   130825 |   108532 |    18719     12 |        0 |        0
177.86/177.97	c  177s |      15 |   132221 |   109832 |    18719     12 |        0 |        0
179.96/180.10	c  179s |      15 |   133326 |   110932 |    18719     12 |        0 |        0
182.16/182.20	c  182s |      15 |   134639 |   112132 |    18719     12 |        0 |        0
184.46/184.57	c  184s |      15 |   135911 |   113332 |    18719     13 |        0 |        0
186.66/186.73	c  186s |      15 |   137617 |   114932 |    18719     13 |        0 |        0
188.66/188.77	c  188s |      15 |   139263 |   116432 |    18719     13 |        0 |        0
190.76/190.85	c  190s |      15 |   140881 |   117932 |    18719     13 |        0 |        0
192.86/192.90	c  192s |      15 |   142672 |   119432 |    18719     13 |        0 |        0
195.56/195.63	c  195s |      15 |   144407 |   120832 |    18719     13 |        0 |        0
197.66/197.75	c  197s |      15 |   145643 |   121932 |    18719     13 |        0 |        0
199.66/199.76	c  199s |      15 |   146566 |   122832 |    18719     14 |        0 |        0
201.76/201.86	c  201s |      15 |   148480 |   124532 |    18719     14 |        0 |        0
203.86/203.94	c  203s |      15 |   150149 |   126132 |    18719     14 |        0 |        0
205.86/205.95	c  205s |      15 |   151512 |   127332 |    18719     14 |        0 |        0
207.97/208.01	c  207s |      15 |   152852 |   128632 |    18719     14 |        0 |        0
209.96/210.10	c  209s |      15 |   154060 |   129732 |    18719     14 |        0 |        0
212.06/212.11	c  211s |      15 |   155150 |   130732 |    20591     14 |        0 |        0
213.66/213.75	c  213s |      16 |   155989 |   131552 |    20591     14 |        0 |        0
215.67/215.78	c  215s |      16 |   156850 |   132152 |    20591     14 |        0 |        0
217.96/218.07	c  217s |      16 |   157862 |   133152 |    20591     14 |        0 |        0
220.06/220.17	c  219s |      16 |   158912 |   134152 |    20591     15 |        0 |        0
222.06/222.19	c  221s |      16 |   159232 |   134452 |    20591     15 |        0 |        0
224.16/224.22	c  224s |      16 |   160760 |   135852 |    20591     15 |        0 |        0
226.16/226.25	c  226s |      16 |   162153 |   137152 |    20591     15 |        0 |        0
228.15/228.27	c  228s |      16 |   163481 |   138452 |    20591     15 |        0 |        0
230.35/230.46	c  230s |      16 |   165234 |   139952 |    20591     15 |        0 |        0
232.55/232.66	c  232s |      16 |   166513 |   141152 |    20591     15 |        0 |        0
234.75/234.81	c  234s |      16 |   167767 |   142252 |    20591     15 |        0 |        0
236.85/236.91	c  236s |      16 |   169013 |   143352 |    20591     15 |        0 |        0
238.95/239.08	c  238s |      16 |   169828 |   144152 |    20591     15 |        0 |        0
241.15/241.20	c  240s |      16 |   170882 |   145052 |    20591     16 |        0 |        0
243.25/243.34	c  243s |      16 |   172218 |   146352 |    20591     16 |        0 |        0
245.26/245.38	c  245s |      16 |   173591 |   147652 |    20591     16 |        0 |        0
247.35/247.41	c  247s |      16 |   174856 |   148852 |    20591     16 |        0 |        0
249.45/249.60	c  249s |      16 |   176068 |   149952 |    20591     16 |        0 |        0
251.75/251.85	c  251s |      16 |   177377 |   151152 |    20591     16 |        0 |        0
253.85/253.93	c  253s |      16 |   178400 |   152052 |    20591     16 |        0 |        0
255.95/256.03	c  255s |      16 |   179539 |   153052 |    20591     16 |        0 |        0
258.05/258.15	c  257s |      16 |   180609 |   153952 |    20591     16 |        0 |        0
260.05/260.16	c  259s |      16 |   181578 |   154752 |    20591     16 |        0 |        0
262.15/262.23	c  262s |      16 |   182633 |   155752 |    20591     17 |        0 |        0
264.14/264.28	c  264s |      16 |   184201 |   157152 |    20591     17 |        0 |        0
266.25/266.33	c  266s |      16 |   185898 |   158652 |    20591     17 |        0 |        0
268.24/268.36	c  268s |      16 |   187573 |   160152 |    20591     17 |        0 |        0
270.34/270.46	c  270s |      16 |   189120 |   161552 |    20591     17 |        0 |        0
272.44/272.56	c  272s |      16 |   190952 |   163052 |    20591     17 |        0 |        0
274.54/274.67	c  274s |      16 |   192735 |   164552 |    20591     17 |        0 |        0
276.64/276.71	c  276s |      16 |   194379 |   165952 |    20591     18 |        0 |        0
278.65/278.74	c  278s |      16 |   196029 |   167252 |    20591     18 |        0 |        0
280.75/280.80	c  280s |      16 |   197113 |   168252 |    20591     18 |        0 |        0
282.85/282.97	c  282s |      16 |   198424 |   169452 |    20591     18 |        0 |        0
284.96/285.08	c  284s |      16 |   199574 |   170452 |    20591     18 |        0 |        0
287.16/287.22	c  287s |      16 |   200715 |   171552 |    20591     18 |        0 |        0
289.26/289.33	c  289s |      16 |   201861 |   172552 |    20591     18 |        0 |        0
291.35/291.48	c  291s |      16 |   203004 |   173652 |    20591     18 |        0 |        0
293.55/293.60	c  293s |      16 |   204195 |   174752 |    20591     18 |        0 |        0
295.85/295.95	c  295s |      16 |   205259 |   175752 |    20591     19 |        0 |        0
297.95/298.03	c  297s |      16 |   207142 |   177352 |    20591     19 |        0 |        0
300.05/300.18	c  299s |      16 |   208553 |   178752 |    20591     19 |        0 |        0
302.05/302.18	c  301s |      16 |   210045 |   180152 |    20591     19 |        0 |        0
304.15/304.29	c  304s |      16 |   211488 |   181552 |    20591     19 |        0 |        0
306.25/306.31	c  306s |      16 |   212646 |   182652 |    20591     19 |        0 |        0
308.34/308.46	c  308s |      16 |   214060 |   183952 |    20591     19 |        0 |        0
310.44/310.54	c  310s |      16 |   215333 |   185152 |    20591     19 |        0 |        0
312.45/312.56	c  312s |      16 |   216502 |   186152 |    20591     19 |        0 |        0
314.55/314.63	c  314s |      16 |   218035 |   187552 |    20591     20 |        0 |        0
316.64/316.71	c  316s |      16 |   219994 |   189252 |    20591     20 |        0 |        0
318.64/318.72	c  318s |      16 |   221833 |   190752 |    20591     20 |        0 |        0
320.64/320.73	c  320s |      16 |   223372 |   192152 |    20591     20 |        0 |        0
322.74/322.84	c  322s |      16 |   225309 |   193552 |    20591     20 |        0 |        0
324.74/324.84	c  324s |      16 |   226683 |   194752 |    20591     20 |        0 |        0
326.94/327.02	c  326s |      16 |   228088 |   196052 |    20591     20 |        0 |        0
328.95/329.07	c  328s |      17 |   229542 |   197432 |    22651     20 |        0 |        0
331.15/331.26	c  331s |      17 |   230222 |   197932 |    22651     20 |        0 |        0
333.63/333.73	c  333s |      17 |   231054 |   198732 |    22651     21 |        0 |        0
335.73/335.85	c  335s |      17 |   232165 |   199832 |    22651     21 |        0 |        0
337.83/337.90	c  337s |      17 |   233493 |   201032 |    22651     21 |        0 |        0
339.84/339.93	c  339s |      17 |   234995 |   202432 |    22651     21 |        0 |        0
341.83/341.97	c  341s |      17 |   236057 |   203432 |    22651     21 |        0 |        0
343.93/344.03	c  343s |      17 |   237067 |   204432 |    22651     21 |        0 |        0
345.93/346.04	c  345s |      17 |   238547 |   205732 |    22651     21 |        0 |        0
348.03/348.11	c  347s |      17 |   239551 |   206732 |    22651     21 |        0 |        0
350.02/350.12	c  349s |      17 |   240632 |   207732 |    22651     21 |        0 |        0
352.22/352.34	c  352s |      17 |   241781 |   208732 |    22651     21 |        0 |        0
354.32/354.44	c  354s |      17 |   242938 |   209832 |    22651     21 |        0 |        0
356.43/356.55	c  356s |      17 |   244516 |   211132 |    22651     22 |        0 |        0
358.42/358.56	c  358s |      17 |   245601 |   212132 |    22651     22 |        0 |        0
360.52/360.61	c  360s |      17 |   246865 |   213332 |    22651     22 |        0 |        0
362.51/362.66	c  362s |      17 |   248440 |   214732 |    22651     22 |        0 |        0
364.61/364.79	c  364s |      17 |   249683 |   215932 |    22651     22 |        0 |        0
366.71/366.89	c  366s |      17 |   251027 |   217232 |    22651     22 |        0 |        0
368.81/368.95	c  368s |      17 |   252262 |   218432 |    22651     22 |        0 |        0
370.91/371.03	c  370s |      17 |   253665 |   219732 |    22651     22 |        0 |        0
373.01/373.16	c  372s |      17 |   254844 |   220832 |    22651     22 |        0 |        0
375.11/375.22	c  375s |      17 |   255974 |   221832 |    22651     23 |        0 |        0
377.21/377.40	c  377s |      17 |   257268 |   223032 |    22651     23 |        0 |        0
379.31/379.40	c  379s |      17 |   258468 |   224232 |    22651     23 |        0 |        0
381.41/381.51	c  381s |      17 |   259956 |   225632 |    22651     23 |        0 |        0
383.40/383.55	c  383s |      17 |   261635 |   227132 |    22651     23 |        0 |        0
385.40/385.56	c  385s |      17 |   263009 |   228432 |    22651     23 |        0 |        0
387.50/387.68	c  387s |      17 |   264123 |   229532 |    22651     23 |        0 |        0
389.60/389.75	c  389s |      17 |   265619 |   230932 |    22651     23 |        0 |        0
391.61/391.79	c  391s |      17 |   266770 |   232032 |    22651     23 |        0 |        0
393.70/393.88	c  393s |      17 |   267976 |   233132 |    22651     24 |        0 |        0
395.79/395.91	c  395s |      17 |   269888 |   234732 |    22651     24 |        0 |        0
400.00/400.14	c  399s |      17 |   271735 |   236232 |    22651     24 |        0 |        0
402.10/402.20	c  402s |      17 |   273043 |   237432 |    22651     24 |        0 |        0
404.10/404.27	c  404s |      17 |   274306 |   238632 |    22651     24 |        0 |        0
406.20/406.35	c  406s |      17 |   275552 |   239832 |    22651     24 |        0 |        0
408.30/408.40	c  408s |      17 |   276778 |   241032 |    22651     24 |        0 |        0
410.30/410.47	c  410s |      17 |   277816 |   242032 |    22651     24 |        0 |        0
412.50/412.63	c  412s |      17 |   278973 |   243132 |    22651     24 |        0 |        0
414.49/414.65	c  414s |      17 |   280345 |   244432 |    22651     24 |        0 |        0
416.59/416.78	c  416s |      17 |   281703 |   245732 |    22651     25 |        0 |        0
418.79/418.93	c  418s |      17 |   283222 |   246932 |    22651     25 |        0 |        0
420.89/421.02	c  420s |      17 |   284554 |   248232 |    22651     25 |        0 |        0
422.88/423.03	c  422s |      17 |   285771 |   249432 |    22651     25 |        0 |        0
425.08/425.23	c  425s |      17 |   287099 |   250732 |    22651     25 |        0 |        0
427.18/427.33	c  427s |      17 |   288700 |   252132 |    22651     25 |        0 |        0
429.28/429.40	c  429s |      17 |   290095 |   253432 |    22651     25 |        0 |        0
431.38/431.58	c  431s |      17 |   291374 |   254632 |    22651     25 |        0 |        0
433.58/433.73	c  433s |      17 |   292630 |   255732 |    22651     25 |        0 |        0
435.58/435.75	c  435s |      17 |   294152 |   257132 |    22651     26 |        0 |        0
437.58/437.77	c  437s |      17 |   295437 |   258332 |    22651     26 |        0 |        0
439.58/439.77	c  439s |      17 |   296938 |   259732 |    22651     26 |        0 |        0
441.68/441.89	c  441s |      17 |   298650 |   261332 |    22651     26 |        0 |        0
443.77/443.94	c  443s |      17 |   300131 |   262732 |    22651     26 |        0 |        0
445.87/446.08	c  445s |      17 |   301613 |   264132 |    22651     26 |        0 |        0
447.97/448.17	c  447s |      17 |   303380 |   265732 |    22651     26 |        0 |        0
454.67/454.88	c  454s |      17 |   304809 |   267032 |    22651     26 |        0 |        0
457.07/457.20	c  456s |      17 |   305427 |   267632 |    22651     27 |        0 |        0
459.07/459.21	c  459s |      17 |   306496 |   268632 |    22651     27 |        0 |        0
461.06/461.24	c  461s |      17 |   308048 |   270132 |    22651     27 |        0 |        0
463.07/463.29	c  463s |      17 |   309757 |   271732 |    22651     27 |        0 |        0
465.17/465.33	c  465s |      17 |   311215 |   273032 |    22651     27 |        0 |        0
467.16/467.34	c  467s |      17 |   312548 |   274332 |    22651     27 |        0 |        0
469.26/469.49	c  469s |      17 |   314100 |   275732 |    22651     27 |        0 |        0
471.46/471.60	c  471s |      17 |   315381 |   276932 |    22651     27 |        0 |        0
473.56/473.74	c  473s |      17 |   316648 |   278132 |    22651     27 |        0 |        0
476.17/476.33	c  476s |      17 |   317646 |   279032 |    22651     28 |        0 |        0
478.16/478.35	c  478s |      17 |   319196 |   280532 |    22651     28 |        0 |        0
480.26/480.48	c  480s |      17 |   320965 |   282132 |    22651     28 |        0 |        0
482.46/482.62	c  482s |      17 |   322516 |   283632 |    22651     28 |        0 |        0
484.46/484.62	c  484s |      17 |   323866 |   284932 |    22651     28 |        0 |        0
486.46/486.65	c  486s |      17 |   325516 |   286432 |    22651     28 |        0 |        0
488.56/488.73	c  488s |      17 |   327469 |   288132 |    22651     28 |        0 |        0
492.45/492.67	c  492s |      17 |   328498 |   288932 |    22651     28 |        0 |        0
495.55/495.70	c  495s |      17 |   328915 |   289232 |    22651     28 |        0 |        0
498.55/498.78	c  498s |      17 |   329785 |   290032 |    22651     28 |        0 |        0
500.65/500.80	c  500s |      17 |   330813 |   290832 |    22651     29 |        0 |        0
502.74/502.90	c  502s |      17 |   332074 |   292032 |    22651     29 |        0 |        0
504.75/504.95	c  504s |      17 |   333323 |   293232 |    22651     29 |        0 |        0
506.84/507.10	c  506s |      17 |   335157 |   294932 |    24917     29 |        0 |        0
509.04/509.22	c  509s |      17 |   336494 |   296232 |    24917     29 |        0 |        0
509.04/509.26	c  509s |      18 |   336519 |   296252 |    24917     29 |        0 |        0
511.24/511.41	c  511s |      18 |   337786 |   297252 |    24917     29 |        0 |        0
513.34/513.54	c  513s |      18 |   338833 |   298252 |    24917     29 |        0 |        0
515.44/515.63	c  515s |      18 |   339732 |   299152 |    24917     29 |        0 |        0
517.44/517.65	c  517s |      18 |   340983 |   300252 |    24917     29 |        0 |        0
519.54/519.77	c  519s |      18 |   342235 |   301352 |    24917     29 |        0 |        0
521.63/521.80	c  521s |      18 |   343265 |   302352 |    24917     29 |        0 |        0
523.63/523.87	c  523s |      18 |   344407 |   303352 |    24917     29 |        0 |        0
525.83/526.03	c  525s |      18 |   345273 |   304152 |    24917     30 |        0 |        0
527.84/528.04	c  527s |      18 |   346425 |   305252 |    24917     30 |        0 |        0
529.93/530.20	c  529s |      18 |   348384 |   307052 |    24917     30 |        0 |        0
532.44/532.69	c  532s |      18 |   349544 |   308152 |    24917     30 |        0 |        0
534.64/534.84	c  534s |      18 |   350558 |   309152 |    24917     30 |        0 |        0
536.64/536.86	c  536s |      18 |   351753 |   310252 |    24917     30 |        0 |        0
538.74/538.92	c  538s |      18 |   353078 |   311552 |    24917     30 |        0 |        0
540.74/540.99	c  540s |      18 |   354018 |   312452 |    24917     30 |        0 |        0
542.93/543.12	c  542s |      18 |   355150 |   313552 |    24917     30 |        0 |        0
545.13/545.37	c  545s |      18 |   355967 |   314352 |    24917     30 |        0 |        0
547.33/547.59	c  547s |      18 |   356761 |   315152 |    24917     30 |        0 |        0
549.43/549.65	c  549s |      18 |   357781 |   316152 |    24917     30 |        0 |        0
551.43/551.68	c  551s |      18 |   358421 |   316752 |    24917     31 |        0 |        0
553.53/553.77	c  553s |      18 |   359810 |   318052 |    24917     31 |        0 |        0
555.63/555.80	c  555s |      18 |   361409 |   319452 |    24917     31 |        0 |        0
557.73/557.95	c  557s |      18 |   362546 |   320552 |    24917     31 |        0 |        0
559.73/559.99	c  559s |      18 |   363955 |   321852 |    24917     31 |        0 |        0
561.93/562.17	c  561s |      18 |   365299 |   323152 |    24917     31 |        0 |        0
564.02/564.25	c  564s |      18 |   366489 |   324252 |    24917     31 |        0 |        0
566.12/566.36	c  566s |      18 |   367580 |   325252 |    24917     31 |        0 |        0
568.12/568.39	c  568s |      18 |   368439 |   326052 |    24917     31 |        0 |        0
570.32/570.52	c  570s |      18 |   369666 |   327152 |    24917     31 |        0 |        0
574.02/574.22	c  574s |      18 |   370687 |   328052 |    24917     31 |        0 |        0
576.01/576.23	c  576s |      18 |   371318 |   328652 |    24917     31 |        0 |        0
578.42/578.69	c  578s |      18 |   372028 |   329252 |    24917     32 |        0 |        0
580.72/580.95	c  580s |      18 |   373163 |   330352 |    24917     32 |        0 |        0
582.82/583.05	c  582s |      18 |   374320 |   331452 |    24917     32 |        0 |        0
584.91/585.16	c  584s |      18 |   375770 |   332852 |    24917     32 |        0 |        0
587.01/587.21	c  587s |      18 |   376822 |   333852 |    24917     32 |        0 |        0
589.11/589.37	c  589s |      18 |   377832 |   334852 |    24917     32 |        0 |        0
591.31/591.50	c  591s |      18 |   378944 |   335952 |    24917     32 |        0 |        0
593.50/593.70	c  593s |      18 |   380242 |   337152 |    24917     32 |        0 |        0
595.60/595.83	c  595s |      18 |   381279 |   338152 |    24917     32 |        0 |        0
597.60/597.87	c  597s |      18 |   382395 |   339152 |    24917     32 |        0 |        0
599.80/600.03	c  599s |      18 |   383636 |   340252 |    24917     32 |        0 |        0
602.00/602.22	c  602s |      18 |   384562 |   341152 |    24917     32 |        0 |        0
604.10/604.38	c  604s |      18 |   385419 |   341952 |    24917     33 |        0 |        0
606.30/606.50	c  606s |      18 |   387037 |   343452 |    24917     33 |        0 |        0
608.69/608.92	c  608s |      18 |   387742 |   344052 |    24917     33 |        0 |        0
610.69/610.99	c  610s |      18 |   389273 |   345452 |    24917     33 |        0 |        0
612.89/613.15	c  612s |      18 |   390284 |   346452 |    24917     33 |        0 |        0
614.89/615.18	c  614s |      18 |   391440 |   347552 |    24917     33 |        0 |        0
617.00/617.23	c  617s |      18 |   392456 |   348552 |    24917     33 |        0 |        0
619.29/619.50	c  619s |      18 |   393601 |   349652 |    24917     33 |        0 |        0
621.49/621.73	c  621s |      18 |   394740 |   350752 |    24917     33 |        0 |        0
623.59/623.85	c  623s |      18 |   395888 |   351852 |    24917     33 |        0 |        0
625.69/625.95	c  625s |      18 |   396800 |   352752 |    24917     33 |        0 |        0
627.78/628.05	c  627s |      18 |   397979 |   353752 |    24917     33 |        0 |        0
629.98/630.22	c  630s |      18 |   398838 |   354552 |    24917     34 |        0 |        0
632.08/632.34	c  632s |      18 |   400316 |   355952 |    24917     34 |        0 |        0
635.77/636.07	c  635s |      18 |   402346 |   357652 |    24917     34 |        0 |        0
637.88/638.10	c  637s |      18 |   403497 |   358652 |    24917     34 |        0 |        0
639.87/640.14	c  639s |      18 |   404621 |   359752 |    24917     34 |        0 |        0
641.97/642.24	c  642s |      18 |   405815 |   360852 |    24917     34 |        0 |        0
644.07/644.36	c  644s |      18 |   406956 |   361952 |    24917     34 |        0 |        0
646.08/646.38	c  646s |      18 |   408042 |   362952 |    24917     34 |        0 |        0
648.18/648.43	c  648s |      18 |   408979 |   363852 |    24917     34 |        0 |        0
650.18/650.45	c  650s |      18 |   410062 |   364852 |    24917     34 |        0 |        0
652.27/652.59	c  652s |      18 |   411242 |   365952 |    24917     34 |        0 |        0
654.97/655.22	c  655s |      18 |   412428 |   367052 |    24917     35 |        0 |        0
657.07/657.34	c  657s |      18 |   413693 |   368252 |    24917     35 |        0 |        0
659.17/659.41	c  659s |      18 |   414369 |   368852 |    24917     35 |        0 |        0
661.27/661.55	c  661s |      18 |   415416 |   369852 |    24917     35 |        0 |        0
663.36/663.65	c  663s |      18 |   416646 |   371052 |    24917     35 |        0 |        0
665.37/665.68	c  665s |      18 |   417792 |   372152 |    24917     35 |        0 |        0
667.57/667.83	c  667s |      18 |   418962 |   373252 |    24917     35 |        0 |        0
669.56/669.88	c  669s |      18 |   420249 |   374452 |    24917     35 |        0 |        0
671.76/672.04	c  671s |      18 |   421419 |   375552 |    24917     35 |        0 |        0
673.86/674.14	c  673s |      18 |   422773 |   376852 |    24917     35 |        0 |        0
675.96/676.26	c  676s |      18 |   423954 |   377952 |    24917     35 |        0 |        0
678.05/678.34	c  678s |      18 |   425069 |   379052 |    24917     35 |        0 |        0
680.15/680.49	c  680s |      18 |   426009 |   379952 |    24917     36 |        0 |        0
682.25/682.59	c  682s |      18 |   427381 |   381252 |    24917     36 |        0 |        0
684.35/684.63	c  684s |      18 |   428594 |   382452 |    24917     36 |        0 |        0
686.45/686.72	c  686s |      18 |   430292 |   383852 |    24917     36 |        0 |        0
688.55/688.88	c  688s |      18 |   431703 |   385052 |    24917     36 |        0 |        0
690.65/690.93	c  690s |      18 |   433039 |   386252 |    24917     36 |        0 |        0
692.64/692.96	c  692s |      18 |   434398 |   387452 |    24917     36 |        0 |        0
694.64/694.97	c  694s |      18 |   435854 |   388752 |    24917     36 |        0 |        0
696.84/697.12	c  696s |      18 |   437312 |   390052 |    24917     36 |        0 |        0
698.84/699.18	c  698s |      18 |   438454 |   391152 |    24917     36 |        0 |        0
700.94/701.29	c  701s |      18 |   439580 |   392152 |    24917     36 |        0 |        0
703.03/703.34	c  703s |      18 |   440797 |   393252 |    24917     37 |        0 |        0
705.13/705.48	c  705s |      18 |   442230 |   394552 |    24917     37 |        0 |        0
707.23/707.56	c  707s |      18 |   443863 |   396052 |    24917     37 |        0 |        0
709.34/709.65	c  709s |      18 |   445585 |   397652 |    24917     37 |        0 |        0
711.54/711.82	c  711s |      18 |   447100 |   399052 |    24917     37 |        0 |        0
713.53/713.85	c  713s |      18 |   448669 |   400352 |    24917     37 |        0 |        0
715.73/716.00	c  715s |      18 |   450463 |   401852 |    24917     37 |        0 |        0
717.73/718.04	c  717s |      18 |   451997 |   403252 |    24917     37 |        0 |        0
719.83/720.12	c  719s |      18 |   453609 |   404652 |    24917     37 |        0 |        0
728.82/729.10	c  728s |      18 |   454497 |   405352 |    24917     38 |        0 |        0
730.82/731.18	c  730s |      18 |   454608 |   405452 |    24917     38 |        0 |        0
732.82/733.19	c  732s |      18 |   456010 |   406652 |    24917     38 |        0 |        0
734.92/735.22	c  735s |      18 |   457155 |   407752 |    24917     38 |        0 |        0
736.92/737.29	c  737s |      18 |   458763 |   409052 |    24917     38 |        0 |        0
739.12/739.40	c  739s |      18 |   459886 |   410152 |    24917     38 |        0 |        0
741.22/741.52	c  741s |      18 |   461216 |   411352 |    24917     38 |        0 |        0
743.21/743.56	c  743s |      18 |   462123 |   412252 |    24917     38 |        0 |        0
745.31/745.65	c  745s |      18 |   463324 |   413352 |    24917     38 |        0 |        0
747.41/747.71	c  747s |      18 |   464331 |   414252 |    24917     38 |        0 |        0
749.51/749.85	c  749s |      18 |   465396 |   415252 |    24917     38 |        0 |        0
751.71/752.04	c  751s |      18 |   466510 |   416252 |    24917     38 |        0 |        0
753.80/754.17	c  753s |      18 |   467486 |   417152 |    24917     38 |        0 |        0
755.90/756.22	c  756s |      18 |   468419 |   418052 |    24917     39 |        0 |        0
758.00/758.30	c  758s |      18 |   469781 |   419252 |    24917     39 |        0 |        0
760.10/760.48	c  760s |      18 |   470806 |   420252 |    24917     39 |        0 |        0
762.30/762.60	c  762s |      18 |   471850 |   421252 |    24917     39 |        0 |        0
764.40/764.70	c  764s |      18 |   472848 |   422252 |    24917     39 |        0 |        0
766.40/766.79	c  766s |      18 |   474199 |   423452 |    24917     39 |        0 |        0
768.60/768.92	c  768s |      18 |   475238 |   424452 |    24917     39 |        0 |        0
770.69/771.01	c  770s |      18 |   476286 |   425452 |    24917     39 |        0 |        0
772.69/773.07	c  772s |      18 |   477548 |   426552 |    24917     39 |        0 |        0
774.79/775.10	c  774s |      18 |   479045 |   427752 |    24917     39 |        0 |        0
776.79/777.11	c  776s |      18 |   479818 |   428352 |    24917     39 |        0 |        0
778.89/779.29	c  779s |      18 |   480667 |   429152 |    24917     39 |        0 |        0
781.29/781.66	c  781s |      18 |   481639 |   430052 |    24917     40 |        0 |        0
783.38/783.72	c  783s |      18 |   482878 |   431252 |    24917     40 |        0 |        0
785.39/785.72	c  785s |      18 |   483695 |   432052 |    24917     40 |        0 |        0
787.40/787.79	c  787s |      18 |   484849 |   433152 |    24917     40 |        0 |        0
789.50/789.87	c  789s |      18 |   486271 |   434452 |    24917     40 |        0 |        0
791.59/791.91	c  791s |      18 |   487508 |   435652 |    24917     40 |        0 |        0
793.58/793.93	c  793s |      18 |   488737 |   436752 |    24917     40 |        0 |        0
795.68/796.04	c  795s |      18 |   489786 |   437752 |    24917     40 |        0 |        0
797.78/798.17	c  797s |      18 |   490929 |   438852 |    24917     40 |        0 |        0
799.88/800.20	c  800s |      18 |   492073 |   439952 |    24917     40 |        0 |        0
801.98/802.33	c  802s |      18 |   493332 |   441152 |    24917     40 |        0 |        0
803.98/804.34	c  804s |      18 |   494661 |   442352 |    27409     40 |        0 |        0
806.28/806.66	c  806s |      18 |   495755 |   443352 |    27409     40 |        0 |        0
808.38/808.70	c  808s |      18 |   496464 |   444052 |    27409     40 |        0 |        0
809.18/809.60	c  809s |      19 |   496912 |   444482 |    27409     40 |        0 |        0
811.28/811.69	c  811s |      19 |   497638 |   444882 |    27409     40 |        0 |        0
813.57/813.95	c  813s |      19 |   498069 |   445282 |    27409     41 |        0 |        0
815.77/816.17	c  815s |      19 |   498883 |   446082 |    27409     41 |        0 |        0
817.97/818.33	c  818s |      19 |   499917 |   447082 |    27409     41 |        0 |        0
820.07/820.46	c  820s |      19 |   501039 |   448182 |    27409     41 |        0 |        0
822.07/822.48	c  822s |      19 |   502095 |   449182 |    27409     41 |        0 |        0
824.26/824.67	c  824s |      19 |   503027 |   450082 |    27409     41 |        0 |        0
826.26/826.68	c  826s |      19 |   504057 |   451082 |    27409     41 |        0 |        0
828.46/828.84	c  828s |      19 |   504877 |   451882 |    27409     41 |        0 |        0
830.46/830.89	c  830s |      19 |   505767 |   452682 |    27409     41 |        0 |        0
832.56/832.94	c  832s |      19 |   506822 |   453682 |    27409     41 |        0 |        0
834.67/835.08	c  834s |      19 |   507772 |   454582 |    27409     41 |        0 |        0
836.96/837.32	c  837s |      19 |   508702 |   455482 |    27409     41 |        0 |        0
838.96/839.34	c  839s |      19 |   509308 |   456082 |    27409     41 |        0 |        0
841.06/841.41	c  841s |      19 |   510120 |   456882 |    27409     41 |        0 |        0
843.15/843.53	c  843s |      19 |   510993 |   457682 |    27409     41 |        0 |        0
845.15/845.59	c  845s |      19 |   511814 |   458482 |    27409     41 |        0 |        0
847.25/847.69	c  847s |      19 |   512447 |   459082 |    27409     42 |        0 |        0
849.55/849.90	c  849s |      19 |   513737 |   460282 |    27409     42 |        0 |        0
851.65/852.02	c  851s |      19 |   515146 |   461582 |    27409     42 |        0 |        0
853.65/854.09	c  853s |      19 |   516568 |   462882 |    27409     42 |        0 |        0
855.74/856.15	c  855s |      19 |   518044 |   464182 |    27409     42 |        0 |        0
857.94/858.39	c  858s |      19 |   519186 |   465082 |    27409     42 |        0 |        0
860.14/860.56	c  860s |      19 |   520036 |   465882 |    27409     42 |        0 |        0
862.24/862.61	c  862s |      19 |   520950 |   466782 |    27409     42 |        0 |        0
864.44/864.82	c  864s |      19 |   522133 |   467882 |    27409     42 |        0 |        0
866.54/866.92	c  866s |      19 |   522956 |   468682 |    27409     42 |        0 |        0
868.54/869.00	c  868s |      19 |   523984 |   469682 |    27409     42 |        0 |        0
870.74/871.11	c  870s |      19 |   525051 |   470682 |    27409     42 |        0 |        0
872.93/873.30	c  873s |      19 |   525787 |   471382 |    27409     42 |        0 |        0
874.93/875.33	c  875s |      19 |   526492 |   472082 |    27409     42 |        0 |        0
877.33/877.77	c  877s |      19 |   527217 |   472782 |    27409     43 |        0 |        0
879.53/879.97	c  879s |      19 |   528891 |   474282 |    27409     43 |        0 |        0
881.73/882.12	c  881s |      19 |   530225 |   475482 |    27409     43 |        0 |        0
883.83/884.24	c  884s |      19 |   531461 |   476682 |    27409     43 |        0 |        0
885.83/886.27	c  886s |      19 |   532699 |   477882 |    27409     43 |        0 |        0
887.93/888.33	c  888s |      19 |   533848 |   478982 |    27409     43 |        0 |        0
890.12/890.53	c  890s |      19 |   535294 |   480282 |    27409     43 |        0 |        0
892.22/892.67	c  892s |      19 |   536746 |   481582 |    27409     43 |        0 |        0
894.32/894.79	c  894s |      19 |   537362 |   482182 |    27409     43 |        0 |        0
896.62/897.00	c  896s |      19 |   538096 |   482882 |    27409     43 |        0 |        0
898.72/899.18	c  898s |      19 |   538803 |   483582 |    27409     43 |        0 |        0
903.11/903.58	c  903s |      19 |   539900 |   484582 |    27409     43 |        0 |        0
905.31/905.78	c  905s |      19 |   540540 |   485182 |    27409     43 |        0 |        0
907.51/907.96	c  907s |      19 |   541155 |   485782 |    27409     43 |        0 |        0
909.51/909.97	c  909s |      19 |   541807 |   486382 |    27409     43 |        0 |        0
911.62/912.09	c  911s |      19 |   542668 |   487182 |    27409     44 |        0 |        0
913.91/914.30	c  914s |      19 |   543572 |   488082 |    27409     44 |        0 |        0
916.02/916.41	c  916s |      19 |   544831 |   489282 |    27409     44 |        0 |        0
918.12/918.52	c  918s |      19 |   546184 |   490582 |    27409     44 |        0 |        0
920.21/920.66	c  920s |      19 |   547085 |   491482 |    27409     44 |        0 |        0
922.51/922.91	c  922s |      19 |   548034 |   492382 |    27409     44 |        0 |        0
924.61/925.05	c  924s |      19 |   549188 |   493482 |    27409     44 |        0 |        0
926.71/927.18	c  926s |      19 |   550325 |   494582 |    27409     44 |        0 |        0
929.00/929.42	c  929s |      19 |   551145 |   495382 |    27409     44 |        0 |        0
931.00/931.42	c  931s |      19 |   552149 |   496282 |    27409     44 |        0 |        0
933.00/933.48	c  933s |      19 |   553135 |   497182 |    27409     44 |        0 |        0
935.10/935.59	c  935s |      19 |   554100 |   498082 |    27409     44 |        0 |        0
937.40/937.80	c  937s |      19 |   555089 |   498982 |    27409     44 |        0 |        0
939.50/939.92	c  939s |      19 |   556260 |   499982 |    27409     44 |        0 |        0
941.60/942.00	c  941s |      19 |   557400 |   500982 |    27409     45 |        0 |        0
953.70/954.17	c  953s |      19 |   558023 |   501482 |    27409     45 |        0 |        0
955.80/956.22	c  956s |      19 |   559086 |   502482 |    27409     45 |        0 |        0
957.81/958.25	c  958s |      19 |   559776 |   503182 |    27409     45 |        0 |        0
959.91/960.33	c  960s |      19 |   560719 |   504082 |    27409     45 |        0 |        0
962.00/962.40	c  962s |      19 |   561624 |   504982 |    27409     45 |        0 |        0
964.10/964.56	c  964s |      19 |   562849 |   506082 |    27409     45 |        0 |        0
966.10/966.57	c  966s |      19 |   563846 |   506982 |    27409     45 |        0 |        0
968.20/968.62	c  968s |      19 |   564670 |   507782 |    27409     45 |        0 |        0
970.30/970.78	c  970s |      19 |   565761 |   508782 |    27409     45 |        0 |        0
972.60/973.05	c  972s |      19 |   566804 |   509782 |    27409     45 |        0 |        0
974.80/975.27	c  975s |      19 |   567767 |   510682 |    27409     45 |        0 |        0
977.00/977.48	c  977s |      19 |   568721 |   511582 |    27409     45 |        0 |        0
979.20/979.60	c  979s |      19 |   569562 |   512382 |    27409     45 |        0 |        0
981.19/981.66	c  981s |      19 |   570508 |   513282 |    27409     45 |        0 |        0
983.39/983.87	c  983s |      19 |   571428 |   514182 |    27409     45 |        0 |        0
985.49/985.97	c  985s |      19 |   572792 |   515282 |    27409     46 |        0 |        0
987.50/987.98	c  987s |      19 |   573756 |   516182 |    27409     46 |        0 |        0
989.70/990.11	c  989s |      19 |   575005 |   517382 |    27409     46 |        0 |        0
991.69/992.12	c  991s |      19 |   576234 |   518482 |    27409     46 |        0 |        0
993.79/994.26	c  994s |      19 |   577622 |   519782 |    27409     46 |        0 |        0
995.99/996.41	c  996s |      19 |   578774 |   520882 |    27409     46 |        0 |        0
997.99/998.48	c  998s |      19 |   579800 |   521882 |    27409     46 |        0 |        0
1000.19/1000.62	c 1000s |      19 |   580831 |   522882 |    27409     46 |        0 |        0
1002.29/1002.76	c 1002s |      19 |   582010 |   523982 |    27409     46 |        0 |        0
1004.38/1004.88	c 1004s |      19 |   583167 |   525082 |    27409     46 |        0 |        0
1006.48/1006.91	c 1006s |      19 |   584652 |   526382 |    27409     46 |        0 |        0
1008.58/1009.03	c 1008s |      19 |   585572 |   527282 |    27409     46 |        0 |        0
1010.78/1011.24	c 1011s |      19 |   586314 |   527982 |    27409     46 |        0 |        0
1012.78/1013.26	c 1013s |      19 |   586933 |   528582 |    27409     47 |        0 |        0
1015.08/1015.54	c 1015s |      19 |   587891 |   529482 |    27409     47 |        0 |        0
1017.08/1017.57	c 1017s |      19 |   588817 |   530382 |    27409     47 |        0 |        0
1019.17/1019.62	c 1019s |      19 |   589652 |   531182 |    27409     47 |        0 |        0
1021.17/1021.63	c 1021s |      19 |   590566 |   532082 |    27409     47 |        0 |        0
1023.27/1023.70	c 1023s |      19 |   591885 |   533282 |    27409     47 |        0 |        0
1025.37/1025.82	c 1025s |      19 |   592812 |   534182 |    27409     47 |        0 |        0
1027.37/1027.88	c 1027s |      19 |   593618 |   534982 |    27409     47 |        0 |        0
1029.37/1029.89	c 1029s |      19 |   594821 |   536082 |    27409     47 |        0 |        0
1031.67/1032.11	c 1031s |      19 |   595890 |   537082 |    27409     47 |        0 |        0
1033.68/1034.12	c 1033s |      19 |   596866 |   537982 |    27409     47 |        0 |        0
1035.78/1036.23	c 1036s |      19 |   598231 |   539182 |    27409     47 |        0 |        0
1038.08/1038.59	c 1038s |      19 |   599474 |   540282 |    27409     47 |        0 |        0
1040.18/1040.62	c 1040s |      19 |   600215 |   540982 |    27409     47 |        0 |        0
1042.17/1042.64	c 1042s |      19 |   600929 |   541682 |    27409     47 |        0 |        0
1044.58/1045.04	c 1044s |      19 |   601663 |   542382 |    27409     48 |        0 |        0
1046.67/1047.13	c 1046s |      19 |   602773 |   543482 |    27409     48 |        0 |        0
1048.77/1049.20	c 1048s |      19 |   604136 |   544682 |    27409     48 |        0 |        0
1050.87/1051.30	c 1051s |      19 |   605414 |   545882 |    27409     48 |        0 |        0
1052.87/1053.31	c 1053s |      19 |   606962 |   547182 |    27409     48 |        0 |        0
1055.17/1055.67	c 1055s |      19 |   607503 |   547582 |    27409     48 |        0 |        0
1057.27/1057.78	c 1057s |      19 |   608570 |   548582 |    27409     48 |        0 |        0
1059.47/1059.96	c 1059s |      19 |   609641 |   549582 |    27409     48 |        0 |        0
1061.66/1062.19	c 1061s |      19 |   610675 |   550582 |    27409     48 |        0 |        0
1063.76/1064.23	c 1064s |      19 |   611845 |   551682 |    27409     48 |        0 |        0
1065.86/1066.36	c 1066s |      19 |   613335 |   552982 |    27409     48 |        0 |        0
1068.06/1068.52	c 1068s |      19 |   614576 |   554082 |    27409     48 |        0 |        0
1070.36/1070.81	c 1070s |      19 |   615386 |   554882 |    27409     48 |        0 |        0
1073.27/1073.78	c 1073s |      19 |   616440 |   555882 |    27409     49 |        0 |        0
1075.47/1075.95	c 1075s |      19 |   618087 |   557282 |    27409     49 |        0 |        0
1077.46/1077.98	c 1077s |      19 |   619402 |   558282 |    27409     49 |        0 |        0
1079.56/1080.06	c 1079s |      19 |   621100 |   559782 |    27409     49 |        0 |        0
1081.77/1082.21	c 1082s |      19 |   622366 |   560982 |    27409     49 |        0 |        0
1083.97/1084.42	c 1084s |      19 |   623764 |   562282 |    27409     49 |        0 |        0
1085.97/1086.49	c 1086s |      19 |   625118 |   563482 |    27409     49 |        0 |        0
1088.17/1088.60	c 1088s |      19 |   626515 |   564682 |    27409     49 |        0 |        0
1090.17/1090.69	c 1090s |      19 |   627918 |   565882 |    27409     49 |        0 |        0
1092.27/1092.71	c 1092s |      19 |   629120 |   566982 |    27409     49 |        0 |        0
1094.27/1094.74	c 1094s |      19 |   630646 |   568282 |    27409     49 |        0 |        0
1096.37/1096.82	c 1096s |      19 |   631975 |   569482 |    27409     49 |        0 |        0
1098.37/1098.90	c 1098s |      19 |   633221 |   570582 |    27409     50 |        0 |        0
1119.55/1120.00	c 1119s |      19 |   634359 |   571382 |    27409     50 |        0 |        0
1124.56/1125.00	c 1124s |      19 |   636022 |   572682 |    27409     50 |        0 |        0
1126.76/1127.20	c 1126s |      19 |   637105 |   573682 |    27409     50 |        0 |        0
1128.76/1129.25	c 1129s |      19 |   638422 |   574682 |    27409     50 |        0 |        0
1130.86/1131.39	c 1131s |      19 |   639318 |   575582 |    27409     50 |        0 |        0
1132.95/1133.40	c 1133s |      19 |   640512 |   576582 |    27409     50 |        0 |        0
1134.95/1135.44	c 1135s |      19 |   641391 |   577382 |    27409     50 |        0 |        0
1136.96/1137.50	c 1137s |      19 |   642336 |   578282 |    27409     50 |        0 |        0
1139.16/1139.61	c 1139s |      19 |   643336 |   579182 |    27409     50 |        0 |        0
1141.15/1141.66	c 1141s |      19 |   644322 |   580082 |    27409     50 |        0 |        0
1143.45/1143.94	c 1143s |      19 |   645473 |   581082 |    27409     50 |        0 |        0
1145.45/1145.98	c 1145s |      19 |   646235 |   581782 |    27409     50 |        0 |        0
1147.65/1148.19	c 1147s |      19 |   647222 |   582682 |    27409     50 |        0 |        0
1149.75/1150.20	c 1150s |      19 |   647957 |   583382 |    27409     50 |        0 |        0
1151.75/1152.28	c 1152s |      19 |   648720 |   584082 |    27409     51 |        0 |        0
1153.85/1154.39	c 1154s |      19 |   649715 |   584982 |    27409     51 |        0 |        0
1156.05/1156.54	c 1156s |      19 |   650951 |   586082 |    27409     51 |        0 |        0
1158.25/1158.77	c 1158s |      19 |   652113 |   587182 |    27409     51 |        0 |        0
1160.45/1160.91	c 1160s |      19 |   653333 |   588282 |    27409     51 |        0 |        0
1162.45/1162.94	c 1162s |      19 |   654232 |   589082 |    27409     51 |        0 |        0
1164.75/1165.26	c 1165s |      19 |   654835 |   589682 |    27409     51 |        0 |        0
1166.95/1167.46	c 1167s |      19 |   655588 |   590382 |    27409     51 |        0 |        0
1169.15/1169.66	c 1169s |      19 |   656536 |   591282 |    27409     51 |        0 |        0
1171.35/1171.89	c 1171s |      19 |   657252 |   591982 |    27409     51 |        0 |        0
1173.45/1173.91	c 1173s |      19 |   658115 |   592782 |    27409     51 |        0 |        0
1175.55/1176.04	c 1175s |      19 |   658731 |   593382 |    27409     51 |        0 |        0
1177.65/1178.17	c 1177s |      19 |   659451 |   594082 |    27409     51 |        0 |        0
1180.05/1180.56	c 1180s |      19 |   660432 |   594982 |    27409     51 |        0 |        0
1182.25/1182.72	c 1182s |      19 |   661056 |   595582 |    27409     51 |        0 |        0
1184.35/1184.82	c 1184s |      19 |   662000 |   596382 |    27409     51 |        0 |        0
1186.55/1187.06	c 1186s |      19 |   662742 |   597082 |    27409     51 |        0 |        0
1188.75/1189.21	c 1189s |      19 |   663438 |   597682 |    27409     52 |        0 |        0
1190.86/1191.39	c 1191s |      19 |   664860 |   598982 |    27409     52 |        0 |        0
1193.16/1193.63	c 1193s |      19 |   666400 |   600382 |    27409     52 |        0 |        0
1195.15/1195.70	c 1195s |      19 |   667786 |   601582 |    27409     52 |        0 |        0
1199.45/1199.98	c 1199s |      19 |   668908 |   602582 |    27409     52 |        0 |        0
1201.55/1202.04	c 1201s |      19 |   670318 |   603882 |    27409     52 |        0 |        0
1203.65/1204.13	c 1203s |      19 |   671338 |   604782 |    27409     52 |        0 |        0
1205.75/1206.25	c 1206s |      19 |   672274 |   605682 |    27409     52 |        0 |        0
1207.75/1208.25	c 1208s |      19 |   673266 |   606582 |    27409     52 |        0 |        0
1209.75/1210.26	c 1210s |      19 |   674000 |   607282 |    27409     52 |        0 |        0
1211.85/1212.32	c 1212s |      19 |   674743 |   607982 |    27409     52 |        0 |        0
1213.85/1214.38	c 1214s |      19 |   675456 |   608682 |    27409     52 |        0 |        0
1216.15/1216.63	c 1216s |      19 |   676282 |   609482 |    27409     52 |        0 |        0
1218.35/1218.81	c 1218s |      19 |   677101 |   610282 |    27409     52 |        0 |        0
1220.44/1220.92	c 1220s |      19 |   677752 |   610882 |    27409     52 |        0 |        0
1222.54/1223.01	c 1222s |      19 |   678294 |   611382 |    27409     53 |        0 |        0
1224.54/1225.07	c 1224s |      19 |   679315 |   612382 |    27409     53 |        0 |        0
1226.54/1227.09	c 1226s |      19 |   680507 |   613482 |    27409     53 |        0 |        0
1228.74/1229.23	c 1229s |      19 |   681926 |   614782 |    27409     53 |        0 |        0
1230.84/1231.32	c 1231s |      19 |   683138 |   615882 |    27409     53 |        0 |        0
1232.94/1233.49	c 1233s |      19 |   684074 |   616782 |    27409     53 |        0 |        0
1235.14/1235.60	c 1235s |      19 |   685147 |   617782 |    27409     53 |        0 |        0
1237.24/1237.70	c 1237s |      19 |   686288 |   618882 |    27409     53 |        0 |        0
1239.25/1239.78	c 1239s |      19 |   687104 |   619682 |    27409     53 |        0 |        0
1241.34/1241.89	c 1241s |      19 |   688155 |   620682 |    27409     53 |        0 |        0
1243.54/1244.07	c 1243s |      19 |   689080 |   621582 |    27409     53 |        0 |        0
1245.74/1246.20	c 1246s |      19 |   690181 |   622582 |    27409     53 |        0 |        0
1247.74/1248.22	c 1248s |      19 |   691011 |   623382 |    27409     53 |        0 |        0
1249.74/1250.26	c 1250s |      19 |   691723 |   624082 |    27409     53 |        0 |        0
1251.74/1252.28	c 1252s |      19 |   692741 |   624982 |    27409     53 |        0 |        0
1253.84/1254.33	c 1254s |      19 |   693718 |   625882 |    27409     54 |        0 |        0
1255.85/1256.35	c 1256s |      19 |   694759 |   626882 |    27409     54 |        0 |        0
1258.05/1258.54	c 1258s |      19 |   696005 |   628082 |    27409     54 |        0 |        0
1260.15/1260.67	c 1260s |      19 |   697259 |   629282 |    27409     54 |        0 |        0
1262.24/1262.70	c 1262s |      19 |   698524 |   630482 |    27409     54 |        0 |        0
1264.34/1264.83	c 1264s |      19 |   699749 |   631582 |    27409     54 |        0 |        0
1266.34/1266.86	c 1266s |      19 |   700562 |   632382 |    27409     54 |        0 |        0
1268.54/1269.01	c 1268s |      19 |   701275 |   633082 |    27409     54 |        0 |        0
1270.54/1271.01	c 1270s |      19 |   702247 |   633982 |    27409     54 |        0 |        0
1272.74/1273.21	c 1273s |      19 |   703075 |   634782 |    27409     54 |        0 |        0
1274.84/1275.34	c 1275s |      19 |   704075 |   635682 |    27409     54 |        0 |        0
1276.93/1277.48	c 1277s |      19 |   705004 |   636582 |    27409     54 |        0 |        0
1279.23/1279.76	c 1279s |      19 |   706136 |   637582 |    27409     54 |        0 |        0
1281.23/1281.76	c 1281s |      19 |   706976 |   638382 |    27409     54 |        0 |        0
1283.73/1284.22	c 1284s |      19 |   707661 |   638982 |    27409     55 |        0 |        0
1286.43/1286.92	c 1286s |      19 |   709351 |   640482 |    27409     55 |        0 |        0
1288.53/1289.06	c 1288s |      19 |   710149 |   641282 |    27409     55 |        0 |        0
1290.63/1291.12	c 1290s |      19 |   711296 |   642382 |    27409     55 |        0 |        0
1292.63/1293.18	c 1292s |      19 |   712486 |   643482 |    27409     55 |        0 |        0
1294.73/1295.23	c 1295s |      19 |   713725 |   644682 |    27409     55 |        0 |        0
1296.73/1297.27	c 1297s |      19 |   714971 |   645882 |    27409     55 |        0 |        0
1298.74/1299.27	c 1299s |      19 |   716302 |   647082 |    27409     55 |        0 |        0
1300.73/1301.28	c 1301s |      19 |   717428 |   648082 |    27409     55 |        0 |        0
1302.93/1303.40	c 1303s |      19 |   718783 |   649282 |    27409     55 |        0 |        0
1305.13/1305.68	c 1305s |      19 |   719710 |   650182 |    27409     55 |        0 |        0
1307.23/1307.73	c 1307s |      19 |   720569 |   650982 |    27409     55 |        0 |        0
1309.33/1309.82	c 1309s |      19 |   721629 |   651982 |    27409     55 |        0 |        0
1311.53/1312.00	c 1311s |      19 |   722506 |   652782 |    27409     56 |        0 |        0
1313.53/1314.06	c 1313s |      19 |   723606 |   653782 |    27409     56 |        0 |        0
1315.53/1316.06	c 1315s |      19 |   725032 |   655082 |    27409     56 |        0 |        0
1317.53/1318.09	c 1317s |      19 |   726619 |   656482 |    27409     56 |        0 |        0
1319.63/1320.18	c 1319s |      19 |   728182 |   657882 |    27409     56 |        0 |        0
1321.73/1322.24	c 1322s |      19 |   729926 |   659382 |    27409     56 |        0 |        0
1323.83/1324.37	c 1324s |      19 |   731358 |   660682 |    27409     56 |        0 |        0
1325.93/1326.44	c 1326s |      19 |   732951 |   662082 |    27409     56 |        0 |        0
1327.93/1328.49	c 1328s |      19 |   734821 |   663582 |    30150     56 |        0 |        0
1332.03/1332.53	c 1332s |      19 |   735662 |   664282 |    30150     56 |        0 |        0
1350.53/1351.09	c 1350s |      19 |   735761 |   664382 |    30150     56 |        0 |        0
1352.93/1353.40	c 1353s |      19 |   736515 |   665082 |    30150     56 |        0 |        0
1355.03/1355.57	c 1355s |      19 |   737391 |   665882 |    30150     56 |        0 |        0
1356.83/1357.38	c 1357s |      20 |   738463 |   666827 |    30150     56 |        0 |        0
1358.93/1359.46	c 1359s |      20 |   739257 |   667427 |    30150     56 |        0 |        0
1361.03/1361.58	c 1361s |      20 |   740101 |   668227 |    30150     56 |        0 |        0
1363.22/1363.77	c 1363s |      20 |   741132 |   669127 |    30150     56 |        0 |        0
1365.32/1365.88	c 1365s |      20 |   741657 |   669627 |    30150     57 |        0 |        0
1367.52/1368.02	c 1367s |      20 |   743039 |   670927 |    30150     57 |        0 |        0
1371.72/1372.25	c 1372s |      20 |   743148 |   671027 |    30150     57 |        0 |        0
1373.72/1374.29	c 1374s |      20 |   744169 |   672027 |    30150     57 |        0 |        0
1375.92/1376.41	c 1376s |      20 |   745216 |   673027 |    30150     57 |        0 |        0
1377.93/1378.49	c 1378s |      20 |   746317 |   674127 |    30150     57 |        0 |        0
1380.03/1380.52	c 1380s |      20 |   747461 |   675227 |    30150     57 |        0 |        0
1382.02/1382.53	c 1382s |      20 |   748493 |   676227 |    30150     57 |        0 |        0
1384.02/1384.56	c 1384s |      20 |   749574 |   677227 |    30150     57 |        0 |        0
1386.12/1386.61	c 1386s |      20 |   750601 |   678227 |    30150     57 |        0 |        0
1388.12/1388.62	c 1388s |      20 |   751724 |   679227 |    30150     57 |        0 |        0
1390.22/1390.77	c 1390s |      20 |   752805 |   680227 |    30150     57 |        0 |        0
1392.32/1392.88	c 1392s |      20 |   754020 |   681327 |    30150     57 |        0 |        0
1394.32/1394.89	c 1394s |      20 |   755211 |   682427 |    30150     57 |        0 |        0
1396.42/1396.99	c 1396s |      20 |   755337 |   682527 |    30150     57 |        0 |        0
1398.92/1399.49	c 1399s |      20 |   755735 |   682827 |    30150     57 |        0 |        0
1401.32/1401.84	c 1401s |      20 |   756330 |   683427 |    30150     57 |        0 |        0
1403.41/1403.90	c 1403s |      20 |   756820 |   683927 |    30150     57 |        0 |        0
1405.91/1406.41	c 1406s |      20 |   757442 |   684527 |    30150     58 |        0 |        0
1408.11/1408.62	c 1408s |      20 |   758306 |   685327 |    30150     58 |        0 |        0
1410.21/1410.72	c 1410s |      20 |   759325 |   686327 |    30150     58 |        0 |        0
1412.41/1412.91	c 1412s |      20 |   760357 |   687327 |    30150     58 |        0 |        0
1414.41/1414.93	c 1414s |      20 |   761066 |   688027 |    30150     58 |        0 |        0
1416.51/1417.05	c 1416s |      20 |   761875 |   688827 |    30150     58 |        0 |        0
1418.81/1419.39	c 1419s |      20 |   762885 |   689727 |    30150     58 |        0 |        0
1420.91/1421.45	c 1421s |      20 |   763886 |   690627 |    30150     58 |        0 |        0
1423.02/1423.56	c 1423s |      20 |   764596 |   691327 |    30150     58 |        0 |        0
1425.22/1425.72	c 1425s |      20 |   765574 |   692227 |    30150     58 |        0 |        0
1427.42/1427.94	c 1427s |      20 |   766645 |   693227 |    30150     58 |        0 |        0
1429.41/1429.99	c 1429s |      20 |   767479 |   694027 |    30150     58 |        0 |        0
1431.61/1432.10	c 1431s |      20 |   768665 |   695127 |    30150     58 |        0 |        0
1433.61/1434.12	c 1433s |      20 |   769547 |   695927 |    30150     58 |        0 |        0
1435.81/1436.31	c 1436s |      20 |   770515 |   696827 |    30150     58 |        0 |        0
1437.91/1438.40	c 1438s |      20 |   771598 |   697827 |    30150     58 |        0 |        0
1439.91/1440.40	c 1440s |      20 |   772701 |   698727 |    30150     58 |        0 |        0
1442.01/1442.51	c 1442s |      20 |   773464 |   699427 |    30150     58 |        0 |        0
1444.01/1444.53	c 1444s |      20 |   774141 |   700027 |    30150     59 |        0 |        0
1446.01/1446.55	c 1446s |      20 |   774851 |   700727 |    30150     59 |        0 |        0
1448.10/1448.61	c 1448s |      20 |   775563 |   701427 |    30150     59 |        0 |        0
1450.10/1450.62	c 1450s |      20 |   776589 |   702427 |    30150     59 |        0 |        0
1452.10/1452.68	c 1452s |      20 |   777925 |   703627 |    30150     59 |        0 |        0
1454.30/1454.82	c 1454s |      20 |   778644 |   704327 |    30150     59 |        0 |        0
1456.50/1457.00	c 1456s |      20 |   779353 |   705027 |    30150     59 |        0 |        0
1458.50/1459.04	c 1458s |      20 |   780277 |   705927 |    30150     59 |        0 |        0
1460.80/1461.32	c 1461s |      20 |   781095 |   706727 |    30150     59 |        0 |        0
1462.80/1463.34	c 1463s |      20 |   781970 |   707527 |    30150     59 |        0 |        0
1465.00/1465.50	c 1465s |      20 |   782849 |   708327 |    30150     59 |        0 |        0
1467.10/1467.62	c 1467s |      20 |   783701 |   709127 |    30150     59 |        0 |        0
1469.11/1469.65	c 1469s |      20 |   784614 |   709927 |    30150     59 |        0 |        0
1471.31/1471.85	c 1471s |      20 |   785491 |   710727 |    30150     59 |        0 |        0
1473.40/1473.95	c 1473s |      20 |   786312 |   711527 |    30150     59 |        0 |        0
1475.60/1476.16	c 1475s |      20 |   787272 |   712427 |    30150     59 |        0 |        0
1477.70/1478.23	c 1478s |      20 |   788149 |   713227 |    30150     59 |        0 |        0
1479.70/1480.25	c 1480s |      20 |   789081 |   714127 |    30150     59 |        0 |        0
1482.10/1482.63	c 1482s |      20 |   790072 |   714927 |    30150     60 |        0 |        0
1484.10/1484.69	c 1484s |      20 |   791112 |   715827 |    30150     60 |        0 |        0
1486.20/1486.76	c 1486s |      20 |   792214 |   716827 |    30150     60 |        0 |        0
1488.30/1488.87	c 1488s |      20 |   793148 |   717727 |    30150     60 |        0 |        0
1490.40/1490.94	c 1490s |      20 |   794068 |   718627 |    30150     60 |        0 |        0
1492.51/1493.05	c 1492s |      20 |   795342 |   719827 |    30150     60 |        0 |        0
1494.70/1495.21	c 1495s |      20 |   796267 |   720727 |    30150     60 |        0 |        0
1496.71/1497.27	c 1497s |      20 |   797082 |   721527 |    30150     60 |        0 |        0
1499.00/1499.52	c 1499s |      20 |   798200 |   722527 |    30150     60 |        0 |        0
1501.01/1501.60	c 1501s |      20 |   798932 |   723227 |    30150     60 |        0 |        0
1503.31/1503.84	c 1503s |      20 |   800057 |   724327 |    30150     60 |        0 |        0
1505.30/1505.87	c 1505s |      20 |   801018 |   725227 |    30150     60 |        0 |        0
1507.40/1507.99	c 1507s |      20 |   802210 |   726327 |    30150     60 |        0 |        0
1509.50/1510.08	c 1509s |      20 |   803049 |   727127 |    30150     60 |        0 |        0
1511.60/1512.13	c 1511s |      20 |   803679 |   727727 |    30150     60 |        0 |        0
1513.70/1514.29	c 1514s |      20 |   804654 |   728627 |    30150     60 |        0 |        0
1515.80/1516.34	c 1516s |      20 |   805321 |   729227 |    30150     60 |        0 |        0
1518.00/1518.52	c 1518s |      20 |   806184 |   730027 |    30150     60 |        0 |        0
1520.10/1520.60	c 1520s |      20 |   806687 |   730527 |    30150     61 |        0 |        0
1522.20/1522.70	c 1522s |      20 |   807978 |   731727 |    30150     61 |        0 |        0
1524.30/1524.87	c 1524s |      20 |   809349 |   733027 |    30150     61 |        0 |        0
1526.41/1526.98	c 1526s |      20 |   810417 |   734027 |    30150     61 |        0 |        0
1528.50/1529.06	c 1528s |      20 |   810740 |   734327 |    30150     61 |        0 |        0
1530.60/1531.10	c 1530s |      20 |   811647 |   735227 |    30150     61 |        0 |        0
1532.80/1533.38	c 1533s |      20 |   812686 |   736227 |    30150     61 |        0 |        0
1535.00/1535.55	c 1535s |      20 |   813599 |   737127 |    30150     61 |        0 |        0
1537.20/1537.73	c 1537s |      20 |   814888 |   738227 |    30150     61 |        0 |        0
1539.30/1539.89	c 1539s |      20 |   816189 |   739427 |    30150     61 |        0 |        0
1541.40/1541.90	c 1541s |      20 |   817223 |   740327 |    30150     61 |        0 |        0
1543.40/1543.94	c 1543s |      20 |   817825 |   740927 |    30150     61 |        0 |        0
1545.70/1546.21	c 1546s |      20 |   818799 |   741827 |    30150     61 |        0 |        0
1547.89/1548.45	c 1548s |      20 |   819676 |   742627 |    30150     61 |        0 |        0
1550.19/1550.71	c 1550s |      20 |   820853 |   743627 |    30150     61 |        0 |        0
1552.19/1552.72	c 1552s |      20 |   822115 |   744727 |    30150     61 |        0 |        0
1555.39/1555.99	c 1555s |      20 |   822782 |   745327 |    30150     62 |        0 |        0
1557.49/1558.09	c 1557s |      20 |   824046 |   746527 |    30150     62 |        0 |        0
1559.59/1560.11	c 1559s |      20 |   825431 |   747727 |    30150     62 |        0 |        0
1561.69/1562.24	c 1562s |      20 |   826756 |   748927 |    30150     62 |        0 |        0
1563.70/1564.30	c 1564s |      20 |   827911 |   750027 |    30150     62 |        0 |        0
1565.90/1566.42	c 1566s |      20 |   829086 |   751127 |    30150     62 |        0 |        0
1567.89/1568.47	c 1568s |      20 |   830299 |   752127 |    30150     62 |        0 |        0
1569.99/1570.53	c 1570s |      20 |   831279 |   753027 |    30150     62 |        0 |        0
1571.99/1572.57	c 1572s |      20 |   832478 |   754027 |    30150     62 |        0 |        0
1574.09/1574.68	c 1574s |      20 |   833600 |   755027 |    30150     62 |        0 |        0
1576.39/1576.95	c 1576s |      20 |   834905 |   756127 |    30150     62 |        0 |        0
1578.49/1579.08	c 1578s |      20 |   835859 |   757027 |    30150     62 |        0 |        0
1580.59/1581.13	c 1580s |      20 |   837152 |   758127 |    30150     62 |        0 |        0
1582.79/1583.32	c 1583s |      20 |   837987 |   758927 |    30150     62 |        0 |        0
1584.79/1585.36	c 1585s |      20 |   839108 |   759927 |    30150     62 |        0 |        0
1587.68/1588.20	c 1587s |      20 |   839889 |   760227 |    30150     62 |        0 |        0
1590.09/1590.61	c 1590s |      20 |   840186 |   760527 |    30150     63 |        0 |        0
1592.58/1593.16	c 1592s |      20 |   841425 |   761527 |    30150     63 |        0 |        0
1594.68/1595.28	c 1595s |      20 |   842655 |   762627 |    30150     63 |        0 |        0
1596.79/1597.31	c 1597s |      20 |   843752 |   763627 |    30150     63 |        0 |        0
1598.89/1599.48	c 1599s |      20 |   844928 |   764727 |    30150     63 |        0 |        0
1600.98/1601.51	c 1601s |      20 |   846317 |   765927 |    30150     63 |        0 |        0
1602.98/1603.53	c 1603s |      20 |   847390 |   766827 |    30150     63 |        0 |        0
1604.98/1605.56	c 1605s |      20 |   848142 |   767527 |    30150     63 |        0 |        0
1606.98/1607.57	c 1607s |      20 |   848965 |   768327 |    30150     63 |        0 |        0
1611.09/1611.63	c 1611s |      20 |   849962 |   769127 |    30150     63 |        0 |        0
1613.29/1613.83	c 1613s |      20 |   850916 |   769927 |    30150     63 |        0 |        0
1615.39/1615.95	c 1615s |      20 |   852117 |   770927 |    30150     63 |        0 |        0
1617.49/1618.02	c 1617s |      20 |   852731 |   771527 |    30150     63 |        0 |        0
1619.59/1620.14	c 1619s |      20 |   853357 |   772127 |    30150     63 |        0 |        0
1621.69/1622.22	c 1622s |      20 |   853954 |   772727 |    30150     63 |        0 |        0
1625.48/1626.01	c 1625s |      20 |   854857 |   773527 |    30150     63 |        0 |        0
1627.68/1628.20	c 1628s |      20 |   855463 |   774127 |    30150     63 |        0 |        0
1629.69/1630.25	c 1630s |      20 |   855987 |   774627 |    30150     63 |        0 |        0
1631.68/1632.29	c 1632s |      20 |   856526 |   775127 |    30150     63 |        0 |        0
1634.78/1635.33	c 1635s |      20 |   857173 |   775727 |    30150     64 |        0 |        0
1637.39/1637.93	c 1637s |      20 |   858188 |   776627 |    30150     64 |        0 |        0
1639.38/1639.96	c 1639s |      20 |   858790 |   777227 |    30150     64 |        0 |        0
1641.68/1642.29	c 1642s |      20 |   859502 |   777927 |    30150     64 |        0 |        0
1643.99/1644.52	c 1644s |      20 |   860338 |   778727 |    30150     64 |        0 |        0
1646.19/1646.70	c 1646s |      20 |   861304 |   779627 |    30150     64 |        0 |        0
1648.28/1648.89	c 1648s |      20 |   862406 |   780627 |    30150     64 |        0 |        0
1650.48/1651.04	c 1650s |      20 |   863301 |   781427 |    30150     64 |        0 |        0
1652.68/1653.24	c 1653s |      20 |   864125 |   782227 |    30150     64 |        0 |        0
1654.88/1655.40	c 1655s |      20 |   864985 |   783027 |    30150     64 |        0 |        0
1657.18/1657.74	c 1657s |      20 |   865500 |   783427 |    30150     64 |        0 |        0
1659.27/1659.87	c 1659s |      20 |   866214 |   784127 |    30150     64 |        0 |        0
1661.27/1661.88	c 1661s |      20 |   866915 |   784827 |    30150     64 |        0 |        0
1663.47/1664.09	c 1663s |      20 |   867757 |   785627 |    30150     64 |        0 |        0
1665.57/1666.12	c 1665s |      20 |   868594 |   786427 |    30150     64 |        0 |        0
1667.87/1668.47	c 1668s |      20 |   869728 |   787427 |    30150     64 |        0 |        0
1670.07/1670.70	c 1670s |      20 |   870620 |   788227 |    30150     64 |        0 |        0
1672.17/1672.78	c 1672s |      20 |   871594 |   789127 |    30150     64 |        0 |        0
1674.37/1674.90	c 1674s |      20 |   872341 |   789827 |    30150     64 |        0 |        0
1676.47/1677.04	c 1676s |      20 |   873444 |   790727 |    30150     64 |        0 |        0
1678.57/1679.18	c 1678s |      20 |   873952 |   791227 |    30150     65 |        0 |        0
1680.67/1681.28	c 1681s |      20 |   874865 |   792127 |    30150     65 |        0 |        0
1682.77/1683.31	c 1683s |      20 |   876029 |   793227 |    30150     65 |        0 |        0
1684.78/1685.35	c 1685s |      20 |   876953 |   794127 |    30150     65 |        0 |        0
1686.77/1687.38	c 1687s |      20 |   878030 |   795127 |    30150     65 |        0 |        0
1688.97/1689.50	c 1689s |      20 |   879199 |   796227 |    30150     65 |        0 |        0
1690.97/1691.55	c 1691s |      20 |   880266 |   797227 |    30150     65 |        0 |        0
1693.07/1693.60	c 1693s |      20 |   881326 |   798227 |    30150     65 |        0 |        0
1695.07/1695.62	c 1695s |      20 |   882513 |   799327 |    30150     65 |        0 |        0
1697.17/1697.71	c 1697s |      20 |   884014 |   800527 |    30150     65 |        0 |        0
1699.17/1699.72	c 1699s |      20 |   884643 |   801127 |    30150     65 |        0 |        0
1701.17/1701.80	c 1701s |      20 |   885374 |   801827 |    30150     65 |        0 |        0
1703.47/1704.09	c 1703s |      20 |   886115 |   802527 |    30150     65 |        0 |        0
1709.57/1710.12	c 1709s |      20 |   886323 |   802727 |    30150     65 |        0 |        0
1711.67/1712.26	c 1712s |      20 |   886828 |   803227 |    30150     65 |        0 |        0
1713.77/1714.30	c 1714s |      20 |   887341 |   803727 |    30150     65 |        0 |        0
1715.77/1716.36	c 1716s |      20 |   887890 |   804227 |    30150     65 |        0 |        0
1718.07/1718.61	c 1718s |      20 |   888496 |   804827 |    30150     65 |        0 |        0
1720.07/1720.68	c 1720s |      20 |   889245 |   805527 |    30150     65 |        0 |        0
1722.67/1723.26	c 1723s |      20 |   889790 |   806027 |    30150     66 |        0 |        0
1724.77/1725.36	c 1725s |      20 |   890913 |   807127 |    30150     66 |        0 |        0
1726.77/1727.38	c 1727s |      20 |   891940 |   808027 |    30150     66 |        0 |        0
1728.87/1729.49	c 1729s |      20 |   893089 |   809127 |    30150     66 |        0 |        0
1731.06/1731.68	c 1731s |      20 |   893999 |   810027 |    30150     66 |        0 |        0
1733.17/1733.72	c 1733s |      20 |   895093 |   811027 |    30150     66 |        0 |        0
1735.37/1735.92	c 1735s |      20 |   895914 |   811827 |    30150     66 |        0 |        0
1737.36/1737.93	c 1737s |      20 |   896995 |   812827 |    30150     66 |        0 |        0
1739.56/1740.16	c 1739s |      20 |   897973 |   813727 |    30150     66 |        0 |        0
1741.76/1742.32	c 1742s |      20 |   899020 |   814627 |    30150     66 |        0 |        0
1743.96/1744.50	c 1744s |      20 |   899991 |   815527 |    30150     66 |        0 |        0
1746.16/1746.72	c 1746s |      20 |   901040 |   816527 |    30150     66 |        0 |        0
1748.26/1748.80	c 1748s |      20 |   902122 |   817527 |    30150     66 |        0 |        0
1752.77/1753.30	c 1753s |      20 |   902792 |   818127 |    30150     66 |        0 |        0
1754.77/1755.38	c 1755s |      20 |   903496 |   818827 |    30150     66 |        0 |        0
1756.87/1757.47	c 1757s |      20 |   904115 |   819427 |    30150     66 |        0 |        0
1759.26/1759.84	c 1759s |      20 |   904961 |   820227 |    30150     66 |        0 |        0
1761.46/1762.07	c 1761s |      20 |   905471 |   820727 |    30150     66 |        0 |        0
1764.46/1765.00	c 1764s |      20 |   905974 |   821227 |    30150     67 |        0 |        0
1766.56/1767.14	c 1766s |      20 |   907102 |   822327 |    30150     67 |        0 |        0
1768.56/1769.15	c 1768s |      20 |   908262 |   823427 |    30150     67 |        0 |        0
1770.66/1771.23	c 1771s |      20 |   908473 |   823627 |    30150     67 |        0 |        0
1772.67/1773.26	c 1773s |      20 |   909301 |   824427 |    30150     67 |        0 |        0
1774.87/1775.44	c 1775s |      20 |   910330 |   825427 |    30150     67 |        0 |        0
1776.96/1777.59	c 1777s |      20 |   911248 |   826327 |    30150     67 |        0 |        0
1779.06/1779.66	c 1779s |      20 |   912391 |   827427 |    30150     67 |        0 |        0
1781.16/1781.76	c 1781s |      20 |   913224 |   828227 |    30150     67 |        0 |        0
1783.16/1783.78	c 1783s |      20 |   914171 |   829127 |    30150     67 |        0 |        0
1785.26/1785.86	c 1785s |      20 |   915108 |   830027 |    30150     67 |        0 |        0
1787.46/1788.00	c 1787s |      20 |   916047 |   830927 |    30150     67 |        0 |        0
1789.46/1790.06	c 1789s |      20 |   916979 |   831827 |    30150     67 |        0 |        0
1791.66/1792.27	c 1792s |      20 |   918069 |   832827 |    30150     67 |        0 |        0
1793.76/1794.33	c 1794s |      20 |   918927 |   833627 |    30150     67 |        0 |        0
1795.86/1796.47	c 1796s |      20 |   919891 |   834527 |    30150     67 |        0 |        0
1798.06/1798.63	c 1798s |      20 |   920708 |   835327 |    30150     67 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.16 2.11 3/179 9820
/proc/meminfo: memFree=30068524/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 2750 0 0 0 0 0 0 0 20 0 4 0 30076064 755429376 3622 33554432000 4194304 16246674 140737176207808 140737176207232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 184943 3633 441 2943 0 181837 0
[pid=9820/tid=9821] ppid=9817 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 773255168 3692 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 777449472 3708 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076064 783740928 3729 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.14 2.16 2.11 3/179 9820
/proc/meminfo: memFree=30068524/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 21419 0 0 0 7 2 0 0 20 0 4 0 30076064 1250496512 22228 33554432000 4194304 16246674 140737176207808 140737176207120 12481390 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 305297 22228 836 2943 0 302191 0
[pid=9820/tid=9821] ppid=9817 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1250496512 22228 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1250496512 22228 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076064 1250496512 22228 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200543 s]
/proc/loadavg: 2.14 2.16 2.11 3/179 9820
/proc/meminfo: memFree=30068524/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1299012 CPUtime=0.19 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 40267 0 0 0 14 5 0 0 20 0 4 0 30076064 1330188288 41076 33554432000 4194304 16246674 140737176207808 140737176207120 5898045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 324753 41087 836 2943 0 321647 0
[pid=9820/tid=9821] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 41093 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 41100 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 41106 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1299012

[startup+0.300496 s]
/proc/loadavg: 2.14 2.16 2.11 3/179 9820
/proc/meminfo: memFree=30068524/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1299012 CPUtime=0.29 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 54189 0 0 0 22 7 0 0 20 0 4 0 30076064 1330188288 54999 33554432000 4194304 16246674 140737176207808 140737176207120 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 324753 55009 874 2943 0 321647 0
[pid=9820/tid=9821] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 55020 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 55035 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 55040 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1299012

[startup+0.700394 s]
/proc/loadavg: 2.14 2.16 2.11 3/179 9820
/proc/meminfo: memFree=30068524/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1299012 CPUtime=0.69 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 146831 0 0 0 49 20 0 0 20 0 4 0 30076064 1330188288 147640 33554432000 4194304 16246674 140737176207808 140737176207120 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 324753 147658 874 2943 0 321647 0
[pid=9820/tid=9821] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 147669 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 147679 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1330188288 147687 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1299012

[startup+1.5004 s]
/proc/loadavg: 2.14 2.16 2.11 3/183 9824
/proc/meminfo: memFree=29079076/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 268113 0 0 0 113 36 0 0 20 0 4 0 30076064 1339625472 268922 33554432000 4194304 16246674 140737176207808 140737176189696 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 327057 268922 881 2943 0 323951 0
[pid=9820/tid=9821] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 268922 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 268922 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 268922 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.14 2.16 2.11 3/183 9824
/proc/meminfo: memFree=28992880/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 268236 0 0 0 273 36 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140737176190808 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 327057 269045 881 2943 0 323951 0
[pid=9820/tid=9821] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.12 2.16 2.11 3/183 9824
/proc/meminfo: memFree=28992672/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 268236 0 0 0 593 36 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140737176189696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 327057 269045 881 2943 0 323951 0
[pid=9820/tid=9821] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1339625472 269045 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.11 2.15 2.11 3/183 9824
/proc/meminfo: memFree=28992316/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 268785 0 0 0 1232 36 0 0 20 0 4 0 30076064 1342771200 269594 33554432000 4194304 16246674 140737176207808 140737176189696 6012228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 327825 269594 887 2943 0 324719 0
[pid=9820/tid=9821] ppid=9817 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1342771200 269594 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1342771200 269594 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1342771200 269594 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.16 2.16 2.11 3/183 9825
/proc/meminfo: memFree=28989120/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 270647 0 0 0 2512 37 0 0 20 0 4 0 30076064 1350111232 271456 33554432000 4194304 16246674 140737176207808 140737176189696 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 329617 271461 889 2943 0 326511 0
[pid=9820/tid=9821] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271464 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271466 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271468 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.11 2.15 2.10 3/183 9825
/proc/meminfo: memFree=28983136/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 270804 0 0 0 5071 37 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140737176190808 12483399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 329617 271613 889 2943 0 326511 0
[pid=9820/tid=9821] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.301 s]
/proc/loadavg: 2.17 2.15 2.11 3/183 9826
/proc/meminfo: memFree=28982616/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 270804 0 0 0 10191 37 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140737176189696 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 329617 271613 889 2943 0 326511 0
[pid=9820/tid=9821] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1350111232 271613 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1416171520 287745 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1382980

[startup+1302.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 9856
/proc/meminfo: memFree=28750976/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1382980 CPUtime=1301.83 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287369 0 0 0 130129 54 0 0 20 0 4 0 30076064 1416171520 287745 33554432000 4194304 16246674 140737176207808 140737176189696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 345745 287745 890 2943 0 342639 0
[pid=9820/tid=9821] ppid=9817 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1416171520 287745 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1416171520 287745 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1416171520 287745 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 9857
/proc/meminfo: memFree=28749240/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1361.83 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 136127 56 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1384004

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 9907
/proc/meminfo: memFree=28176672/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1421.82 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 142126 56 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 6011754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1384004

[startup+1482.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 9908
/proc/meminfo: memFree=26891544/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1481.8 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 148124 56 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176205760 13880901 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1384004

[startup+1542.31 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 9912
/proc/meminfo: memFree=25328948/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1541.8 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 154123 57 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1384004

[startup+1602.3 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 9914
/proc/meminfo: memFree=24633436/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1601.78 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 160121 57 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5673867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1384004

[startup+1662.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/184 9916
/proc/meminfo: memFree=24494924/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1661.77 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 166119 58 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1384004

[startup+1722.3 s]
/proc/loadavg: 2.08 2.13 2.09 3/183 9917
/proc/meminfo: memFree=24315496/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1721.77 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 172118 59 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1384004

[startup+1782.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 9918
/proc/meminfo: memFree=23838848/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1781.76 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 178116 60 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1384004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 9918
/proc/meminfo: memFree=23785032/32872528 swapFree=496868/529572
[pid=9820] ppid=9817 vsize=1384004 CPUtime=1800.05 cores=1,3,5,7
/proc/9820/stat : 9820 (toysat) R 9817 9820 7739 0 -1 4202496 287625 0 0 0 179945 60 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140737176189696 6020686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9820/statm: 346001 288001 890 2943 0 342895 0
[pid=9820/tid=9821] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9821/stat : 9821 (toysat) S 9817 9820 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558597074160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9820/tid=9822] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9822/stat : 9822 (toysat) S 9817 9820 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558508993776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9820/tid=9823] ppid=9817 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/9820/task/9823/stat : 9823 (toysat) S 9817 9820 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30076064 1417220096 288001 33554432000 4194304 16246674 140737176207808 140558498520240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1384004

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.46
CPU system time (s): 0.605907
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1384004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.605907
maximum resident set size= 1152004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287625
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= 452
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45032 second user time and 7.09592 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 22:05:06
IDJOB=4106955
IDBENCH=48340
IDSOLVER=2542
FILE ID=node141/4106955-1466280306
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106955-1466280306/watcher-4106955-1466280306 -o /tmp/evaluation-result-4106955-1466280306/solver-4106955-1466280306 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106955-1466280306.opb

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

MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1
RANDOM SEED=669992848

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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:        30068432 kB
Buffers:          161296 kB
Cached:           260340 kB
SwapCached:         2528 kB
Active:          1255112 kB
Inactive:         274356 kB
Active(anon):    1107928 kB
Inactive(anon):     2028 kB
Active(file):     147184 kB
Inactive(file):   272328 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             16492 kB
Writeback:            32 kB
AnonPages:       1635480 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             610800 kB
SReclaimable:      54032 kB
SUnreclaim:       556768 kB
KernelStack:        1472 kB
PageTables:         7304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1782652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 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= 71676 MiB
End job on node141 at 2016-06-18 22:35:07